www.informatik.uni-hamburg.de
Petri Nets is a formal and graphical appealing language which is appropriate for modelling systems with concurrency.
Petri Nets is a formal and graphical appealing language which is appropriate for modelling systems with concurrency.