For the most recent entries see the
Petri Nets Newsletter.
Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems.
Technical Report No. DAIMI PB-522.
University of Aarhus, Department of Computer Science,
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography