| KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Petri Nets Are Less Expressive Than State-Extended PA. Online. Theoretical Computer Science. Amsterdam, North Holland: Elsevier Science Publishers, 2008, roč. 394, 1-2, s. 134-140. ISSN 0304-3975. [citováno 2024-04-23] |
Další formáty:
BibTeX
LaTeX
RIS
@article{760714,
author = {Křetínský, Mojmír and Řehák, Vojtěch and Strejček, Jan},
article_location = {Amsterdam, North Holland},
article_number = {1-2},
keywords = {Petri nets; PA processes; bisimulation},
language = {eng},
issn = {0304-3975},
journal = {Theoretical Computer Science},
note = {DOI 10.1016/j.tcs.2007.12.003},
title = {Petri Nets Are Less Expressive Than State-Extended PA},
volume = {394},
year = {2008}
}
TY - JOUR
ID - 760714
AU - Křetínský, Mojmír - Řehák, Vojtěch - Strejček, Jan
PY - 2008
TI - Petri Nets Are Less Expressive Than State-Extended PA
JF - Theoretical Computer Science
VL - 394
IS - 1-2
SP - 134-140
EP - 134-140
PB - Elsevier Science Publishers
SN - 03043975
N1 - DOI 10.1016/j.tcs.2007.12.003
KW - Petri nets
KW - PA processes
KW - bisimulation
N2 - We show that the class of Petri nets is less expressive with respect to bisimulation equivalence than the class of PA processes extended with a finite state control unit.
ER -
KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Petri Nets Are Less Expressive Than State-Extended PA. Online. \textit{Theoretical Computer Science}. Amsterdam, North Holland: Elsevier Science Publishers, 2008, roč.~394, 1-2, s.~134-140. ISSN~0304-3975. [citováno 2024-04-23]
|
