SEBERA, Martin. Petri Nets. In Sborník VVŠ PV 2/2000. Vyškov: VVŠ PV, 2000, p. 149-161. 2/2000. ISBN 1210-4574.
Other formats:   BibTeX LaTeX RIS
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
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
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
Changed by Changed by: Mgr. Martin Sebera, Ph.D., učo 55084. Changed: 21/2/2009 18:43.
Abstract
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.
PrintDisplayed: 25/4/2024 13:22