For the most recent entries see the Petri Nets Newsletter.

Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems.

Mortensen, K.H.

In: Technical Report No. DAIMI PB-522. University of Aarhus, Department of Computer Science, April 1997.


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

Back to the Petri Nets Bibliography