Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{557472,
author = {Křetínský, Mojmír and Řehák, Vojtěch and Strejček, Jan},
address = {Berlin, Heidelberg, New York},
booktitle = {CONCUR 2004 - Concurrency Theory},
edition = {LNCS 3170},
keywords = {process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability},
language = {eng},
location = {Berlin, Heidelberg, New York},
isbn = {3-540-22940-X},
pages = {355-370},
publisher = {Springer},
title = {Extended Process Rewrite Systems: Expressiveness and Reachability},
year = {2004}
}
TY - JOUR
ID - 557472
AU - Křetínský, Mojmír - Řehák, Vojtěch - Strejček, Jan
PY - 2004
TI - Extended Process Rewrite Systems: Expressiveness and Reachability
PB - Springer
CY - Berlin, Heidelberg, New York
SN - 354022940X
KW - process rewrite systems
KW - state extension
KW - infinite-state
KW - expressivness
KW - reachability
KW - decidability
N2 - We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. 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 a Jan STREJČEK. Extended Process Rewrite Systems: Expressiveness and Reachability. In \textit{CONCUR 2004 - Concurrency Theory}. LNCS 3170. Berlin, Heidelberg, New York: Springer, 2004, s.~355-370. ISBN~3-540-22940-X.
|
