Informace o publikaci
Petri Nets
| Autoři | |
|---|---|
| Rok publikování | 2000 |
| Druh | Článek ve sborníku |
| Konference | Sborník VVŠ PV 2/2000 |
| Fakulta / Pracoviště MU | |
| Citace | |
| Obor | Teorie a systémy řízení |
| Klíčová slova | Petri nets; marking; dynamic behaviour; firing rule; general classification; enabling and firing rules; reachability set and graph; reversibility; deadlock; liveness; boundedness; mutual exclusion |
| Popis | 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. |