Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{334231, author = {Sebera, Martin}, address = {Vyškov}, booktitle = {Sborník VVŠ PV 2/2000}, keywords = {Petri nets; marking; dynamic behaviour; firing rule; general classification; enabling and firing rules; reachability set and graph; reversibility; deadlock; liveness; boundedness; mutual exclusion}, language = {eng}, location = {Vyškov}, isbn = {1210-4574}, pages = {149-161}, publisher = {VVŠ PV}, title = {Petri Nets}, year = {2000} }
TY - JOUR ID - 334231 AU - Sebera, Martin PY - 2000 TI - Petri Nets VL - 2/2000 PB - VVŠ PV CY - Vyškov SN - 12104574 KW - Petri nets KW - marking KW - dynamic behaviour KW - firing rule KW - general classification KW - enabling and firing rules KW - reachability set and graph KW - reversibility KW - deadlock KW - liveness KW - boundedness KW - mutual exclusion N2 - 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. ER -
SEBERA, Martin. Petri Nets. In \textit{Sborník VVŠ PV 2/2000}. Vyškov: VVŠ PV, 2000, s.~149-161. 2/2000. ISBN~1210-4574.
|