For the most recent entries see the Petri Nets Newsletter.

Specification and Validation of a Concurrent System: An Educational Project.

Berthelot, G.; Petrucci, L.

In: Jensen, K.: DAIMI PB, No. 547: Workshop Proceedings Practical Use of High-level Petri Nets, pages 55-72. University of Aarhus, Department of Computer Science, June 2000.

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

Back to the Petri Nets Bibliography