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