Petri Nets

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

Basic information

Original name

Petri Nets

Authors

SEBERA, Martin

Edition

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

Publisher

VVŠ PV

---

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

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

Organization unit

Faculty of Sports Studies

ISBN

1210-4574

Keywords in English

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

Tags

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

---

Abstract

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.