×
维杰·加格。;麻省理工学院拉古纳。

并发正则表达式及其与Petri网的关系。 （英语） Zbl 0745.68080号

西奥。计算。科学。 96，第2期，285-304（1992年）.
摘要：我们定义了称为并发正则表达式的代数系统，它提供了Petri网语言的模块化描述。并发正则表达式是正则表达式的扩展，有四个操作符：交错、交错闭包、同步合成和重命名。Petri网语言的这种可供选择的特征为我们指定并发系统提供了一种灵活的方法。并发正则表达式是模块化的，因此更容易用于规范。等价性证明还提供了Petri网的自然分解方法。

引用于16文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
65年第68季度 形式语言和自动机
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）

关键词：

代数系统;并发正则表达式;Petri网语言;并发系统;规范

软件：

舒适的;路径帕斯卡
PDF格式BibTeX公司 XML格式引用
\textit{V.K.Garg}和\textit{M.T.Ragunath}，Theor。计算。科学。96，第2号，285--304（1992；Zbl 0745.68080）
全文： 内政部

参考文献：

[1] 阿加瓦尔，S。；巴巴拉，D。；Meth，K.Z.，SPANNER：一种用于规范、分析和评估协议的工具，IEEE Trans。软件工程，13，1218-1237（1987）·Zbl 0626.68031号
[2] 比林顿，J。；惠勒，G.R。；Wilbur-Ham，M.C.，PROTEAN：用于通信协议规范和验证的高级Petri网工具，IEEE Trans。软件工程，14301-316（1988）
[3] 坎贝尔，R.H。；Habermann，A.N.，《通过路径表达式实现进程同步的规范》（《计算机科学讲义》，第16卷（1974年），施普林格出版社：施普林格-柏林），第89-102页·Zbl 0295.68028号
[4] 坎贝尔，R.H。；Kolstad，R.B.，Pascal中的路径表达式，（第四届国际软件工程会议记录。第四届国际软件工程会议记录，慕尼黑（1979年），IEEE：IEEE纽约），212-219
[5] Cerf，V.，《多处理器、信号量和计算的图形模型》（博士论文（1972），加利福尼亚大学计算机科学系：加利福尼亚大学洛杉矶分校计算机科学系）
[6] Garg，V.K.，《具有大量进程的分布式系统的规范和分析》（博士论文（1988），加利福尼亚大学：加利福尼亚大学伯克利分校）
[7] Garg，V.K.，《通过并发正则表达式对分布式系统进行建模》，温哥华。温哥华，Proc。第二国际。分布式系统和通信协议形式描述技术会议，313-327（1989）
[8] Garg，V.K。；Ramamoorthy，C.V.，《ConC:并发编程语言》，《计算机语言杂志》，第16、1、5-18页（1991年）
[9] Gerhart，S.L.，《确认概述：规范和验证系统》，澳大利亚。澳大利亚，Proc。IFIP，80343-348（1980年）
[10] Hack，M.，Petri网语言（计算结构组备忘录124，Mac项目（1975），麻省理工学院）
[11] Hoare，C.A.R.，《通信顺序过程》（1985），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德克利夫斯，新泽西州·兹比尔0637.68007
[12] 霍普克罗夫特，J。；Ullman，J.，《自动机理论、语言和计算导论》（1979），Addison-Wesley:Addison-Whesley Reading，MA·Zbl 0426.68001号
[13] 伊南，K。；Varaiya，P.，离散事件系统的有限递归过程，IEEE Trans。自动化。控制，33，7，626-639（1988）·Zbl 0666.93071号
[14] 卡普，R。；Miller，R.，《并行程序模式》（RC-2053（1968），IBM T.J.Watson研究中心：IBM T.J Watson Research Center Yorktown Heights，New York）·Zbl 0369.68013号
[15] Kosaraju，R.，向量加法系统可达性的判定，Proc。第十四届ACM计算理论年会，267-280（1982）
[16] Lafortune，S.，《关于Petri网语言》（1989），密歇根大学EECS系：密歇根州立大学安阿伯分校EECS系
[17] 劳尔，体育。；Torrigiani，共和党。；Shields，M.W.，COSY：基于路径和过程的系统规范语言，Acta Inform。，12, 109-158 (1979) ·Zbl 0403.68031号
[18] Liskov，B.，《阿古斯语言和系统》，TU Munchen。TU Munchen，程序。分布式系统高级课程-规范方法和工具（1984）
[19] Mayr，E.W.，一般Petri网可达性问题的算法，SIAM J.Compute。，13, 3, 441-460 (1984) ·Zbl 0563.68057号
[20] Milne，G.J.，《CIRCAL与通信、并发和时间的表示》，ACM TOPLAS，7，2，270-298（1985）·兹伯利0562.68017
[21] （通信系统微积分。通信系统微算，计算机科学讲义，第92卷（1980），施普林格：施普林格柏林）·Zbl 0452.68027号
[22] Murata，T.，并发系统建模与分析，（Vick，C.R.；Ramamoorthy，C.V.，《软件工程手册》（1984），Van Nostrand：新泽西州Van Nostrand普林斯顿），39-63
[23] Peterson，J.，《计算序列集》，J.Compute。系统科学。，13, 1, 1-24 (1976) ·Zbl 0354.68100号
[24] Peterson，J.，《系统的Petri网理论和建模》（1981），普伦蒂斯·霍尔：普伦蒂斯霍尔-恩格尔伍德悬崖，新泽西州·Zbl 0461.68059号
[25] Pratt，V.，用部分订单建模并发，国际。J.并行编程，15，1，33-71（1986）·兹比尔06226.88034
[26] 克雷斯皮·雷吉齐，S。；Mandrioli，D.，Petri网和西拉德语言，Inform。和控制，33，2，177-192（1977）·Zbl 0354.68098号
[27] Reisig，W.，Petri Nets，导论（计算机科学讲义（1985），施普林格：施普林格柏林）·Zbl 0521.68057号
[28] Starke，P.，《自由Petri网语言》，第七届计算机科学数学基础研讨会（1978年）·Zbl 0391.68038号
[29] 瓦尔克，R。；Vidal-Naquet，G.，Petri网和正则语言，J.Compute。系统科学。，23, 229-325 (1981) ·Zbl 0473.68057号
[30] Zave，P.，《有限状态机规范的分布式替代方案》，ACM Trans。编程语言与系统，7，1，10-36（1985）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。