摘要
萨米·阿贝斯（Samy Abbes）和阿尔伯特·本文尼斯特（Albert Benveniste）。 2005.将单元分支为事件结构和网络的本地状态：概率应用。 在FOSSACS’05（Comp.Sci.中的Lect.Notes），第3441卷。 施普林格，95-109。 谷歌学者 
数字图书馆 
萨米·阿贝斯（Samy Abbes）和阿尔伯特·本文尼斯特（Albert Benveniste）。 2006.真正一致的概率模型：事件结构的分支单元和分布概率。 Inf.计算。 204, 2 (2006), 231--274. 谷歌学者 数字图书馆 萨米·阿贝斯（Samy Abbes）和阿尔伯特·本文尼斯特（Albert Benveniste）。 真一致概率模型：马尔可夫网和大数定律。 西奥。 计算。 科学。 390, 2-3 (2008), 129--170. 谷歌学者 数字图书馆 安德烈亚·阿斯佩蒂（Andrea Asperti）和纳迪亚·布西（Nadia Busi）。 2009.移动Petri网。 计算机科学中的数学结构19，6（2009），1265-1278。 谷歌学者 数字图书馆 安妮·鲍伊拉德（Anne Bouillard）、斯特凡·哈尔（Stefan Haar）和西德尼·罗萨里奥（Sidney Rosario），2009年。 随机petri网部分序展开中的关键路径。 在时间系统的形式化建模和分析国际会议上。 施普林格，43岁至57岁。 谷歌学者 数字图书馆 罗伯特·布鲁尼（Roberto Bruni）、埃尔南·梅尔格拉蒂（Hernán C.Melgratti）、乌戈·蒙塔纳里（Ugo Montanari）和帕维尔·索博辛斯基（Pawel Sobocinski）。 2013.C/E和P/T网络交互的连接代数。 计算机科学中的逻辑方法9，3（2013）。 谷歌学者 费德里科·克拉佐拉拉（Federico Crazzolara）和格林·温斯克尔（Glynn Winskel）。 2005.具有持久性的Petri网。 选举人。 注释Theor。 计算。 科学。 121 (2005), 143--155. 谷歌学者 数字图书馆 Joanne Bechta Dugan、Kishor S.Trivedi、Robert Geist和Victor F.Nicola。 1984.扩展随机Petri网：应用与分析。 在性能'84中。 北荷兰人，507-519。 谷歌学者 数字图书馆 Christian Eisentraut、Holger Hermanns、Joost-Pieter Katoen和Lijun Zhang。 2013.每个GSPN的语义。 《Petri Nets 2013》（Comp.Sci.主要注释），第7927卷。 施普林格，90-109。 谷歌学者 数字图书馆 Ursula Goltz和Wolfgang Reisig。 1983.Petri网的非连续行为。 信息与控制57，2/3（1983），125-147。 谷歌学者 交叉引用 
斯特凡·哈尔。 2002.概率集群展开。 《基础信息》53，3-4（2002），281--314。 谷歌学者 数字图书馆 Joost Pieter Katoen和Doron A.Peled。 2013.消除建模和实现概率并发系统的混淆。 在FSOP’13（Comp.Sci.中的主要注释），第7792卷。 施普林格，411--430。 谷歌学者 数字图书馆 Joost-Pieter Katoen、Rom Langerak和Diego Latella。 1993年。通过概率过程代数建模系统：事件结构方法。 (1993). 谷歌学者 数字图书馆 曼弗雷德·库德莱克。 2005.Petri网中的概率。 《基础信息》67，1-3（2005），121--130。 谷歌学者 数字图书馆 马可·阿杰蒙·马桑（Marco Ajmone Marsan）、吉安尼·孔蒂（Gianni Conte）和吉安弗兰科·巴尔博（Gianfranco Balbo）。 1984。用于多处理器系统性能评估的一类广义随机Petri网。 ACM事务处理。 计算。 系统。 2, 2 (1984), 93--122. 谷歌学者 数字图书馆 迈克尔·莫洛伊（Michael K.Molloy）。 1985.离散时间随机Petri网。 IEEE传输。 柔和。 工程11，4（1985年4月），417--423。 谷歌学者 数字图书馆 乌戈·蒙塔纳里和弗朗西丝卡·罗西。 1995.背景网。 信息学报32，6（1995），545-596。 谷歌学者 数字图书馆 Mogens Nielsen、Gordon D.Plotkin和Glynn Winskel。 1981.Petri网，事件结构和域，第一部分Theor。 计算。 科学。 13 (1981), 85--108. 谷歌学者 交叉引用 C.A.Petri，1962年。 Kommunikation mit Automaten公司。 博士论文。 德国波恩仪器数学研究所。 谷歌学者 沃尔夫冈·雷西格（Wolfgang Reisig）。 2013.理解Petri网-建模技术、分析方法、案例研究。 斯普林格。 谷歌学者 数字图书馆 Grzegorz Rozenberg和Joost Engelfriet。 1998年，基本网络系统。 《1996年Petri网进展》，第一部分（Comp.Sci.Lect.Notes），第1491卷。 施普林格，12-121。 谷歌学者 数字图书馆 艾纳·史密斯（Einar Smith）。 1996.在因果关系的边界上：联系与混淆。 西奥。 计算。 科学。 153, 1&2 (1996), 245--270. 谷歌学者 数字图书馆 Rob J.van Glabbeek、Ursula Goltz和Jens-Wolfhard Schicke-Uffmann。 2013年，关于可分配性特征。 计算机科学中的逻辑方法9，3（2013）。 谷歌学者 丹尼尔·瓦拉卡（Daniele Varacca）、哈根·沃尔泽（Hagen Völzer）和格林·温斯克（Glynn Winskel）。 2006.概率事件结构和域。 西奥。 计算。 科学。 358，2-3（2006），173--199。 谷歌学者 数字图书馆 英戈·韦格纳。 1987。布尔函数的复杂性。 John Wiley&Sons，Inc.，美国纽约州纽约市。 谷歌学者 数字图书馆 格林·温斯克尔。 1987年，活动结构。 1986年《Petri网的进展》，第二部分（Comp.Sci中的Lect.Notes），第255卷。 施普林格，325-392。 谷歌学者 数字图书馆
建议
捕获CSP中的冲突和困惑 IFM’07：第六届综合形式方法国际会议记录 传统上，并发系统的开发人员采用了两种不同的方法：具有真正并发语义的方法和具有交错语义的方法。 在较粗的交织解释中，并行性可以用非交错解释来表示。。。 给顾客服务提供商增加冲突和困惑 FM'05:2005年正式方法国际会议记录 在并发系统的开发中，出现了两种不同的方法： 真正并发的 语义和那些具有 交错 语义。 这两种方法的不同之处在于，在较粗的交织解释中。。。
