Szukana fraza: [Abstract = "One of the major advantages of using a Petri\-net model is that the same model can be used for the analysis of behavioural properties and performance evaluation, as well as for the systematic construction of discrete\-event simulators and controllers."]