×
最好的，艾克;雷蒙德·魔鬼队

Petri网理论中的顺序和并发行为。 （英语） Zbl 0669.68043号

西奥。计算。科学。 55, 87-136 (1987)。
作者研究了交错（发生序列）行为语义和部分顺序（过程）语义以及这些语义之间的关系。对过程定义的公理方法与将过程与发生序列联系起来的归纳方法进行了比较。比较是在Petri网的框架下进行的，因为这两种类型在网络理论中已经以不同的方式形式化了。讨论了“正确”公理集的问题，以及过程语义是否（以及何时）比发生序列语义更强大。对于每一种理论，都给出了完整的形式证明。
审核人：H.保险丝

引用于62文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68问题65 抽象数据类型；代数规范
06年06月06日 部分订单，通用
93A10号 一般系统
94甲15 信息论（总论）

关键词：

并发系统;交错进程;并发;同步;部分订单;系统的行为;Petri网;舒适的;CCS系统;CSP公司
PDF格式BibTeX公司 XML格式引用
\textit{E.Best}和\textit{R.Devillers}，Theor。计算。科学。55、87——136（1987年；Zbl 0669.68043）
全文： 内政部

参考文献：

[1] Best，E.，并发程序的关系语义（与一些应用程序），（Björner，D.，编程概念的形式化描述II（1983），北荷兰：北荷兰阿姆斯特丹），431-452·兹比尔0512.68011
[2] Best，E.，《并发行为：序列、过程和公理》，（《CMU并发研讨会论文集》，《CMU并行研讨会论文集，计算机科学讲稿》，197（1985），施普林格出版社：施普林格-柏林），221-245·Zbl 0565.68019号
[3] 贝斯特，E。；Devillers，R.，《并发行为：序列、过程和编程语言》（GMD-Studien No.99（1985），Gesellschaft füR Mathematik und Datenverbritung:Gesellschart füR-Mathematak und Dataenverbritung St.Augustin）·Zbl 0567.68035号
[4] 贝斯特，E。；Devillers，R.，《并发中的交错和部分顺序：形式比较》（Wirsing，M.，Proc.IFIP TC2编程概念形式描述工作会议III（1987），北荷兰：北荷兰阿姆斯特丹），299-323
[5] 贝斯特，E。；Fernández，C.，《Petri网理论的符号和术语》（Arbeitspapiere der GMD No.195（1986），Gesellschaft für Mathematik und Datenverabeitung:Gesellschart für-Mathematak und Dataenverabeitong St.Augustin）
[6] 贝斯特，E。；Randell，B.，异步系统中原子性的形式化模型，Acta Inform。，16, 93-124 (1981) ·Zbl 0511.68033号
[7] （布鲁尔，W.，《网络理论与应用》，《网络原理与应用》（Net Theory and Applications），计算机科学讲义，84（1980），施普林格出版社：施普林格-柏林）·Zbl 0434.68040号
[8] Castellano，L.，《C/E系统的BETA-过程》，（Rozenberg，G.，《Petri网的进展》1985。Petri网进展1985，Proc。第六次Petri网研讨会，赫尔辛基，1985年。Petri网进展1985。Petri网进展1985，Proc。第六次Petri网研讨会，赫尔辛基，1985年，计算机科学讲义，222（1985），施普林格：施普林格柏林），83-100·Zbl 0606.68054号
[9] Devillers，R.，《（P/T\）-网中容量的语义：第一眼》，Proc。第六届赫尔辛基Petri网研讨会（1985年）
[10] Devillers，R.，各种启用规则对（P/T）网络的表达能力，（《技术报告》LIT 161（1985），ULB Bruxelles）
[11] 费尔南德斯，C。；尼尔森，M。；Thiagarajan，P.S.，《关于可观测发生网的注释》，（Rozenberg，G.，《Petri网的进展》1984。《1984年Petri网进展》，计算机科学讲义，188（1985），施普林格：施普林格柏林），122-138·Zbl 0574.68053号
[12] Genrich，H.J。；Lautenbach，K。；Thiagarajan，P.S.，《一般网络理论的要素》（计算机科学讲义（1980），施普林格：施普林格柏林），21-163·Zbl 0441.68064号
[13] Genrich，H.J。；Stankiewicz-Wiechno，E.，网络理论一些基本概念的词典，（计算机科学讲义（1980），施普林格：施普林格柏林），519-535
[14] 美国戈尔茨。；Mycroft，A.，《论CCS和Petri网的关系》，（计算机科学讲义，172（1984），施普林格：施普林格柏林），196-208·Zbl 0562.68049号
[15] 美国高尔茨。；Reisig，W.，Petri网的非顺序行为，Inform。和控制，57，125-147（1983）·兹伯利0551.68050
[16] 汉内西，M。；Plotkin，G.，《简单编程语言的完全抽象》（计算机科学讲义，74（1979），施普林格：施普林格柏林），108-120·Zbl 0457.68006号
[17] Holt，A.W.，《信息系统理论项目最终报告》，应用数据研究ADR6606（1968）
[18] Lamport，L.，时间逻辑有什么用？，（信息处理1983（1983），北荷兰：北荷兰阿姆斯特丹），657-667
[19] Lauer，P.E.，《无全局性假设的并发进程同步》，ACM SIGPLAN Notices，16，9，66-80（1981）
[20] 劳尔，体育。；护罩，M.W。；Best，E.，《基本COSY符号的形式理论》（技术报告TR143（1979），纽卡斯尔大学计算实验室），泰恩出版社·Zbl 0386.68025号
[21] Mazurkiewicz，A.，并发程序方案及其解释，（报告人DAIMI-PB-78（1977），奥胡斯大学计算机科学系）
[22] Milner，R.，《通信系统的微积分》（Springer计算机科学讲稿，92（1980），Springer:Springer Berlin）·兹比尔0452.68027
[23] Petri，C.A.，非连续过程，GMD-ISF报告。77.05 (1977)
[24] Petri，C.A.，并发理论，（Brauer，W.；Reisig，W.，Rozenberg，G.，Petri网：中心模型及其属性，计算机科学讲义，254（1987），Springer：Springer Berlin），4-24，《1986年Petri网进展》，第一部分，Proc。高级课程，Bad Honnef 1986·Zbl 0669.68045号
[25] Plotkin，G.，《CSP的操作语义》，（Bj∅rner，D.，《编程概念的形式化描述II》（1983），北荷兰：北荷兰阿姆斯特丹），199-233·Zbl 0512.68012号
[26] Reisig，W.，Petri Nets（1985），施普林格：施普林格柏林·Zbl 0521.68057号
[27] Reisig，W.，《类CSP语言的部分顺序语义与交错语义及其对公平的影响》，（计算机科学讲义，172（1984），施普林格：施普林格-柏林），403-413·Zbl 0597.68019号
[28] Reisig，W.，《关于Petri网的语义》（Neuhold，E.J.；Chroust，G.，《程序设计中的形式模型》（1985），IFIP/北荷兰：IFIP/北荷兰阿姆斯特丹），347-372·Zbl 0603.68063号
[29] Shields，M.W.，《适足路径表达式》（计算机科学讲义，70（1979），施普林格：施普林格柏林），249-265·Zbl 0429.68058号
[30] Winskel，G.，《CCS和相关语言的事件结构语义》（Proc.ICALP’82）。程序。ICALP’82，计算机科学讲稿，140（1982），施普林格：施普林格柏林），561-576·Zbl 0518.68045号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。