SEBERA, Martin. Petri Nets. In Sborník VVŠ PV 2/2000. Vyškov: VVŠ PV. s. 149-161. 2/2000. ISBN 1210-4574. 2000.
Další formáty:   BibTeX LaTeX RIS
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
Originální 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
Změnil Změnil: Mgr. Martin Sebera, Ph.D., učo 55084. Změněno: 21. 2. 2009 18:43.
Anotace
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.
VytisknoutZobrazeno: 28. 3. 2024 13:05