optional - free
Kočí Radek, Ing., Ph.D. (DITS FIT BUT)
Object Oriented Petri Nets, modelling, simulation, system design based on modelling and simulation
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.