Petri Nets World
daimi.au.dkPetri 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.