For the most recent entries see the Petri Nets Newsletter.

Modeling and Verification of SDL-specified Distributed Systems using High-level Petri Nets.

Nepomniaschy, V.; Argirov, V.; Beloglazov, D.; Bystrov, A.; Churina, T.; Mashukov, M.; Novikov, R.

In: Lindemann, Burkhard, Czaja, Skowron, Schlingloff, Suraj (Eds.): Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P) 2004, pages 100-111. Informatik-Berichte der Humboldt-Universität zu Berlin, Nr. 170, September 2004.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography