Petri Nets

SEBERA, Martin. Petri Nets. In Sborník VVŠ PV 2/2000. Vyškov: VVŠ PV, 2000, s. 149-161. 2/2000. ISBN 1210-4574.

Základní údaje

Originální název

Petri Nets

Autoři

SEBERA, Martin

Vydání

Vyškov, Sborník VVŠ PV 2/2000, s. 149-161, 2/2000, 2000

Nakladatel

VVŠ PV

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Organizační jednotka

Fakulta sportovních studií

ISBN

1210-4574

Klíčová slova anglicky

Petri nets; marking; dynamic behaviour; firing rule; general classification; enabling and firing rules; reachability set and graph; reversibility; deadlock; liveness; boundedness; mutual exclusion

Štítky

boundedness, deadlock, dynamic behaviour, enabling and firing rules, firing rule, general classification, liveness, marking, mutual exclusion, Petri nets, reachability set and graph, reversibility

---

Anotace

V originále

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.