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