PNtalk is the modelling and simulation framework based on the formalism of Object Oriented Petri Nets. It combines properties of Petri Nets with advantages of object oriented system design. PNtalk allows to use the mathematical formalism for the design and implementation of software systems.
Object Oriented Petri Nets, modelling, simulation, system design based on modelling and simulation
Domovská stránka projektu (http://perchta.fit.vutbr.cz/pntalk2k/28)