Extended Process Rewrite Systems: Expressiveness and Reachability

机译：扩展的流程重写系统：表现力和可及性

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

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 expressive up to bisimulation equivalence 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.

机译：我们统一了对过程重写系统（PRS）的三个扩展的看法，并将它们的表达能力与PRS的表达能力进行比较。我们表明，与双模等效性相比，Petri网的类比用有限状态控制单元扩展的PA过程的类具有更少的表达性。进一步，我们表明了我们的主要结果，即用弱弱有限状态单元扩展的PRS的可达性问题是可以判定的。

著录项

来源
《International Conference on Concurrency Theory(CONCUR 2004); 20040831-20040903; London; GB》|2004年|P.355-370|共16页
会议地点 London(GB);London(GB)
作者
Mojmir Kretinsky; Vojtech Rehak; Jan Strejcek;
展开▼
作者单位

Faculty of Informatics, Masaryk University Brno Botanicka 68a, 602 00 Brno, Czech Republic;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类 TP393.01;
关键词

相似文献

外文文献
中文文献
专利

1. Reachability is decidable for weakly extended process rewrite systems [J] . Mojmir Kretinsky, Vojtech Rehak, Jan Strejcek Information and computation . 2009,第6期

机译：对于弱扩展的进程重写系统，可达到性是决定性的
2. Universal Petri Nets and Process-Rewrite Systems Extended with Procedures [J] . I. A. Lomazova Doklady. Mathematics . 2005,第2期

机译：通用Petri网和带有过程扩展的过程重写系统
3. Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems [J] . STEFAN GOELLER, ANTHONY WIDJAJA LIN ACM transactions on computational logic . 2014,第4期

机译：通过地面树重写系统完善流程重写系统的层次结构
4. Extended Process Rewrite Systems: Expressiveness and Reachability [C] . Mojmir Kretinsky, Vojtech Rehak, Jan Strejcek International conference on concurrency theory . 2004

机译：扩展过程重写系统：表达性和可达性
5. Extending the systems engineering process for legacy system reengineering. [D] . Arnold, Gregory C. 2006

机译：扩展系统工程流程以进行遗留系统再工程。
6. The Functional Architecture for Face-processing Expertise: FMRI Evidence of the Developmental Trajectory of the Core and the Extended Face Systems [O] . Frank Haist, Maha Adamo, Jarnet Han, -1

机译：面部处理专家的功能体系结构：核心和扩展面部系统的发展轨迹的FMRI证据
7. Extended Process Rewrite Systems: Expressiveness and Reachability? [O] . 2014

机译：扩展流程重写系统：表达能力和可达性？
8. Within ARM's (Abstract Rewriting Machine's) Reach: Compilation of Left-Linear Rewrite Systems Via Minimal Rewrite Systems; Software engineering rept [R] . Fokkink, W. J., Kamperman, J. F. T., Walters, H. R. 1997

机译：在aRm（抽象重写机）的范围内：通过最小重写系统编译左线性重写系统;软件工程部

Extended Process Rewrite Systems: Expressiveness and Reachability

摘要

著录项

相似文献

相关主题

期刊订阅