Petri Nets
| Authors | |
|---|---|
| Year of publication | 2000 |
| Type | Article in Proceedings |
| Conference | Sborník VVŠ PV 2/2000 |
| MU Faculty or unit | |
| 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. |