Modelling Protocols by Object-Based Petri Nets.

For the most recent entries see the Petri Nets Newsletter.

In: Czaja, L.: Concurrency Specification and Programming (CSP'01), Proceedings, pages 87-96. University of Warsaw, October 2001.

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