汉娜·克劳代尔；法兰克·波默罗 M-nets：一项调查。 （英语） 兹比尔1178.68366 学报信息。 45，编号7-8，537-564（2008）. 概述：本文综述了自1995年M网模型引入以来，有关M网模型的研究。M-网是高级标记的Petri网，可以像过程代数术语一样，使用各种运算符来组合。我们介绍了核心模型、它的几个扩展和主要应用。 引用于1文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：高级标记Petri网 软件：Uppaal公司；网论；克洛诺斯；玛丽亚；蓬夫；政治公众人物；科莱姆 PDF格式BibTeX公司 XML格式引用 \textit{H.Klaudel}和\textit{F.Pommereau}，《信息学报》第45期，第7--8537--564号（2008年；Zbl 1178.68366） 全文： 内政部 哈尔 参考文献： [1] 阿鲁尔（Alur，R.）。；Dill，D.，《时间自动机理论》，TCS，126，2，183-235（1994）·Zbl 0803.68071号 ·doi:10.1016/0304-3975（94）90010-8 [2] Benaissa，N.、Djafri，B.、Hutzler，G.、Klaudel，H.：面向移动代理系统的建模和验证。INADIS/IBERAMIA-SBIA-SBRN’2006年。柏林施普林格出版社（2006） [3] 贝斯特，E。；Devillers，R.，Petri网理论中的顺序和并发行为，TCS，55，87-136（1987）·Zbl 0669.68043号 ·doi:10.1016/0304-3975（87）90090-9 [4] Best，E.，Devillers，R.，Hall，J.G.：箱演算：具有多标签通信的新因果代数。92年4月。LNCS，第609卷。柏林施普林格出版社（1992年） [5] Best，E.，Devillers，R.，Esparza，J.：箱演算的一般精化和递归。93年STACS。LNCS，第665卷。柏林施普林格（1993）·Zbl 0791.68122号 [6] Best，E.，Devillers，R.，Koutny，M.：Petri网代数。收录：EATCS关于TCS的专著。施普林格，柏林（2001）·Zbl 0968.68110号 [7] Best，E.、Fleischhack，H.、Fra̧czak，W.、Hopkins，R.P.、Klaudel，H.和Pelz，E.：B（PN）的M-net语义。1995年SCT。柏林施普林格（1995）·Zbl 1496.68216号 [8] 贝斯特，E。；西弗拉沙克。；霍普金斯，R.P。；Klaudel，H。；Pelz，E.，M网：高级Petri网的代数，以及并发编程语言语义的应用，Acta Inf.，35，813-857（1998）·Zbl 0917.68160号 ·doi:10.1007/s002360050144 [9] Best，E.，Fernández，C.：非顺序过程。收录于：EATCS TCS专著，第13卷。柏林施普林格（1988）·Zbl 0656.68005号 [10] Best，E.，Hopkins，R.P.:B（PN）^2-基本Petri网编程符号。93年第二季度。LNCS，第694卷。柏林施普林格（1993） [11] 贝斯特，E。；Koutny，M.，《优先级系统的Petri网语义》，TCS，96，1，175-215（1992）·Zbl 0753.68059号 ·doi:10.1016/0304-3975（92）90184-H [12] Best，E.，Thielke，T.：有色Petri网的精炼。函数'97。LNCS，第1279卷。柏林施普林格（1997）·Zbl 1507.68209号 [13] Biberstein，O.，Buchs，D.，Guelfi，N.：具有代数规范的面向对象网络：CO-OPN/2形式主义。面向对象的APN。LNCS，第2001卷。施普林格，柏林（2000）·Zbl 0976.68565号 [14] Bouroulet，R.、Klaudel，H.、Pelz，E.：使用一类可组合高级Petri网的安全协议语言（SPL）语义。ACSD’04。IEEE，纽约（2004） [15] Bouroulet，R.、Klaudel，H.、Pelz，E.：使用SPL（安全协议语言）的增强网络语义对身份验证进行建模和验证。2006年ACSD。IEEE，纽约（2006） [16] Bui Thanh，C.，Klaudel，H.：基于模块化Petri网的面向对象符号封装。In:Petri网模拟研讨会（ESMc'2003卫星）。《欧洲病》（2003） [17] Bui Thanh，C.，Klaudel，H.：使用高级模块化Petri网进行面向对象建模。如果是2004年。LNCS，第2999卷。施普林格，柏林（2004）·Zbl 1196.68041号 [18] Bui Thanh，C.，Klaudel，H.，Pommereau，F.：带彩色缓冲区的盒微积分。DASD/ASTC’04。圣地亚哥SCS（2004）·Zbl 1270.68179号 [19] Bui Thanh，C.，Klaudel，H.，Pommereau，F.：系统验证的因果时间Petri网。MTCS’02，ENTCS 68.5。Elsevier，阿姆斯特丹（2002） [20] Bui Thanh，C.：《现代东方》（Modèles Orientés-Objet pour la Vérification de Systèmes Concurrents）。巴黎大学12分校博士论文，克雷泰尔（2004） [21] CCITT：规范和描述语言。CCITT Z.100。ICCTT（1992） [22] Chizzoni，A.：CLOWN：利用网络进行班级定向。米兰大学硕士论文（1996） [23] Crazzolara，F.，Winskel，G.：安全协议中的事件。参加：ACM计算机和通信安全会议。ACM出版社，纽约（2001） [24] 德尼古拉，R。；费拉里，G。；Pugliese，R.，Klaim:代理交互和移动性的核心语言，IEEE Trans。柔和。工程，24，5，315-330（1998）·doi:10.1109/32.685256 [25] Devillers，R.，Klaudel，H.：高级Petri Box微积分中的求精和递归。1995年，WiC。柏林施普林格（1995） [26] Devillers，R.，Klaudel，H.：通过有限表示求解Petri网递归。ACST’2004年。ACTA出版社，苏黎世（2004） [27] Devillers，R。；Klaudel，H.，可组合参数化高级Petri网中的同步和异步通信，Fundam。Inf.，3，66，221-257（2005）·Zbl 1096.68104号 [28] Devillers，R.，Klaudel，H.，Koutny，M.：基于上下文的迁移过程代数。2004年ACSD。IEEE，纽约（2004） [29] Devillers，R.、Klaudel，R.和Koutny，M.：有限π演算的Petri网语义。2004年福特。LNCS，第3235卷。施普林格，柏林（2004）·Zbl 1110.68417号 [30] Devillers，R。；Klaudel，H。；Koutny，M.，简单进程代数的Petri网语义，EXPRESS/CONCUR’05，154，3，71-94（2006）·Zbl 1273.68254号 [31] Devillers，R。；Klaudel，H。；Koutny，M.，有限π演算项的Petri网语义，Fundam。Inf.，70，3，203-226（2006）·Zbl 1095.68062号 [32] Devillers，R.，Klaudel，H.，Koutny，M.：π-演算术语的Petri网翻译。2006年ICTAC。LNCS，第4281卷。柏林施普林格出版社（2006）·Zbl 1168.68437号 [33] Devillers，R.、Klaudel，H.、Koutny，M.：模拟高级Petri网中的流动性。2007年ACSD。IEEE，纽约（2007） [34] Devillers，R。；Klaudel，H。；库特尼，M。；Pommereau，F.，异步盒演算，Fundam。Inf.，54，293-344（2003）·Zbl 1111.68536号 [35] Devillers，R。；Klaudel，H。；Pelz，E.，代数箱演算，JALC，5，2，81-108（2000）·Zbl 0959.68092号 [36] Devillers，R.，Klaudel，H.，Riemann，R.-C.：高级Petri网的一般改进。1997年FST-TCS。LNCS，第1346卷。柏林施普林格（1997） [37] Devillers，R。；克劳德尔，H。；Riemann，R.-C.，M网微积分的一般参数化求精和递归，TCS，300259-300（2003）·Zbl 1028.68092号 ·doi:10.1016/S0304-3975（02）00088-9 [38] Durchholz，R.，因果关系，时间和截止日期，Data Knowl。工程师，6469-477（1991）·doi:10.1016/0169-023X（91）90024-R [39] Fleischhack，H.，Grahlmann，B.：带过程的B（PN）^2的Petri网语义。1997年PDSE。IEEE，纽约（1997）·Zbl 1510.68056号 [40] Fleischack，H.，Grahlmann，B.：SDL的组合Petri网语义。98年ATPN。LNCS，第1420卷。柏林施普林格（1998）·Zbl 1510.68056号 [41] Grahlmann，B.，Best，E.：政治公众人物：不仅仅是一个Petri网工具。TACAS’96。LNCS，第1055卷。施普林格，柏林（1996） [42] Genrich，H。；Lautenbach，H.J.，用高级Petri网进行系统建模，TCS，13，109-136（1981）·Zbl 0454.68052号 ·doi:10.1016/0304-3975（81）90113-4 [43] Genrich，H.J.、Lautenbach，K.、Thiagarajan，P.S.：一般网络理论的要素。80年ACGNTPS。LNCS，第84卷。柏林施普林格（1980） [44] 美国高尔茨。；Reisig，W.，Petri网的非顺序行为，Inf.Control，57，2-3，125-147（1983）·Zbl 0551.68050号 ·doi:10.1016/S0019-9958（83）80040-0 [45] Grahlmann，B.：作为Petri网的并行程序。德国希尔德斯海姆大学博士论文（1999年） [46] Huber，P.，Jensen，K.，Shapiro，R.M.：有色Petri网中的层次结构。APN'90，LNCS 483。柏林施普林格（1990） [47] Jensen，K.：彩色Petri网。基本概念、分析方法和实际应用。收录于：EATCS TCS专著，第1卷。柏林施普林格出版社（1992年）·Zbl 0762.68004号 [48] Kishinevsky，M.，Cortadella，J.，Kondratyev，A.，Lavagno，L.，Taubin，A.，Yakovlev，A.：耦合异步和中断：位置图网络及其合成。1997年ICATPN。LNCS，第1248卷。柏林施普林格（1997）·Zbl 1510.68062号 [49] Khomenko，V.：Punf文档和用户指南（2002年）。http://homepages.cs.ncl.ac.uk/victor.khomenko/home.formal/tools/punf [50] Khomenko，V.，Koutny，M.：高级Petri网的分支过程。TACAS’2003年。LNCS，第2619卷。柏林施普林格出版社（2003）·Zbl 1031.68083号 [51] Klaudel，H.：Modèles algébriques，basés sur les re seaux de Petri，pour la sémantique des langages de programation concurrents。巴黎大学奥赛分校博士论文（1995年） [52] Klaudel，H.：并行过程的参数化M表达式语义。DAPSYS'00。多德雷赫特·克鲁沃（2000） [53] Klaudel，H.，带过程的并行编程语言的合成高级Petri网语义，SCP，41，3，195-240（2001）·兹比尔0998.68035 [54] Klaudel，H.，Pommereau，F.：PBC和M-net中的异步链路。99年亚洲。LNCS，第1742卷。柏林施普林格（1999）·Zbl 0959.68090号 [55] Klaudel，H.，Pommereau，F.：抢占的并发组合Petri网语义。IFM'00。LNCS，第1945卷。施普林格，柏林（2000）·Zbl 1043.68595号 [56] Klaudel，H.，Pommereau，F.：并行编程语言中静态异常的并发语义。ICATPN'01号。LNCS，第2075卷。施普林格，柏林（2001）·Zbl 0986.68504号 [57] Klaudel，H。；Pommereau，F.，一类可组合和可抢占的高级Petri网，用于多任务系统，Fundam。Inf.，50，1，33-55（2002）·Zbl 1003.68094号 [58] Klaudel，H.，Riemann，R.-C.：高级表达式及其SOS语义。1997年8月。LNCS，第1243卷。施普林格，柏林（1997）·Zbl 1512.68169号 [59] Lakos，C.：使用对象Petri网进行面向对象建模。1997年4月。LNCS，第2001卷。柏林施普林格（1997）·Zbl 0976.68564号 [60] Larsen，K.G。；Pettersson，P。；Yi，W.，UPPAAL（简而言之），国际期刊Softw。技术工具。传输。，1、1、2、134-152（1997年）·Zbl 1060.68577号 [61] Lilius，J.：OOB（PN）^2：一种面向对象的Petri网编程符号。In:面向对象编程和并发模型第二次研讨会（1996年）·Zbl 0976.68561号 [62] Lilius，J.：OB（PN）^2：一种基于对象的Petri网编程符号。96年欧洲保时捷俱乐部。LNCS，第1123卷。施普林格，柏林（1996）·Zbl 0976.68561号 [63] Lilius，J.：OB（PN）^2：一种基于对象的Petri网编程符号。APN'01。LNCS，第2001卷。柏林施普林格（1997）·Zbl 0976.68561号 [64] Lilius，J.，Pelz，E.：B（PN）^2的M-net语义和过程。ISCIS’96，第1卷。中东技术大学（1996） [65] Mäkelä，M.：MARIA：代数系统网的模块可达性分析器。在线手册（1999年）。http://www.tcs.hut.fi/maria ·Zbl 1047.68554号 [66] Mazurkiewicz，A.：痕迹理论。APN’87，第二部分。LNCS，第255卷。柏林施普林格（1987） [67] Milner，R.，Parrow，J.，Walker，D.：移动过程的微积分。第一部分和第二部分。信息与计算，第100卷。Elsevier，阿姆斯特丹（1992）·Zbl 0752.68037号 [68] Petri，C.A.：自动化通讯。瑞士仪器研究所Mathematik。波恩大学（1962年） [69] CPN小组，丹麦奥胡斯大学。Petri网世界，Petri网工具数据库。http://www.daimi.au.dk/PetriNets/tools/db.html [70] Pommereau，F.：领带酱汁中的FIFO缓冲液。DAPSYS'00。多德雷赫特·克鲁沃（2000） [71] Pommereau，F.：《复合材料和共时浇注温度》（Modèles composables et concurrents pour le temps-réel）。巴黎大学12分校博士论文，克雷泰尔（2002年） [72] Pommereau，F.：因果时间演算。格式'03。LNCS，第2791卷。施普林格，柏林（2004）·Zbl 1099.68675号 [73] Pommereau，F.：SNAKES是用于编辑器和模拟器的网络代数工具包。http://www.univ-paris12.fr/lacl/pommereau/soft/snakes ·Zbl 1432.68316号 [74] Pommereau，F.：多功能盒：高级Petri网的多用途代数。DADS/SCSC'07，SCS/ACM，圣地亚哥（2007） [75] Pommereau，F.，Devillers，R.，Klaudel，H.：具有无界计数器的Petri网的有效可达图表示。2007年无限。ENTCS。阿姆斯特丹爱思唯尔（即将亮相）·兹比尔1347.68273 [76] Reisig，W.：Petri网和代数规范。TCS 80。Elsevier，阿姆斯特丹（1991）·Zbl 0727.68080号 [77] Richter，G.：离散时间建模的计数接口。技术报告26，GMD。1998年9月 [78] Riemann，R-C.：并发系统建模：高级Petri网演算中的结构和语义方法。巴黎大学奥赛分校博士论文（1999年） [79] Starke，P.H.，《Petri网中的过程》，EIK，17，8，9（1981）·Zbl 0481.68058号 [80] Störrle，H.：Petri网高端工具评估。Bericht 9802技术报告。路德维希·马克西米利安慕尼黑大学（1998） [81] Vogler，W.：Petri网的模块化结构和偏序语义。LNCS，第625卷。柏林施普林格出版社（1992年）·Zbl 1293.68015号 [82] Yovine，S.，Kronos:实时系统的验证工具，Int.J.Softw。技术工具。传输。，1, 1-2, 123-133 (1997) ·兹比尔1060.68606 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。