Publication details

Petri Nets

Authors

SEBERA Martin

Year of publication 2000
Type Article in Proceedings
Conference Sborník VVŠ PV 2/2000
MU Faculty or unit

Faculty of Sports Studies

Citation
Field Management theory and systems
Keywords Petri nets; marking; dynamic behaviour; firing rule; general classification; enabling and firing rules; reachability set and graph; reversibility; deadlock; liveness; boundedness; mutual exclusion
Description Petri nets (PNs) are a graphical tool for the formal description of systems whose dynamics are characterized by concurrency,synchronization, mutual exclusion and conflict, which are typical for features of distributed environments. PNs incorporate a notion of (distributed) state and a rule for state change that allow them to capture both the static and dynamic characteristic of real systems.

You are running an old browser version. We recommend updating your browser to its latest version.

More info