Realtime Access Map
Browsing by Author "Yılmaz, Buket"
Yılmaz, Buket (Izmir Institute of Technology, 2008)Petri nets are powerful formalism for modeling a wide range of dynamic systems and system behaviors. This thesis surveys the basic concept and application of Petri nets. The structure of Petri nets, their marking and ...