| KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On the Expressive Power of Extended Process Rewrite Systems. BRICS Report Series. Aarhus: Basic Research in Computer Science, 2004, vol. 2004, RS-04-7, p. 1-18. ISSN 0909-0878. |
Other formats:
BibTeX
LaTeX
RIS
@article{554469,
author = {Křetínský, Mojmír and Řehák, Vojtěch and Strejček, Jan},
article_location = {Aarhus},
article_number = {RS-04-7},
keywords = {process rewrite systems; state extension; infinite-state; expressivness; reachability},
language = {eng},
issn = {0909-0878},
journal = {BRICS Report Series},
title = {On the Expressive Power of Extended Process Rewrite Systems},
url = {http://www.brics.dk/RS/04/7/},
volume = {2004},
year = {2004}
}
TY - JOUR
ID - 554469
AU - Křetínský, Mojmír - Řehák, Vojtěch - Strejček, Jan
PY - 2004
TI - On the Expressive Power of Extended Process Rewrite Systems
JF - BRICS Report Series
VL - 2004
IS - RS-04-7
SP - 1-18
EP - 1-18
PB - Basic Research in Computer Science
SN - 09090878
KW - process rewrite systems
KW - state extension
KW - infinite-state
KW - expressivness
KW - reachability
UR - http://www.brics.dk/RS/04/7/
N2 - We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their and PRS's expressive power. We show that the class of Petri nets is less expressible up to bisimulation than the class of PA processes extended with a finite state control unit. Further we show our main result that the reachability problem for PRS extended with a so called weak finite state unit is decidable.
ER -
KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On the Expressive Power of Extended Process Rewrite Systems. \textit{BRICS Report Series}. Aarhus: Basic Research in Computer Science, 2004, vol.~2004, RS-04-7, p.~1-18. ISSN~0909-0878.
|
