×

兹马思-数学第一资源

嵌套单元Petri网。(英语) Zbl 1427.68195
许多并发系统可以被认为是由子系统组成的,子系统本身可能有子系统,等等。本研究探讨在系统验证中利用这种层次结构的问题。它的出发点是没有层次结构的Petri网和自然表示层次结构的过程代数。该研究将Petri网的位置组织成树状的单元结构,其中单元由零个或多个位置和零个或多个子单元组成。Petri网结构中不寻常的转换被忽略。实际上,层次结构没有语义意义。
总之,这项研究的理论结果似乎很肤浅。形式主义的价值在于,它可以被用来改进验证工具,通过促进将状态打包成更小数量的比特。从实践的角度看,形式主义是非常成功的。异常广泛的书目从验证的角度关注并发形式,以及相关主题。
理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
68Q60型 规范和验证(程序逻辑、模型检查等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 范格拉贝克,R.J。;Vaandrager,F.W.,并发代数理论的Petri网模型,(de Bakker,J.W.;Nijman,A.J.;Treleaven,P.C.,《欧洲并行体系结构和语言第一届国际会议论文集》(PARLE'87),第二卷,第一届欧洲并行体系结构和语言国际会议论文集(1987年),第二卷,计算机科学选注,第259卷,(1987年),斯普林格:斯普林格埃因霍温,荷兰),224-242
[2] 米尔纳,R.,《通信系统微积分》,莱克特。笔记计算。科学,第92卷,(1980),斯普林格·Zbl 0452.68027
[3] 柏格斯特拉,J.A。;Klop,J.W.,同步通信的过程代数,基础计算,60109-137,(1984)·Zbl 0597.68027
[4] 布鲁克斯,南加州。;霍尔,C.A.R。;罗斯科,A.W.,《通信顺序过程的理论》,J.ACM,31,3560-599,(1984)·Zbl 0628.68025
[5] ISO/IEC,LOTOS-基于观测行为时间顺序的形式化描述技术,国际标准8807,国际标准化组织-信息处理系统-开放系统互连,日内瓦,(1989年9月)
[6] Mazurkiewicz,A.W.,痕迹理论,(Brauer,W.;Reisig,W.;Rozenberg,G.,《Petri网高级课程论文集:中心模型及其性质》,《Petri网高级课程论文集:中心模型及其性质》,Bad Honnef,德国,Bad Honnef。Petri网高级课程论文集:中心模型及其性质。高级课程论文集Petri网的rse:中心模型及其性质,Bad Honnef,德国,Lect.Notes Comput.Sci.,第255卷,(1986),Springer),279-324
[7] Winskel,G.,事件结构,(Brauer,W.;Reisig,W.;Rozenberg,G.,《Petri网高级课程论文集:中心模型及其性质》,第二部分。Petri网高级课程论文集:中心模型及其性质,第二部分,Bad Honnef,Germany。《Petri网高级课程论文集:中心模型及其性质》,第二部分《Petri网高级课程:中心模型及其性质》,第二部分,德国巴德霍讷夫出版社,选注计算机科学,第255卷,(1986年),斯普林格,325-392页
[8] 布多尔,G。;卡斯特拉尼,I。;轩尼诗,M。;Kiehn,A.,《具有局部性、形式的过程理论》。Asp。计算机,6,2,165-200,(1994)·Zbl 0806.68070
[9] 布多尔,G。;卡斯特拉尼,I。;轩尼诗,M。;基恩,A.,观察地点,(Tarlecki,A.,第16届计算机科学数学基础国际研讨会论文集。第16届计算机科学数学基础国际研讨会论文集,MFCS'91,Kazimierz-Dolny,波兰。第16届计算机科学数学基础国际研讨会论文集。继续第16届计算机科学数学基础国际研讨会,MFCS'91,Kazimierz-Dolny,波兰,Lect.Notes Comput.Sci.,第520卷,(1991),Springer),93-102·Zbl 0778.68055
[10] 布多尔,G。;卡斯特拉尼,I。;轩尼诗,M。;Kiehn,A.,《局部过程理论》,(Cleaveland,R.,《第三届并发理论国际会议论文集》。第三届并发理论国际会议论文集,CONCUR'92,Stony Brook,NY,USA.,《第三届并发理论国际会议论文集》,CONCUR'92,Stony Brook,NY,USA,《计算机科学笔记》,第630卷,(1992年),斯普林格,108-122
[11] Castellani,I.,观察过程中的分布,(Borzyszkowski,A.M.;Sokolowski,S.,《第18届计算机科学数学基础国际研讨会论文集》。第18届计算机科学数学基础国际研讨会论文集,MFCS'93,格但斯克,波兰《计算机科学第18届国际计算机科学研讨会论文集》,第711卷,计算机科学,波兰
[12] 布多尔,G。;卡斯特拉尼,I。;轩尼诗,M。;基恩,A.,观察地点,理论。计算机。科学,114,1,31-61,(1993)·Zbl 0783.68072
[13] Castellani,I.,观察过程中的分布:静态和动态位置,国际期刊。计算机。科学,6,4,353-393,(1995年)·Zbl 0843.68060
[14] 穆昆德,M。;Nielsen,M.,CCS,定位和异步过渡系统,(Shyamandar,R.K.,《第12届软件技术和理论计算机科学基础会议论文集》。第12届软件技术和理论计算机科学基础会议论文集,印度新德里er Science.《第12届软件技术和理论计算机科学基础会议论文集》,印度新德里,Lect.Notes Comput.Sci.,第652卷,(1992),Springer),328-341
[15] 乙酰乙酸,L.,一个地方,形式的静态视图。Asp。计算机,6,2201-222,(1994)·Zbl 0806.68069
[16] Castellani,I.,过程代数及其局部性,(Bergstra,J.A.;Ponse,A.;Smolka,S.A.,《过程代数手册》(2001年),北荷兰),945-1045,Ch.15·Zbl 1062.68078
[17] 加拉维尔,H。;朗,F。;马特斯库,R。;Serwe,W.,CADP 2011:分布式过程的构造和分析工具箱,Int.J.Softw。工具技术。Transf.,15,2,89-107,(2013年)
[18] Garavel,H.,《LOTOS程序的汇编与验证》(1989年11月),约瑟夫·富里叶大学(格勒诺布尔),博士学位论文集
[19] 加拉维尔,H。;Sifakis,J.,《LOTOS规范的汇编和验证》,(Logrippo,L.;Probert,R.L.;Ural,H.,《第十届IFIP协议规范、测试和验证国际研讨会论文集》,PSTV'90,加拿大渥太华,(1990年),北荷兰,第379-394页
[20] 加拉维尔,H。;Serwe,W.,过程代数规范的状态空间简化,理论。计算机。科学,351,2,131-145,(2006)·Zbl 1086.68091
[21] 科尔顿,F。;加拉维尔,H。;希拉,L.M。;阿黛特公园。;杰泽克尔,L。;罗德里格斯,C。;Hulin Hubard,F.,MCC'2015-第五届模型检查竞赛,(Petri网和其他并发模型交易,第十一卷,(2016年)),262-273
[22] 科尔顿,F。;加拉维尔,H。;希拉,L。;阿黛特公园。;杰泽克尔,L。;胡林胡伯德,F。;保护宪法。;贝克蒂,M。;贝索米厄,B。;埃弗拉德,H。;詹森,P.G。;勒博特兰,D。;利布克,T。;梅杰,J。;斯尔巴,J。;蒂埃里·米格。;范德波尔,J。;Wolf,K.,MCC'2017-第七届模型检查竞赛,(Petri网和其他并发模型交易,第十三卷,(2018年)),181-209
[23] 伯纳迪内洛,L。;de Cindio,F.,《基本网络模型和模块化网络类的调查》,(Rozenberg,G.,Petri网的进展-DEMON项目,Petri网的进展-DEMON项目,Lect.Notes Comput.Sci.,第609卷,(1992年),Springer),304-351
[24] 罗森伯格,G。;Engelfriet,J.,《基本网络系统》,(Reisig,W.;Rozenberg,G.,《Petri网讲座I:基本模型》,Lect.Notes Comput.Sci.,第1491卷,(1996),Springer),12-121·Zbl 0926.68082
[25] 德加诺,P。;德尼科拉,R。;Montanari,U.,《基于条件/事件系统的分布式CCS操作语义》,Acta Inform.,26,1/2,59-91,(1988)·浙宝0656.68061
[26] 门米,G。;Roucairol,G.,《网络理论中的线性代数》,(Brauer,W.,网络理论与应用——过程与系统的一般网络理论高级课程论文集。网络理论与应用——过程与系统的一般网络理论高级课程论文集,德国汉堡。网络理论与应用——公共关系网络理论高级课程论文集过程与系统。网络理论与应用-过程与系统的一般网络理论高级课程论文集,德国汉堡,德国,选注计算机科学,第84卷,(1979),斯普林格,213-223
[27] Lautenbach,K.,《位置/过渡网络的线性代数技术》,(Brauer,W.;Reisig,W.;Rozenberg,G.,《Petri网高级课程论文集:中心模型及其性质》,APN'86,第一部分。Petri网高级课程论文集:中心模型及其性质,APN'86,第一部分,Bad Honnef,Germany。Petri网高级课程论文集:中心模型及其正确性第一百六十六卷,第一百六十六卷,第一百六十七卷,第一百六十六卷,第一百六十六卷,第一百六十六卷,第一百六十七卷,第一百六十六卷,第一百六十七卷,第一百六十六卷
[28] Murata,T.,Petri网:分析与应用,Proc。IEEE,77,4541-580,(1989年)
[29] Harel,D.,《状态图:复杂系统的视觉形式主义》,Sci。计算机。程序,8,3,231-274,(1987年)·Zbl 0637.68010
[30] 铝,R。;Yannakakis,M.,《分层状态机的模型检验》,(ACM-SIGSOFT国际软件工程基础研讨会论文集,美国佛罗里达州维斯塔布埃纳湖ACM-SIGSOFT国际软件工程基础研讨会论文集,(1998),ACM),175-188
[31] 铝,R。;坎南,S。;Yannakakis,M.,通信分层状态机,(Wiedermann,J.;van Emde Boas,P.;Nielsen,M.,《第26届自动机、语言和程序设计国际学术讨论会论文集》,ICALP'99,捷克共和国布拉格。第26届自动机、语言和程序国际学术讨论会论文集g、 第26届自动机、语言和程序设计国际学术讨论会论文集,ICALP'99,布拉格,捷克共和国,Lect.Notes Comput.Sci.,卷1644,(1999),Springer),169-178
[32] 加拉维尔,H。;Sighireanu,M.,关于LOTOS中异常的引入,(Gotzhein,R.;Bredereke,J.,《分布式系统和通信协议的形式描述技术及协议规范、测试和验证国际联合会议论文集》。国际分布式系统和通信正式描述技术国际联席会议论文集阳离子协议和协议规范、测试和验证,FORTE/PSTV'96,Kaiserslauten,Germany,(1996),Chapman&Hall),469-484
[33] Jensen,K.,有色Petri网-基本概念,分析方法和实际应用-第1卷,EATCS Monogr。理论。计算机。《科学》,(1992),斯普林格·Zbl 0762.68004
[34] 滨口,K。;平石,H。;Yajima,S.,使用符号模型检查的异步时序电路设计验证,(逻辑综合与微处理器体系结构国际研讨会论文集,(1992)),84-90
[35] 牧师,E。;罗格,哦。;科尔塔德拉,J。;Badia,R.M.,使用布尔操作的Petri网分析,(Valette,R.,《第15届国际Petri网应用与理论会议论文集》,第15届国际Petri网应用与理论会议论文集,1994年,西班牙萨拉戈萨,第15届国际Petri网应用与理论会议论文集,第15届国际Petri网应用与理论会议论文集关于Petri网的应用和理论会议,1994年,西班牙萨拉戈萨,ICATPN'94,Lect.Notes Comput.Sci.,第815卷,(1994年),Springer),416-435
[36] Janssen,G.,关于BDD包的消费者报告,(第16届集成电路和系统设计年会论文集,第16届集成电路和系统设计年会论文集,SBCCI'03,圣保罗,巴西,(2003年),IEEE计算机协会),217-222
[37] Kerbrat,A.,《沟通过程的符号化方法:练习曲与弥撒》(1994年11月),约瑟夫·傅立叶大学(格勒诺布尔),博士学位论文集
[38] 牧师,E。;Cortadella,J.,《Petri网符号分析的有效编码方案》,(Dewilde,P.;Rammig,F.J.;Musgrave,G.,《欧洲设计、自动化和测试国际会议论文集》,1998年,法国巴黎,(1998年),IEEE计算机协会),790-795
[39] 牧师,E。;科尔塔德拉,J。;培尼亚,M.a.,改进Petri网符号分析的结构方法,(Donatelli,S.;Kleijn,H.C.M.,《第20届Petri网应用与理论国际会议论文集》,ICATPN'99,弗吉尼亚州威廉斯堡,美国第20届Petri网应用与理论国际会议,1999年,美国弗吉尼亚州威廉斯堡市,国际计算机科学会议,第1639卷,(1999年),斯普林格,26-45页
[40] 古德,R。;范熙,K.M。;华盛顿特区。;van der Werf,J.M.E.M.,Petriweb:Petri网的存储库,(Donatelli,S.;Thiagarajan,P.S.,《第27届Petri网应用与理论及其他并发模型国际会议论文集》,第27届国际Petri网应用与理论及其他并发模型会议论文集,2006年,芬兰图尔库Petri网和其他并发模型的应用和理论会议。第27届国际Petri网和其他并发模型应用和理论会议论文集,ICATPN'06,图尔库,芬兰,Lect.Notes Comput.Sci.,第4024卷,(2006),Springer),411-420
[41] 埃斯帕扎,J。;Meyer,P.J.,《基于SMT的公平终止分析方法》,(Kaivola,R.;Wahl,T.,《计算机辅助设计中形式方法第15届会议论文集》。第15届计算机辅助设计正式方法会议论文集,FMCAD'15,德克萨斯州奥斯汀,(2015),IEEE),49-56
[42] Garavel,H.,《嵌套单元Petri网:提高基本网验证效率和可扩展性的结构方法》,(Devillers,R.R.;Valmari,A.,《第36届Petri网应用与理论与并发国际会议论文集》。第36届Petri网应用与理论与并发国际会议论文集,第15届Petri网,比利时布鲁塞尔。第36届应用与技术国际会议论文集《Petri网与并发理论》第36届国际Petri网与并发应用与理论会议论文集,第15届Petri网,比利时布鲁塞尔,Lect.Notes Comput.Sci.,第9115卷,(2015),Springer),179-199·Zbl 1432.68306
[43] Arora,N.,有界Petri网符号模型检查编码方案比较,(2010),爱荷华州立大学:爱荷华州立大学艾姆斯,美国,论文11511
[44] 卡多,G。;赵勇。;Jin,X.,十年饱和:Petri网视角,(Petri网和其他并发模型交易,第6900卷,(2012年)),51-95·Zbl 1350.68199
[45] 哈梅兹,A。;蒂埃里·米格。;Kordon,F.,《使用分层集决策图和自动饱和来构建高效的模型检查器》,Fundam。通知,94,3-4,413-437,(2009年)·Zbl 1183.68374
[46] 蒂埃里·米格。;波特劳德,D。;哈梅兹,A。;Kordon,F.,层次集决策图和正则模型,(Kowalewski,S.;Philippou,A.,《第15届系统构建与分析工具与算法国际会议论文集》,《第15届系统构建与分析工具与算法国际会议论文集》,TACAS'09,York,UK.《第15届国际工具会议论文集》《系统构建与分析的算法》,《第15届系统构建与分析工具与算法国际会议论文集》,TACAS'09,York,UK,Lect.Notes Comput.Sci.,vol.5505,(2009),Springer),1-15·Zbl 1234.68267
[47] ISO/IEC,高级Petri网-第2部分:传输格式,国际标准15909-2:2011,国际标准化组织-信息技术-系统和软件工程,日内瓦,(2011)
[48] 斯特芬,B。;贾斯珀,M。;梅杰,J。;van de Pol,J.,《定制基准Petri网的性能保持生成》,《第17届系统设计并发应用国际会议论文集》,ACSD'17,西班牙萨拉戈萨,(2017),IEEE计算机学会,1-8
[49] 宪法保障。;贝克蒂,M。;Donatelli,S.,(随机)GreatSPN模型检验,(Ciardo,G.;Kindler,E.《第35届Petri网与并发应用与理论国际会议论文集》,《第35届Petri网与并发应用与理论国际会议论文集》,Petri网第14期,突尼斯,突尼斯。第35届应用与并发国际会议论文集d Petri网理论与并发性。第35届Petri网与并发应用与理论国际会议论文集,Petri网第14期,突尼斯突尼斯,Lect.Notes Comput.Sci.,第8489卷,(2014),Springer),354-363·Zbl 06314354
[50] Thierry Mieg,Y.,使用其工具进行符号模型检查,(Baier,C.;Tinelli,C.,《第21届系统构建与分析工具与算法国际会议论文集》,《第21届系统构建与分析工具与算法国际会议论文集》,TACAS'15,伦敦,英国,第21届工具与分析国际会议论文集系统构造与分析的算法,《第21届系统构造与分析工具与算法国际会议论文集》,TACAS'15,伦敦,英国,Lect.Notes Comput.Sci.,第9035卷,(2015),Springer),231-237
[51] Wolf,K.,在模型检查竞争中运行LOLA2.0,(Petri网和其他并发模型上的事务,第11卷,(2016)),274-285
[52] 康德,G。;拉曼,A。;梅杰,J。;范德波尔,J。;布洛姆,S。;van Dijk,T.,LTSmin:高性能独立于语言的模型检查,(Baier,C.;Tinelli,C.,《第21届系统构建与分析工具与算法国际会议论文集》,《第21届系统构建与分析工具与算法国际会议论文集》,TACAS'15,伦敦,英国,第21届工具与分析国际会议论文集系统构造与分析的算法,《第21届系统构造与分析工具与算法国际会议论文集》,TACAS'15,伦敦,英国,Lect.Notes Comput.Sci.,第9035卷,(2015),Springer),692-707
[53] Hamez,A.,Petri网的符号模型检查器:pnmc,(Petri网事务和其他并发模型,第11卷,(2016)),297-306
[54] 贝索米厄,B。;里贝特,邮政编码:。;Vernadat,F.,工具TINA-Petri网和时间Petri网的抽象状态空间的构造,国际J.Prod.Res.,42,14,2741-2756,(2004)·Zbl 1060.68695
[55] 加拉维尔,H。;朗,F。;Serwe,W.,From LOTOS to LNT,(Katoen,J.-P.;Langerak,R.,ModelEd,TestEd,TrustEd-Ed Brinksma在60岁生日之际献给Ed Brinksma的文章,Lect.Notes Comput.Sci.,vol.10500,(2017),Springer),3-26
[56] 贾斯珀,M。;费克,M。;斯特芬,B。;肖丹,M。;梅杰,J。;范德波尔,J。;霍瓦尔,F。;Siegel,S.F.,RERS 2017挑战与研讨会,(Erdogmus,H.;Havelund,K.,第24届ACM SIGSOFT国际软件模型检验研讨会论文集。第24届ACM SIGSOFT国际软件模型检验研讨会论文集,SPIN'17,加利福尼亚州圣巴巴拉,(2017),ACM),11-20
[57] 他,X。;Murata,T.,高级Petri网-扩展、分析和应用(Chen,W.-K.,电气工程手册,(2005),爱思唯尔学术出版社,459-476
[58] Dittrich,G.,网络规范——与“网络需求捕获”相关的活动报告,(Pichler,F.;Moreno-Díaz,R.,《计算机辅助系统理论国际研讨会论文集》,《计算机辅助系统理论国际研讨会论文集》,EUROCAST'89,西班牙拉斯帕尔马斯。计算机辅助系统理论国际研讨会论文集ided系统理论,EUROCAST'89,西班牙拉斯帕尔马斯,Lect.Notes Comput.Sci.,第410卷,(1989),Springer),111-124
[59] 休伯,P。;詹森,K。;夏皮罗,R.M.,《有色Petri网中的层次结构》,(Rozenberg,G.,第10届国际Petri网应用与理论会议论文集,第10届国际Petri网应用与理论会议论文集,APN'91,德国波恩,第10届Petri网应用与理论国际会议论文集,第10届国际会议论文集关于Petri网应用和理论的al会议,APN'91,波恩,德国,Lect.Notes Comput.Sci.,卷483,(1989),Springer),313-341
[60] Fehling,R.,《带构建块的层次Petri网的概念》,(Rozenberg,G.,第12届Petri网应用与理论国际会议论文集,第12届Petri网应用与理论国际会议论文集,APN'91,丹麦Gjern,第12届Petri网应用与理论国际会议论文集,第12届国际Petri网应用与理论会议论文集关于Petri网应用和理论的nal会议,APN'91,Gjern,丹麦,Lect.Notes Comput.Sci.,第674卷,(1991),Springer),148-168
[61] 他,X。;Lee,J.,《构造谓词转换网络规范的方法》,软件。实践。实验,21,8845-875,(1991年)
[62] He,X.,《层次谓词转换网的形式化定义》,(Billington,J.;Reisig,W.,《第17届Petri网应用与理论国际会议论文集》,APN'96,日本大阪,第17届Petri网应用与理论国际会议论文集。第17届Petri网应用与理论国际会议论文集Petri网应用与理论国际会议,APN'96,日本大阪,Lect.Notes Comput.Sci.,第1091卷,(1996),Springer),212-229·Zbl 1418.68144
[63] 不,J.D。;Nutt,G.J.,用于表示并行系统的宏E网络,IEEE Trans。计算机,C-22,8,718-727,(1973年)
[64] Noe,J.D.,网络建模与仿真,(Brauer,W.,网络理论与应用——过程与系统的一般网络理论高级课程论文集。网络理论与应用——过程与系统的一般网络理论高级课程论文集,德国汉堡。网络理论与应用——公共关系网络理论高级课程论文集过程与系统。网络理论与应用-过程与系统的一般网络理论高级课程论文集,汉堡,德国,选注计算机科学,第84卷,(1980),斯普林格,347-368
〔65〕 彼得森,J.L.,Petri网,ACM计算机。第9、3、223-252页(1977年)·Zbl 0357.68067
[66] Valette,R.,《逐步细化法分析Petri网》,J.Comput。系统。科学,18,1,35-46,(1979)·Zbl 0401.68038
[67] Kotov,V.E.,基于Petri网的并行代数,(Winkowski,J.,第七届计算机科学数学基础研讨会论文集。第七届计算机科学数学基础研讨会论文集,MFCS'78,Zakopane,波兰。第七届计算机科学数学基础研讨会论文集。第七届计算机科学数学基础研讨会论文集计算机科学ns,MFCS'78,Zakopane,波兰,Lect.Notes Comput.Sci.,第64卷,(1978),Springer),39-55·Zbl 0383.68029
[68] 科托夫,V.E。;Cherkasova,L.,关于广义过程的结构性质,(Rozenberg,G.;Genrich,H.J.;Roucairol,G.,《1983年和1984年欧洲Petri网应用和理论研讨会论文集》。1983年和1984年欧洲Petri网应用和理论研讨会论文集,APN'84,法国图卢兹和丹麦奥胡斯。1983年和1984年欧洲应用研讨会论文集Petri网中的nd理论。1983年和1984年欧洲Petri网应用和理论研讨会论文集,APN'84,法国图卢兹和丹麦奥胡斯,Lect.Notes Comput.Sci.,第188卷,(1984),Springer),288-306
〔69〕 铃木,I。;穆拉塔的过渡和改进,(Girault,C.;Reisig,W.,《第一和第二届欧洲Petri网应用与理论研讨会论文集》。第1届和第2届欧洲Petri网应用与理论研讨会论文集,APN'81,法国斯特拉斯堡和德国巴德霍尼夫。第一和第二届欧洲Petri网应用与理论研讨会论文集第1和第2届欧洲Petri网应用与理论研讨会论文集,APN'81,法国斯特拉斯堡和德国巴德霍讷夫,Informatik Fachberichte,第52卷,(1981),Springer),136-141
[70] 铃木,I。;Murata,T.,Petri网的逐步求精和抽象方法,J.Comput。系统。科学,27,1,51-76,(1983年)·Zbl 0515.68051
[71] Lomazova,I.A.,《嵌套Petri网——多智能体分布式系统规范与验证的形式主义》,Fundam。通知,43,1-4,195-214,(2000年)·Zbl 0965.68062
[72] Lomazova,I.A.,嵌套Petri网:多级递归系统,Fundam。通知,47,3-4,283-293,(2001年)·Zbl 1052.68091
[73] Valk,R.,Petri网作为令牌对象:基本对象网简介,(Desel,J.;Silva,M.,《第19届Petri网应用与理论国际会议论文集》。第19届国际Petri网应用与理论会议论文集,1998年国际Petri网应用与理论会议论文集,葡萄牙里斯本国际Petri网应用与理论会议,1998年,葡萄牙里斯本,Lect.Notes Comput.Sci.,卷1420,(1998),Springer),1-25
[74] 瓦尔克,R.,对象Petri网:在网范式中使用网,(Desel,J.;Reisig,W.;Rozenberg,G.《并发与Petri网讲座》,摘自第四期Petri网高级课程;并发与Petri网讲座,摘自第四期Petri网高级课程,ACPN'03,Eichstätt,Germany;Concurrency and Petri网讲座,摘自第四期Petri网高级课程。并发与Petri网讲座d Petri网,摘自第四期Petri网高级课程,ACPN'03,Eichstätt,德国,Lect.Notes Comput.Sci.,第3098卷,(2003),Springer),819-848·邮编:1088.68135
[75] 库默,O。;维恩伯格,F。;杜维尼奥,M。;舒马赫,J。;克勒,M。;莫尔特,D。;Rölke,H。;Valk,R.,Petri网的可扩展编辑器和模拟引擎:更新,(Cortadella,J.;Reisig,W.《2004年第25届Petri网应用与理论国际会议论文集》。2004年第25届国际Petri网应用与理论会议论文集,ICATPN'04,意大利博洛尼亚。2004年第25届Petri网应用与理论国际会议论文集,Pro2004年第25届Petri网应用与理论国际会议,2004年,意大利博洛尼亚,ICATPN'04,Lect.Notes Comput.Sci.,第3099卷,(2004年),Springer),484-493·Zbl 1094.68589
[76] Karjoth,G.,通过通信状态机实现LOTOS规范,(Cleaveland,R.,《第三届并发理论国际会议论文集》。第三届并发理论国际会议论文集,CONCUR'92,Stony Brook,NY,USA.,《第三届并发理论国际会议论文集》,CONCUR'92,Stony Brook,NY,USA,《计算机科学笔记》,第630卷,(1992年),斯普林格,386-400页
[77] 卡尔乔特,G。;约束,C。;Gustafsson,J.,LOEWE:一个LOTOS工程工作台,计算机。网络。ISDN系统,25,7853-874,(1993年)
[78] 德辛迪奥,F。;米其利斯,G。;波梅洛,L。;Simone,C.,Milner的通信系统和Petri网,(Pagnoni,A.;Rozenberg,G.《第三届欧洲Petri网应用与理论研讨会论文集》。第三届欧洲Petri网应用与理论研讨会论文集,APN'82,Varenna,Italy.《第三届欧洲Petri网应用与理论研讨会论文集》。第三届欧洲Petri网应用与理论研讨会论文集Petri网的应用和理论,APN'82,Varenna,Italy,Informatik Fachberichte,第66卷,(1982),Springer),40-59·Zbl 0521.68059
[79] 戈尔茨,美国。;关于CCS和Petri网的关系,(Paredaens,J.,第11届自动机、语言和程序设计学术讨论会论文集。第11届自动机、语言和程序设计学术讨论会论文集,ICALP'84,比利时安特卫普。第11届自动机、语言和程序设计学术讨论会论文集,ICALP'84,比利时安特卫普,《计算机科学笔记》,第172卷,(1984年),斯普林格,196-208
[80] Goltz,U.,关于用有限Petri网表示CCS程序,(Chytil,M.;Janiga,L.;Koubek,V.《第13届计算机科学数学基础研讨会论文集》。第13届计算机科学数学基础研讨会论文集,MFCS'88,捷克斯洛伐克卡尔斯巴德。第13届计算机科学数学基础研讨会论文集。第13届计算机科学数学基础研讨会论文集《计算机科学数学基础》mposium,MFCS'88,卡尔斯巴德,捷克斯洛伐克,《计算机科学笔记》,第324卷,(1988年),斯普林格,339-350·Zbl 0649.68015
[81] Goltz,U.,CCS和Petri网,(Guessarian,I.,《并发进程系统的语义学——LITP Spring学派理论计算机科学论文集》。并发进程系统语义学——法国拉罗什波赛理工学院计算机科学论文集。并发进程系统语义学——LITP S普林理论计算机科学学院。并行过程系统的语义学-理论计算机科学的LITP Spring学院论文集,La Roche Posay,法国,Lect.计算机科学笔记,第469卷,(1990),Springer),334-357
[82] Nielsen,M.,CCS及其与网络理论的关系,(Brauer,W.;Reisig,W.;Rozenberg,G.,《Petri网高级课程论文集:中心模型及其性质》,《Petri网高级课程论文集:中心模型及其性质》,APN'86,第二部分,Bad Honnef,Germany。《Petri网高级课程:中心模型及其性质》。会议记录关于Petri网的高级课程:中心模型及其性质,APN86,第二部分,Bad Honnef,德国,Lect.Notes Comput.Sci.,vol.255,(1986),Springer),393-415
[83] 弗朗西斯科,北卡罗来纳州。;蒙塔纳里,美国。;Yankelevich,D.,公理化CCS,网络与过程,Sci。计算机。程序,21,3,225-261,(1993年)·Zbl 0801.68114
[84] 蒙塔纳里,美国。;Yankelevich,D.,通过结构公理结合CCS和Petri网,Fundam。通知,20,1/2/3,193-229,(1994年)·Zbl 0806.68042
[85] 布多尔,G。;Castellani,I.,CCS的三个等价语义,(Guessarian,I.,《并发进程系统的语义学——LITP Spring学派理论计算机科学论文集》。并发进程系统语义学——法国拉罗什波赛理工学院计算机科学论文集。并发进程系统语义学——LITP S普林理论计算机科学学院。并行过程系统的语义学-理论计算机科学的LITP Spring学院论文集,La Roche Posay,法国,Lect.计算机科学笔记,第469卷,(1990),Springer),96-141
[86] 布多尔,G。;《等效计算语义学》,第1期,第2期,第247页·Zbl 0938.68715
[87] 戈里里,R。;Montanari,U.,分布式实现CCS,(Rozenberg,G.,第12届Petri网应用与理论国际会议论文集,第12届Petri网应用与理论国际会议论文集,APN'91,丹麦Gjern,第12届Petri网应用与理论国际会议论文集,第12届国际Petri网应用与理论会议论文集关于Petri网应用和理论的nal会议,APN'91,Gjern,丹麦,Lect.Notes Comput.Sci.,第674卷,(1991),Springer),244-266
[88] 戈里里,R。;Montanari,U.,关于在网络计算中实现并发计算:两个案例研究,Theor。计算机。科学,141,1和2,195-252,(1995)·Zbl 0873.68144
[89] 戈尔茨,美国。;Reisig,W.,带有单个令牌的CSP程序,(Rozenberg,G.;Genrich,H.J.;Roucairol,G.,《1983年和1984年欧洲Petri网应用和理论研讨会论文集》。1983年和1984年欧洲Petri网应用和理论研讨会论文集,APN'84,法国图卢兹和丹麦奥胡斯。1983年和1984年欧洲应用研讨会论文集Petri网中的nd理论。1983年和1984年欧洲Petri网应用和理论研讨会论文集,APN'84,法国图卢兹和丹麦奥胡斯,Lect.Notes Comput.Sci.,第188卷,(1984),Springer),169-196
[90] Olderog,E.-R.,CCSP的操作Petri网语义,(Rozenberg,G.,《第七届欧洲Petri网应用与理论研讨会论文集》。第七届欧洲Petri网应用与理论研讨会论文集,APN'87,牛津,英国。第七届欧洲Petri网应用与理论研讨会论文集。第七届欧洲应用与理论研讨会论文集《Petri网理论》,APN'87,牛津,英国,Lect.Notes Comput.Sci.,第266卷,(1986),Springer),196-223
[91] 《网络、术语和公式:并行过程及其关系的三种观点》(1991),剑桥大学出版社·Zbl 0741.68002
[92] 陶布纳,D.用自动机和Petri网对CCS和TCSP程序的有限表示,Lect。笔记计算。科学,第369卷,(1989),斯普林格·Zbl 0684.68011
[93] Taubner,D.,《用有限谓词/过渡网络表示CCS程序》,《信息学报》,27,6,533-565,(1990)·Zbl 0675.68035
[94] 霍尔,J.G。;霍普金斯大学。;博蒂,O。;de Cindio,F.,OCCAM2的Petri网语义,(1991),纽卡斯尔大学泰恩分校,计算实验室,可从
[95] 霍普金斯大学。;霍尔,J.G。;Botti,O.,程序语义的基本网络代数及其在OCCAM中的应用,(Rozenberg,G.,Petri网的进展-DEMON项目,Petri网的进展-DEMON项目,Lect.Notes Comput.Sci.,第609卷,(1992),Springer),179-214
[96] 切尔卡索娃,L。;Kotov,V.E.,结构化网络,(Gruska,J.;Chytil,M.,《第十届计算机科学数学基础研讨会论文集》。第十届计算机科学数学基础研讨会论文集,MFCS'81,Strbske-Plso,捷克斯洛伐克。第十届计算机科学数学基础研讨会论文集。第十届研讨会论文集《计算机科学的数学基础》,MFCS'81,Strbske-Plso,捷克斯洛伐克,Lect.Notes Comput.Sci.,第118卷,(1981),Springer),242-251·Zbl 0481.68057
[97] 切尔卡索娃,L。;描述与分析过程代数,(Rozenberg,G.,第九届欧洲Petri网应用与理论研讨会论文集,意大利威尼斯,第九届欧洲Petri网应用与理论研讨会论文集,第九届欧洲Petri网应用与理论研讨会论文集,第九届欧洲应用与理论研讨会论文集n Petri网,威尼斯,意大利,选注计算机科学,第424卷,(1988),斯普林格,77-104
[98] 切尔卡索娃,L。;Kotov,V.E.,并发非确定性过程的代数,理论。计算机。《科学》,第90卷,第151-170页,(1991年)·Zbl 0735.68027
[99] 加格,V.K。;《并发正则表达式及其与Petri网的关系》,理论。计算机。《科学》,96,2285-304,(1992年)·Zbl 0745.68080
[100] 洛达亚,K。;Weil,P.,串并行偏序集:代数,自动机和语言,(Morvan,M.;Meinel,C.;Krob,D.,《计算机科学理论方面的第15届年会论文集》。《计算机科学理论方面的第15届年会论文集》,STACS'98,巴黎,法国。计算机科学理论方面第15届年会论文集计算机科学理论方面的ymposium,STACS'98,巴黎,法国,Lect.《计算机科学笔记》,第1373卷,(1998年),斯普林格,555-565·Zbl 0892.68041
[101] 洛达亚,K。;系列并行语言与有界宽度性质,理论。计算机。《科学》第237页,第1-2页,第347-380页,(2000年)·Zbl 0939.68042
[102] 洛达亚,K。;兰加纳亚库鲁,D。;Rangarajan,K.,《1-安全Petri网的层次结构》,(Saraswat,V.A.,《第八届亚洲计算科学大会程序设计语言和分布式计算会议论文集》,2003年亚洲计算机科学会议论文集,印度孟买es与分布式计算,《第八届亚洲计算科学大会程序设计语言与分布式计算会议论文集》,2003年亚洲,印度孟买,选集,《计算机科学笔记》,第2896卷,(2003年),斯普林格,173-187·Zbl 1215.68156
[103] 贝斯特,E。;Devillers公司。;Hall,J.G.,《盒微积分:具有多标签通信的新的因果代数》,(Rozenberg,G.,《Petri网的进展-DEMON项目》.Petri网的进展-DEMON项目》,Lect.Notes Comput.Sci.,第609卷,(1992),Springer),21-69
[104] 贝斯特,E。;Devillers公司。;Esparza,J.,《Petri盒演算的一般求精与递归算子》,(Enjalbert,P.;Finkel,A.;Wagner,K.W.,《计算机科学理论方面第十届年会论文集》。第十届计算机科学理论方面研讨会论文集,STACS'93,德国于尔茨堡。第十届计算机科学理论方面年会论文集第十届计算机科学理论方面年度研讨会,STACS'93,德国维尔茨堡,Lect.Notes Comput.Sci.,第665卷,(1993年),斯普林格,130-140·中银0791.68122
[105] 库特尼,M。;埃斯帕扎。;贝斯特,E.,Petri盒演算的操作语义学,(Jonsson,B.;Parrow,J.,《第五届并发理论国际会议论文集》。第五届并发理论国际会议论文集,CONCUR'94,Uppsala,Sweden.《第五届并发理论国际会议论文集》,CONCUR'94年,瑞典乌普萨拉,《计算机科学笔记》,第836卷,(1994年),施普林格,210-225页
[106] 贝斯特,E。;Devillers公司。;Koutny,M.,《盒代数——网络和过程表达式的模型》,(Donatelli,S.;Kleijn,H.,《第20届Petri网应用与理论国际会议论文集》。第20届国际Petri网应用与理论会议论文集,ICATPN'99,弗吉尼亚州威廉斯堡。第20届Petri网应用与理论国际会议论文集第20届Petri网应用与理论国际会议,ICATPN'99,美国弗吉尼亚州威廉斯堡,Lect.Notes Comput.Sci.,第1639卷,(1999),Springer),344-363
[107号] 贝斯特,E。;Devillers公司。;库特尼,M.,盒代数=Petri网+过程表达式,基础计算,178,1,44-100,(2002)·Zbl 1012.68117号
[108] 贝斯特,E。;Devillers公司。;Koutny,M.,《网络和过程代数的统一模型》,(Bergstra,J.;Ponse,A.;Smolka,S.,《过程代数手册》(2001年),Elsevier),873-944,Ch.14·Zbl 1006.68101
[109号] 贝斯特,E。;Devillers公司。;Koutny,M.,Petri网代数(理论计算机科学EATCS专著,(2001),Springer)
[110] Devillers公司。;克劳德尔,H。;库特尼,M。;Pommereau,F.,《非安全Petri盒代数》,(Kirchner,H.;Ringeissen,C.,《第九届代数方法与软件技术国际会议论文集》。第九届代数方法与软件技术国际会议论文集,AMAST'02,圣吉勒斯-莱班,留尼汪岛,法国方法学与软件技术。第九届代数方法与软件技术国际会议论文集,AMAST'02,圣吉勒-莱贝恩,留尼汪岛,法国,莱克特。计算机科学笔记,卷2422,(2002),斯普林格,192-207·Zbl 1275.68104
[111] Devillers公司。;克劳德尔,H。;库特尼,M。;Pommereau,F.,异步盒微积分,Fundam。通知,54,4,295-344,(2003年)·Zbl 1111.68536
[112] Devillers,R.R.,《精细Petri盒的S-不变量和S-分量的构造》,(Marsan,M.A.,《第14届国际Petri网应用与理论会议论文集》,第14届国际Petri网应用与理论会议论文集,APN'93,伊利诺伊州芝加哥,美国伊利诺伊州,第14届国际Petri网应用与理论会议论文集,第14届国际Petri网应用与理论会议论文集关于Petri网应用和理论的al会议,APN'93,芝加哥,伊利诺伊州,美国,Lect.Notes Comput.Sci.,vol.691,(1993),Springer),242-261
[113] Devillers,R.R.,《一般递归Petri盒的S-不变分析》,信息学报,32,4,313-345,(1995)·Zbl 0827.68080
[114] 程,A。;埃斯帕扎,J。;Palsberg,J.,1-安全网的复杂性结果,理论。计算机。科学,147,1-2,117-136,(1995年)·Zbl 0873.68146
[115] 普拉文,M。;Lodaya,K.,1-安全Petri网的参数化复杂性结果,(Katoen,J.-P.;König,B.,《第22届并发理论国际会议论文集》,《第22届并发理论国际会议论文集》,CONCUR'11,德国亚琛。第22届并发理论国际会议论文集,CONCUR'11,亚琛,德国,Lect.Notes Comput.Sci.,第6901卷,(2011),斯普林格出版社,358-372·Zbl 1238.68103
[116] Alur,R.,层次描述的有效形式验证,(Arvind,V.;Ramanujam,R.,《第18届软件技术和理论计算机科学基础会议论文集》。第18届软件技术和理论计算机科学基础会议论文集,印度钦奈理论计算机科学。第18届软件技术和理论计算机科学基础会议论文集,印度钦奈,莱克特,《计算机科学笔记》,第1530卷,(1998年),斯普林格,269页
[117] Alur,R.,利用层次结构进行有效的形式验证,(Palamidessi,C.,《第11届并发理论国际会议论文集》。第11届并发理论国际会议论文集,CONCUR'00,宾夕法尼亚大学公园,美国。第11届并发理论国际会议论文集,CONCUR'00,美国宾夕法尼亚州大学公园,Lect.Notes Comput.Sci.,第1877卷,(2000),Springer),66-68·Zbl 0999.68559
[118] 贝尼迪克,M。;戈德弗里德,P。;代表,T.W.,无限制分层状态机的模型检查,(Orejas,F.;Spirakis,P.G.;van Leeuwen,J.,《第28届自动机、语言和程序设计国际学术讨论会论文集》,ICALP'01,希腊克里特岛,《第28届自动机、语言和程序设计国际学术讨论会论文集》。Proceedi第28届自动机、语言和程序设计国际学术讨论会的ngs,ICALP'01,希腊克里特岛,Lect.Notes Comput.Sci.,第2076卷,(2001),Springer),652-666·Zbl 0986.68506
[119] 铝,R。;麦克杜格尔,M。;Yang,Z.,利用行为层次结构进行有效的模型检查,(Brinksma,E.;Larsen,K.G.,《第14届计算机辅助验证国际会议记录》。第14届计算机辅助验证国际会议记录,CAV'02,丹麦哥本哈根。第14届计算机辅助验证国际会议记录。第14届国际会议记录计算机辅助验证nce,CAV'02,哥本哈根,丹麦,Lect.Notes Comput.Sci.,第2404卷,(2002),Springer),338-342·Zbl 1010.68503
[120] Alur,R.,《层次状态机的形式分析》,(Dershowitz,N.,Verification:Theory and Practice-在Zohar Manna 64岁生日之际献给Zohar Manna的论文,Lect.Notes Comput.Sci.,卷2772,(2003),Springer),42-66年·兹布1274.68172
[121] 铝,R。;贝尼迪克,M。;埃特萨米,K。;戈德弗里德,P。;代表,T.W。;Yannakakis,M.,《递归状态机分析》,ACM Trans。程序。《语言系统》,27,4786-818,(2005年)
[122号] 诺托米,M。;Murata,T.,用于可达性和死锁分析的分层组织Petri网状态空间,(Prasanna,V.K.;Canter,L.H.,第六届国际并行处理研讨会论文集。第六届国际并行处理研讨会论文集,加利福尼亚州比佛利山,(1992年),IEEE计算机学会),616-623
[123号] 诺托米,M。;Murata,T.,并发软件分析的有界Petri网的层次可达图,IEEE Trans。软。工程学,20,5,325-336,(1994年)·Zbl 0810.68099
[124] Buchholz,P.,GCSPN的层次结构及其对定性和定量分析的影响,J.平行分布。计算机,15,3,207-224,(1992年)·Zbl 0763.68052
[125] Buchholz,P.,彩色GSPN中的层次结构,(Marsan,M.A.,《第14届国际Petri网应用与理论会议论文集》,第14届国际Petri网应用与理论会议论文集,1993年,美国伊利诺伊州芝加哥市,第14届Petri网应用与理论国际会议论文集,第14届国际会议论文集关于Petri网的应用和理论,1993年,芝加哥,伊利诺伊州,美国,选择笔记计算机科学,第691卷,(1993年),斯普林格,106-125
[126] 布赫霍尔茨,P。;Kemper,P.,分布式系统技术和工具支持的模块化状态级分析,(Cleaveland,R.,《第五届系统构造与分析工具与算法国际会议论文集》,《第五届系统构造与分析工具与算法国际会议论文集》,荷兰阿姆斯特丹,TACAS'99,第五届工具与Alg国际会议论文集系统构造与分析的理论,第五届系统构造与分析工具与算法国际会议论文集,TACAS'99,阿姆斯特丹,荷兰,Lect.Notes Comput.Sci.,vol.1579,(1999),Springer),420-434
[127号] 布赫霍尔茨,P。;Kemper,P.,Petri网的层次可达图生成,形式。方法系统。Des.,21,3,281-315,(2002年)·Zbl 1020.68058
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。