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.
|