×

兹马思-数学第一资源

嵌套单元Petri网。(英语) Zbl 1427.68195
许多并发系统可以被认为是由子系统组成的,子系统本身可能有子系统,等等。本研究探讨在系统验证中利用这种层次结构的问题。它的出发点是没有层次结构的Petri网和自然表示层次结构的过程代数。该研究将Petri网的位置组织成树状的单元结构,其中单元由零个或多个位置和零个或多个子单元组成。这种结构是不寻常的,因为Petri网的转换被忽略了。实际上,层次结构没有语义意义。
总之,这项研究的理论结果似乎很肤浅。形式主义的价值在于,它可以被用来改进验证工具,通过促进将状态打包成更小数量的比特。从实践的角度看,形式主义是非常成功的。异常广泛的书目从验证的角度关注并发形式,以及相关主题。
理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
68Q60型 规范和验证(程序逻辑、模型检查等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 范格拉贝克,R。J、 。;沃德拉格,F。W、 《并发代数理论的Petri网模型》,(de Bakker,J。W、 。;尼曼,A。J、 。;特里芬,P。C、 ,欧洲第一届并行体系结构和语言国际会议论文集(87年版),第二卷。第1届欧洲并行体系结构和语言国际会议论文集(1987年PARLE'87),第二卷,Lect。笔记计算。科学,第259卷,(1987年),斯普林格:斯普林格埃因霍温,荷兰),224-242
[2] 米尔纳,R.,《通信系统微积分》,莱克特。笔记计算。科学,第92卷,(1980),斯普林格·Zbl 0452.68027
[3] 柏格斯特拉,J。A、 。;克洛普,J。W、 《同步通信过程代数》,计算机基础,60109-137,(1984)·6800527.68097升
[4] 布鲁克斯,S。D、 。;霍尔,C。A、 R。;罗斯科,A。W、 ,沟通顺序过程的理论,J。ACM,31,3560-599,(1984年)·Zbl 0628.68025
[5] ISO/IEC,LOTOS-基于观测行为时间顺序的形式化描述技术,国际标准8807,国际标准化组织-信息处理系统-开放系统互连,日内瓦,(1989年9月)
[6] 马祖基维茨,A。W、 ,迹理论,(布劳尔,W。;莱希格,W。;罗森伯格,G.,Petri网高级课程论文集:中心模型及其性质。Petri网高级课程论文集:中心模型及其性质,德国巴德霍讷夫。Petri网高级课程论文集:中心模型及其性质。《Petri网高级课程论文集:中心模型及其性质》,德国巴德霍尼夫,莱克特。笔记计算。科学,第255卷,(1986),斯普林格,279-324
[7] 温斯克尔,G.,事件结构,(布劳尔,W。;莱希格,W。;罗森伯格,G.,Petri网高级课程论文集:中心模型及其性质,第二部分。Petri网高级课程论文集:中心模型及其性质,第二部分,德国巴德霍尼夫。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。;Kiehn,A.,观测地点,(Tarlecki,A.,第16届计算机科学数学基础国际研讨会论文集)。第16届计算机科学数学基础国际研讨会论文集,MFCS'91,Kazimierz-Dolny,波兰。第16届计算机科学数学基础国际研讨会论文集。第16届计算机科学数学基础国际研讨会论文集,MFCS'91,波兰,Kazimierz-Dolny。笔记计算。科学,第520卷,(1991),斯普林格,93-102·Zbl 0778.68055
[10] 布多尔,G。;卡斯特拉尼,I。;轩尼诗,M。;基恩,A.,《局部过程理论》,《第三届并发理论国际会议论文集》。第三届并发理论国际会议论文集,CONCUR'92,Stony Brook,NY,USA。第三届并发理论国际会议论文集。第三届并发理论国际会议论文集,CONCUR'92,美国纽约州Stony Brook,Lect。笔记计算。科学,第630卷,(1992),斯普林格,108-122
[11] Castellani,I.,观察过程中的分布,(Borzyszkowski,A。M、 。;Sokolowski,S.,第18届计算机科学数学基础国际研讨会论文集。第18届计算机科学数学基础国际研讨会论文集,MFCS'93,格但斯克,波兰。第18届计算机科学数学基础国际研讨会论文集。第18届计算机科学数学基础国际研讨会论文集,MFCS'93,格但斯克,波兰,莱克特。笔记计算。科学,第711卷,(1993),斯普林格,321-331
[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,定位和异步过渡系统(Shyamasundar,R。K、 第十二届软件技术与理论计算机科学基础会议论文集。第12届软件技术和理论计算机科学基础会议论文集,印度新德里。第十二届软件技术与理论计算机科学基础会议论文集。第12届软件技术和理论计算机科学基础会议论文集,印度新德里,莱克特。笔记计算。科学,第652卷,(1992),斯普林格,328-341
[15] 乙酰乙酸,L.,一个地方,形式的静态视图。Asp。计算机,6,2201-222,(1994)·08069.6806
[16] Castellani,I.,带局部性的过程代数,(Bergstra,J。A、 。;庞塞,A。;斯莫尔卡,S。A、 《过程代数手册》(2001年),北荷兰,945-1045,第15章·Zbl 1062.68078
[17] 加拉维尔,H。;朗,F。;马特斯库,R。;Serwe,W.,CADP 2011:分布式过程的构造和分析工具箱,国际期刊。软。工具技术。Transf.,15,2,89-107,(2013年)
[18] Garavel,H.,《LOTOS程序的汇编与验证》(1989年11月),约瑟夫·富里叶大学(格勒诺布尔),博士学位论文集
[19] 加拉维尔,H。;Sifakis,J.,《LOTOS规范的编制和验证》(Logrippo,L。;普罗伯特,R。五十、 。;乌拉尔,H.,第10届IFIP协议规范、测试和验证国际研讨会论文集。第10届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网的进展-恶魔项目》。Petri网的进展-恶魔计划,莱克特。笔记计算。科学,第609卷,(1992),斯普林格),304-351
[24] 罗森伯格,G。;Engelfriet,J.,初等网络系统(Reisig,W。;Rozenberg,G.,Petri网讲座I:基本模型。Petri网讲座I:基本模型,Lect。笔记计算。科学,第1491卷,(1996),斯普林格,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。;莱希格,W。;罗森伯格,G.,Petri网高级课程论文集:中心模型及其性质,APN86,第一部分。Petri网高级课程论文集:中心模型及其性质,APN'86,第一部分,Bad Honnef,德国。Petri网高级课程论文集:中心模型及其性质,APN'86,第一部分。Petri网高级课程论文集:中心模型及其性质,APN'86,第一部分,Bad Honnef,德国,Lect。笔记计算。斯普林格,第167-254卷),1986年
[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。;范恩德博阿斯,P。;尼尔森,M.,《第26届自动机、语言和程序设计国际学术讨论会论文集》。第26届自动化、语言和程序设计国际学术讨论会论文集,ICALP'99,布拉格,捷克共和国。第26届自动机、语言和程序设计国际学术讨论会论文集。第26届自动机、语言和程序设计国际学术讨论会论文集,ICALP'99,布拉格,捷克共和国。笔记计算。科学,第1644卷,(1999年),斯普林格,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。;巴迪亚,R。M、 ,使用布尔操作的Petri网分析,(Valette,R.,第15届Petri网应用与理论国际会议论文集。第15届Petri网应用与理论国际会议论文集,1994年,西班牙萨拉戈萨。第15届Petri网应用与理论国际会议论文集。第15届Petri网应用与理论国际会议论文集,1994年,西班牙萨拉戈萨,Lect。笔记计算。科学,第815卷,(1994),斯普林格,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。;拉米格,F。J、 。;Musgrave,G.,欧洲设计、自动化和测试国际会议论文集。欧洲设计、自动化和测试国际会议论文集,1998年,法国巴黎,(1998年),IEEE计算机协会,790-795
[39] 牧师,E。;科尔塔德拉,J。;培尼亚,M。A、 《改进Petri网符号分析的结构方法》(Donatelli,S。;克莱恩,H。C、 第20届Petri网应用与理论国际会议论文集。第20届Petri网应用与理论国际会议论文集,ICATPN'99,威廉斯堡,弗吉尼亚州,美国。第20届Petri网应用与理论国际会议论文集,ICATPN'99,美国弗吉尼亚州威廉斯堡。笔记计算。科学,第1639卷,(1999),斯普林格,26-45
[40] 古德,R。;范熙,K。M、 。;邮政,R。D、 J。;范德沃夫,J。M、 E.M.,Petriweb:Petri网的存储库,(Donatelli,S。;蒂亚加拉詹,P。S、 ,第27届Petri网应用与理论及其他并发模型国际会议论文集。第27届国际Petri网和其他并发模型应用与理论会议论文集,2006年,芬兰图尔库。第27届Petri网及其他并发模型应用与理论国际会议论文集。第27届Petri网和其他并发模型的应用与理论国际会议论文集,2006年,芬兰图尔库,Lect。笔记计算。科学,第4024卷,(2006),斯普林格),411-420
[41] 埃斯帕扎,J。;迈耶,P。J、 ,一种基于SMT的公平终止分析方法(Kaivola,R。;Wahl,T.,第15届计算机辅助设计正式方法会议论文集。第15届计算机辅助设计正式方法会议论文集,FMCAD'15,美国德克萨斯州奥斯汀,(2015),IEEE),49-56
[42] Garavel,H.,《嵌套单元Petri网:提高基本网验证效率和可扩展性的结构方法》,(Devillers,R。R、 。;第36届国际维里网理论与应用会议论文集。第36届Petri网与并发应用与理论国际会议论文集,第15届Petri网,比利时布鲁塞尔。第36届Petri网与并发应用与理论国际会议论文集。第36届Petri网与并发应用与理论国际会议论文集,第15届Petri网,比利时布鲁塞尔,Lect。笔记计算。科学,第9115卷,(2015年),斯普林格,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
[第四十六条] 蒂埃里·米格。;波特劳德,D。;哈梅兹,A。;Kordon,F.,层次集决策图和正则模型,(Kowalewski,S。;Philippou,A.,《第15届系统构造与分析工具与算法国际会议论文集》。第15届系统构建与分析工具与算法国际会议论文集,TACAS'09,York,UK。第15届系统构造与分析工具与算法国际会议论文集。第15届系统构建与分析工具与算法国际会议论文集,塔卡斯09,英国约克,莱克特。笔记计算。科学,第5505卷,(2009),斯普林格),1-15·Zbl 1234.68267
[47] ISO/IEC,高级Petri网-第2部分:传输格式,国际标准15909-2:2011,国际标准化组织-信息技术-系统和软件工程,日内瓦,(2011)
[48] 斯特芬,B。;贾斯珀,M。;梅杰,J。;范德波尔,J.,《定制基准Petri网的性能保持生成》,《第17届系统设计并发应用国际会议论文集》。《第17届系统设计并发应用国际会议论文集》,ACSD'17,萨拉戈萨,西班牙,(2017),IEEE计算机协会),1-8
[49] 安帕罗尔,E。G、 。;贝克蒂,M。;Donatelli,S.,(随机)GreatSPN模型检验,(Ciardo,G。;Kindler,E.,第35届Petri网与并发应用与理论国际会议论文集。第35届Petri网与并发应用与理论国际会议论文集,Petri网14,突尼斯,突尼斯。第35届Petri网与并发应用与理论国际会议论文集。第35届Petri网与并发应用与理论国际会议论文集,Petri网第14届,突尼斯突尼斯,莱克特。笔记计算。科学,第8489卷,(2014),斯普林格,354-363·Zbl 06314354
[50] Thierry Mieg,Y.,使用工具进行符号模型检查(Baier,C。;Tinelli,C.,第21届系统构造与分析工具与算法国际会议论文集。第21届系统构建与分析工具与算法国际会议论文集,TACAS'15,伦敦,英国。第21届系统构造与分析工具与算法国际会议论文集。第21届系统构建与分析工具与算法国际会议论文集,TACAS'15,伦敦,英国,莱克特。笔记计算。科学,第9035卷,(2015),斯普林格),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,伦敦,英国,莱克特。笔记计算。科学,第9035卷,(2015),斯普林格,692-707
[53] Hamez,A.,Petri网的符号模型检查器:pnmc,(Petri网事务和其他并发模型,第11卷,(2016)),297-306
[54] 贝索米厄,B。;里贝特,邮政编码:。;Vernadat,F.,工具TINA-Petri网和时间Petri网抽象状态空间的构造,Int.J。《生产研究》,第42、14、2741-2756页,(2004年)·Zbl 1060.68695
[55] 加拉维尔,H。;朗,F。;Serwe,W.,从LOTOS到LNT,(Katoen,J.-P.)。;兰格拉克,R.,为埃德·布林克斯玛60岁生日献礼的文章。在埃德·布林克斯马60岁生日之际,为他写的文章,经过测试,值得信赖。笔记计算。科学,第10500卷,(2017年),斯普林格,3-26页
[56] 贾斯珀,M。;费克,M。;斯特芬。;肖丹,M。;梅杰,J。;范德波尔,J。;霍瓦尔,F。;西格尔,S。F、 ,RERS 2017挑战与研讨会(Erdogmus,H。;哈维伦德,K.,《第24届ACM-SIGSOFT国际软件模型检验研讨会论文集》。第24届ACM SIGSOFT国际SPIN软件模型检查研讨会论文集,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.,计算机辅助系统理论国际研讨会论文集。计算机辅助系统理论国际研讨会论文集,1989年欧洲广播公司,西班牙拉斯帕尔马斯。计算机辅助系统理论国际研讨会论文集。计算机辅助系统理论国际研讨会论文集,1989年欧洲广播公司,西班牙拉斯帕尔马斯,莱克特。笔记计算。科学,第410卷,(1989),斯普林格,111-124
[59] 休伯,P。;詹森,K。;夏皮罗,R。M、 《有色Petri网中的层次结构》(Rozenberg,G.,第10届Petri网应用与理论国际会议论文集)。第十届Petri网应用与理论国际会议论文集,APN'91,德国波恩。第十届Petri网应用与理论国际会议论文集。第十届Petri网应用与理论国际会议论文集,APN'91,德国波恩,Lect。笔记计算。科学,第483卷,(1989),斯普林格,313-341
[60] Fehling,R.,带构建块的层次Petri网的概念,(Rozenberg,G.,第12届Petri网应用与理论国际会议论文集)。第12届Petri网应用与理论国际会议论文集,APN'91,Gjern,丹麦。第十二届Petri网应用与理论国际会议论文集。第12届Petri网应用与理论国际会议论文集,APN'91,Gjern,丹麦,Lect。笔记计算。科学,第674卷,(1991),斯普林格,148-168
[61] 他,X。;Lee,J.,《构造谓词转换网络规范的方法》,软件。实践。实验,21,8845-875,(1991年)
[62] 他,X.层次谓词转换网的形式化定义,(Billington,J。;Reisig,W.,第17届Petri网应用与理论国际会议论文集。第17届Petri网应用与理论国际会议论文集,APN'96,日本大阪。第17届Petri网应用与理论国际会议论文集。第17届Petri网应用与理论国际会议论文集,APN'96,日本大阪,Lect。笔记计算。科学,第1091卷,(1996),斯普林格,212-229·Zbl 1418.68144
[63] 不,J。D、 。;纳特,G。J、 《用于表示并行系统的宏E网络》,IEEE Trans。计算机,C-22,8,718-727,(1973年)
[64] 不,J。D、 《建模与仿真中的网络》(布劳尔,W.,《网络理论与应用——过程与系统的一般网络理论高级课程论文集》。网络理论与应用-过程与系统的一般网络理论高级课程论文集,德国汉堡。网络理论与应用-过程与系统一般网络理论高级课程论文集。网络理论与应用-过程与系统一般网络理论高级课程论文集,德国汉堡,莱克特。笔记计算。科学,第84卷,(1980),斯普林格,347-368
〔65〕 彼得森,J。五十、 Petri网,ACM计算机。第9、3、223-252页(1977年)·Zbl 0357.68067
[66] Valette,R.,《逐步细化法分析Petri网》,J。计算机。系统。科学,18,1,35-46,(1979)·Zbl 0401.68038
[67] 科托夫。E、 ,基于Petri网的并行代数,(Winkowski,J.,第七届计算机科学数学基础研讨会论文集)。第七届计算机科学数学基础研讨会论文集,MFCS'78,Zakopane,波兰。第七届计算机科学数学基础研讨会论文集。第七届计算机科学数学基础研讨会论文集,MFCS'78,Zakopane,波兰,莱克特。笔记计算。科学,第64卷,(1978),斯普林格,39-55·Zbl 0383.68029
[68] 科托夫。E、 。;Cherkasova,L.,关于广义过程的结构性质,(Rozenberg,G。;根里希,H。J、 。;Roucairol,G.,1983年和1984年欧洲Petri网应用和理论研讨会论文集。1983年和1984年欧洲Petri网应用与理论研讨会论文集,APN84,法国图卢兹和丹麦奥胡斯。1983年和1984年欧洲Petri网应用与理论研讨会论文集。1983年和1984年欧洲Petri网应用与理论研讨会论文集,APN84,法国图卢兹和丹麦奥胡斯。笔记计算。斯普林格出版社,1984年,第288卷),第288卷
〔69〕 铃木,I。;Murata,T.,《过渡和场所的逐步改进》,(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。计算机。系统。科学,27,1,51-76,(1983年)·Zbl 0515.68051
[71] 洛马佐娃州。A、 《嵌套Petri网-多智能体分布式系统规范与验证的形式化》,Fundam。通知,43,1-4,195-214,(2000年)·Zbl 0965.68062
[72] 洛马佐娃州。A、 《嵌套Petri网:多层递归系统》,Fundam。通知,47,3-4,283-293,(2001年)·Zbl 1052.68091
[73] 瓦尔克,R.,作为令牌对象的Petri网:基本对象网导论,(Desel,J。;席尔瓦,M.,《第19届Petri网应用与理论国际会议论文集》。第19届Petri网应用与理论国际会议论文集,1998年,葡萄牙里斯本。第19届Petri网应用与理论国际会议论文集。第19届Petri网应用与理论国际会议论文集,1998年,葡萄牙里斯本,Lect。笔记计算。科学,卷1420,(1998),斯普林格),1-25
[74] 《对象Petri网:在网范式中使用网》(Desel,J。;莱希格,W。;Rozenberg,G.,关于并发和Petri网的讲座,来自第四期Petri网高级课程。关于并发和Petri网的讲座,来自第四期Petri网高级课程,ACPN'03,Eichstätt,德国。关于并发和Petri网的讲座,来自第四期Petri网高级课程。并发和Petri网讲座,来自第四期Petri网高级课程,ACPN'03,Eichstätt,德国,Lect。笔记计算。科学,第3098卷,(2003),斯普林格,819-848·邮编:1088.68135
[75] 库默,O。;维恩伯格,F。;杜维尼奥,M。;舒马赫,J。;克勒,M。;莫尔特,D。;Rölke,H。;Valk,R.,Petri网的可扩展编辑器和模拟引擎:更新,(Cortadela,J。;Reisig,W.,2004年第25届Petri网应用与理论国际会议论文集,2004年第25届Petri网应用与理论国际会议论文集,2004年,意大利博洛尼亚。2004年第25届Petri网应用与理论国际会议论文集。2004年第25届Petri网应用与理论国际会议论文集,2004年,意大利博洛尼亚,Lect。笔记计算。科学,第3099卷,(2004),斯普林格,484-493·Zbl 1094.68589
[76] Karjoth,G.,《通过通信状态机实现LOTOS规范》,《第三届并发理论国际会议论文集》。第三届并发理论国际会议论文集,CONCUR'92,Stony Brook,NY,USA。第三届并发理论国际会议论文集。第三届并发理论国际会议论文集,CONCUR'92,美国纽约州Stony Brook,Lect。笔记计算。科学,第630卷,(1992),斯普林格,386-400
[77] 卡尔乔特,G。;约束,C。;Gustafsson,J.,LOEWE:一个LOTOS工程工作台,计算机。网络。ISDN系统,25,7853-874,(1993年)
[78] 德辛迪奥,F。;米其利斯,G。;波梅洛,L。;《米尔纳通讯系统与Petri网》(Pagnoni,A。;罗森伯格,G.,第三届欧洲Petri网应用与理论研讨会论文集。第三届欧洲Petri网应用与理论研讨会论文集,APN82,瓦伦纳,意大利。第三届欧洲Petri网应用与理论研讨会论文集。第三届欧洲Petri网应用与理论研讨会论文集,APN'82,Varenna,Italy,Informatik Fachberichte,第66卷,(1982),Springer),40-59·Zbl 0521.68059
[79] 戈尔茨,美国。;Mycroft,A.,《CCS与Petri网的关系》,(Paredaens,J.,《第11届自动机、语言和编程学术讨论会论文集》。第11届自动机、语言和程序设计学术讨论会论文集,ICALP'84,比利时安特卫普。第十一届自动机、语言与程序设计学术讨论会论文集。第11届自动机、语言和程序设计学术讨论会论文集,ICALP'84,比利时安特卫普,莱克特。笔记计算。科学,第172卷,(1984),斯普林格,196-208
[80] 《用有限Petri网表示CCS程序》(Chytil,M。;贾尼加,L。;第13届计算机科学基础研讨会。第十三届计算机科学数学基础研讨会论文集,MFCS'88,卡尔斯巴德,捷克斯洛伐克。第十三届计算机科学数学基础研讨会论文集。第十三届计算机科学数学基础研讨会论文集,MFCS'88,卡尔斯巴德,捷克斯洛伐克,莱克特。笔记计算。科学,第324卷,(1988),斯普林格,339-350·Zbl 0649.68015
[81] Goltz,U.,CCS和Petri网,(Guessarian,I.,并发过程系统的语义学——LITP Spring学校理论计算机科学论文集。并发过程系统的语义学-理论计算机科学上的LITP Spring学院论文集,拉罗什波赛,法国。并发过程系统的语义学-理论计算机科学理化学院论文集。并发过程系统的语义学-理论计算机科学理学理学学院论文集,法国拉罗什波赛,莱克特。笔记计算。科学,第469卷,(1990),斯普林格),334-357
[82] Nielsen,M.,CCS及其与网络理论的关系,(Brauer,W。;莱希格,W。;罗森伯格,G.,Petri网高级课程论文集:中心模型及其性质。Petri网高级课程论文集:中心模型及其性质,APN'86,第二部分,Bad Honnef,德国。Petri网高级课程论文集:中心模型及其性质。Petri网高级课程论文集:中心模型及其性质,APN'86,第二部分,德国Bad Honnef,Lect。笔记计算。科学,第255卷,(1986),斯普林格,393-415
[83] 弗朗西斯科,N。D、 。;蒙塔纳里,美国。;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 Spring学院论文集,拉罗什波赛,法国。并发过程系统的语义学-理论计算机科学理化学院论文集。并发过程系统的语义学-理论计算机科学理学理学学院论文集,法国拉罗什波赛,莱克特。笔记计算。科学,第469卷,(1990),斯普林格,96-141
[86] 布多尔,G。;Castellani,I.,分布式计算的流模型:CCS的三个等价语义,Inf.Comput.,114,2,247-314,(1994)·Zbl 0938.68715
[87] 戈里里,R。;Montanari,U.,CCS的分布式实现,(Rozenberg,G.,第12届Petri网应用和理论国际会议论文集)。第12届Petri网应用与理论国际会议论文集,APN'91,Gjern,丹麦。第十二届Petri网应用与理论国际会议论文集。第12届Petri网应用与理论国际会议论文集,APN'91,Gjern,丹麦,Lect。笔记计算。科学,第674卷,(1991),斯普林格,244-266
[88] 戈里里,R。;Montanari,U.,关于在网络计算中实现并发计算:两个案例研究,Theor。计算机。科学,141,1和2,195-252,(1995)·Zbl 0873.68144
[89] 戈尔茨,美国。;Reisig,W.,带有单个令牌的CSP程序,(Rozenberg,G。;根里希,H。J、 。;Roucairol,G.,1983年和1984年欧洲Petri网应用和理论研讨会论文集。1983年和1984年欧洲Petri网应用与理论研讨会论文集,APN84,法国图卢兹和丹麦奥胡斯。1983年和1984年欧洲Petri网应用与理论研讨会论文集。1983年和1984年欧洲Petri网应用与理论研讨会论文集,APN84,法国图卢兹和丹麦奥胡斯。笔记计算。科学,第188卷,(1984),斯普林格,169-196
[90] Olderog,E.-R.,CCSP的操作Petri网语义,(Rozenberg,G.,第七届欧洲Petri网应用与理论研讨会论文集》。第七届欧洲Petri网应用与理论研讨会论文集,APN'87,牛津,英国。第七届欧洲Petri网应用与理论研讨会论文集。第七届欧洲Petri网应用与理论研讨会论文集,APN'87,牛津,英国,Lect。笔记计算。科学,第266卷,(1986),斯普林格,196-223
[91] 《网络、术语和公式:并行过程及其关系的三种观点》(1991),剑桥大学出版社·Zbl 0741.68002
[92] 和有限Petri网表示。笔记计算。科学,第369卷,(1989),斯普林格·Zbl 0684.68011
[93] Taubner,D.,《用有限谓词/过渡网络表示CCS程序》,《信息学报》,27,6,533-565,(1990)·Zbl 0675.68035
[94] 霍尔,J。G、 。;霍普金斯,R。P、 。;博蒂,O。;de Cindio,F.,OCCAM2的Petri网语义,(1991),纽卡斯尔大学泰恩分校,计算实验室,可从
[95] 霍普金斯,R。P、 。;霍尔,J。G、 。;Botti,O.,程序语义的基本网代数及其在OCCAM中的应用(Rozenberg,G.,《Petri网的进展-恶魔项目》。Petri网的进展-恶魔计划,莱克特。笔记计算。科学,第609卷,(1992),斯普林格,179-214
[96] 切尔卡索娃,L。;科托夫。E、 《结构化网络》(Gruska,J。;Chytil,M.,第10届计算机科学数学基础研讨会论文集。第十届计算机科学数学基础研讨会论文集,MFCS'81,Strbske-Plso,捷克斯洛伐克。第十届计算机科学数学基础研讨会论文集。第十届计算机科学数学基础研讨会论文集,MFCS'81,Strbske-Plso,捷克斯洛伐克,莱克特。笔记计算。科学,第118卷,(1981),斯普林格,242-251·Zbl 0481.68057
[97] 切尔卡索娃,L。;科托夫。E、 《描述与分析过程代数》,(Rozenberg,G.,《第九届欧洲Petri网应用与理论研讨会论文集》。第九届欧洲Petri网应用与理论研讨会论文集,威尼斯,意大利。第九届欧洲Petri网应用与理论研讨会论文集。第九届欧洲Petri网应用与理论研讨会论文集,威尼斯,意大利,莱克特。笔记计算。科学,第424卷,(1988),斯普林格,77-104
[98] 切尔卡索娃,L。;科托夫。E、 ,并发非确定性过程的代数,理论。计算机。《科学》,第90卷,第151-170页,(1991年)·Zbl 0735.68027
[99] 加格,V。K、 。;拉古纳赫,M。T、 ,并发正则表达式及其与Petri网的关系,理论。计算机。《科学》,96,2285-304,(1992年)·Zbl 0745.68080
[100] 洛达亚,K。;《串并行偏序集:代数、自动机与语言》(莫尔文M。;梅内尔,C。;Krob,D.,第15届计算机科学理论研讨会论文集。第15届计算机科学理论研讨会论文集,STACS's98,巴黎,法国。第十五届计算机科学理论研讨会论文集。第15届计算机科学理论研讨会论文集,STACS's98,巴黎,法国,莱克特。笔记计算。科学,第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、 第八届亚洲计算科学会议论文集。第八届亚洲计算科学会议论文集编程语言和分布式计算,亚洲'03,孟买,印度。第八届亚洲计算科学会议论文集编程语言与分布式计算。第八届亚洲计算科学会议论文集编程语言和分布式计算,亚洲'03,孟买,印度,莱克特。笔记计算。科学,第2896卷,(2003),斯普林格,173-187·Zbl 1215.68156
[103] 贝斯特,E。;德维勒,德维勒。R、 。;霍尔,J。G、 ,盒微积分:一种新的具有多标签通信的因果代数(Rozenberg,G.,Petri网进展-恶魔计划)。Petri网的进展-恶魔计划,莱克特。笔记计算。科学,第609卷,(1992),斯普林格,21-69
[104] 贝斯特,E。;德维勒,R。R、 。;Esparza,J.,《Petri盒演算的一般精化与递归算子》,(Enjalbert,P。;芬克尔,A。;瓦格纳,K。W、 ,第十届计算机科学理论研讨会论文集。第十届计算机科学理论研讨会论文集,STACS's 93,德国维尔茨堡。第十届计算机科学理论研讨会论文集。第十届计算机科学理论研讨会论文集,STACS's 93,德国维尔茨堡,莱克特。笔记计算。科学,第665卷,(1993),斯普林格,130-140·中银0791.68122
[105] 库特尼,M。;埃斯帕扎,J。;贝斯特,E.,Petri盒演算的操作语义学(Jonsson,B。;Parrow,J.,第五届并发理论国际会议论文集。第五届并发理论国际会议论文集,CONCUR'94,乌普萨拉,瑞典。第五届并发理论国际会议论文集。第五届并发理论国际会议论文集,CONCUR'94,乌普萨拉,瑞典,莱克特。笔记计算。科学,第836卷,(1994),斯普林格,210-225
[106] 贝斯特,E。;德维勒,R。R、 。;Koutny,M.,《盒代数——网络和过程表达式的模型》,(Donatelli,S。;Kleijn,H.,第20届Petri网应用与理论国际会议论文集。第20届Petri网应用与理论国际会议论文集,ICATPN'99,威廉斯堡,弗吉尼亚州,美国。第20届Petri网应用与理论国际会议论文集,1999年,美国弗吉尼亚州威廉斯堡,美国莱克特。笔记计算。科学,第1639卷,(1999),斯普林格,344-363
[107号] 贝斯特,E。;德维勒,R。R、 。;库特尼,M.,盒代数=Petri网+过程表达式,基础计算,178,1,44-100,(2002)·Zbl 1012.68117号
[108] 贝斯特,E。;德维勒,R。R、 。;Koutny,M.,《网络和过程代数的统一模型》,(Bergstra,J。;庞塞,A。;Smolka,S.,《过程代数手册》(2001),Elsevier),873-944,第14章·Zbl 1006.68101
[109号] 贝斯特,E。;德维勒,R。R、 。;Koutny,M.,Petri网代数(理论计算机科学EATCS专著,(2001),Springer)
[110] 德维勒,R。R、 。;克劳德尔,H。;库特尼,M。;《非安全Petri盒代数》(Kirchner,H。;林格森,C.,《第九届代数方法与软件技术国际会议论文集》。第九届代数方法与软件技术国际会议论文集,AMAST'02,法国留尼汪岛圣吉勒斯贝恩斯。第九届代数方法与软件技术国际会议论文集。第九届代数方法与软件技术国际会议论文集,AMAST'02,法国留尼汪岛圣吉勒斯贝恩斯,莱克特。笔记计算。科学,卷2422,(2002),斯普林格,192-207·Zbl 1275.68104
[111] 德维勒,R。R、 。;克劳德尔,H。;库特尼,M。;Pommereau,F.,异步盒微积分,Fundam。通知,54,4,295-344,(2003年)·Zbl 1111.68536
[112] 德维勒,R。R、 ,精化Petri盒的S-不变量和S-分量的构造(Marsan,M。A、 ,第14届Petri网应用与理论国际会议论文集。第14届Petri网应用与理论国际会议论文集,APN'93,芝加哥,伊利诺伊州,美国。第14届Petri网应用与理论国际会议论文集,1993年,芝加哥,伊利诺伊州,美国莱克特。笔记计算。斯普林格,第242卷,第691卷,1993年
[113] 德维勒,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届并发理论国际会议论文集。第22届并发理论国际会议论文集,CONCUR'11,亚琛,德国,莱克特。笔记计算。科学,第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届并发理论国际会议论文集。第11届并发理论国际会议论文集,CONCUR'00,宾夕法尼亚大学公园,美国莱克特。笔记计算。科学,第1877卷,(2000),斯普林格,66-68·Zbl 0999.68559
[118] 贝尼迪克,M。;戈德弗里德,P。;重复,T。W、 ,无限制分层状态机的模型检验,(Orejas,F。;斯皮拉基斯,P。G、 。;van Leeuwen,J.,《第28届自动机、语言和程序设计国际学术讨论会论文集》。第28届自动化、语言和程序设计国际学术讨论会论文集,ICALP'01,克里特岛,希腊。第28届自动机、语言和程序设计国际学术讨论会论文集。第28届自动机、语言和程序设计国际学术讨论会论文集,ICALP'01,克里特,希腊,莱克特。笔记计算。科学,第2076卷,(2001),斯普林格,652-666·Zbl 0986.68506
[119] 铝,R。;麦克杜格尔,M。;Yang,Z.,利用行为层次结构进行有效的模型检查,(Brinksma,E。;拉森,K。G、 ,第14届计算机辅助验证国际会议论文集。第14届计算机辅助核查国际会议记录,CAV'02,哥本哈根,丹麦。第十四届计算机辅助验证国际会议论文集。第14届计算机辅助核查国际会议记录,CAV'02,哥本哈根,丹麦,莱克特。笔记计算。科学,第2404卷,(2002),斯普林格,338-342·Zbl 1010.68503
[120] Alur,R.,《层次状态机的形式分析》(Dershowitz,N.,《验证:理论与实践——佐哈尔·曼纳64岁生日之际献给他的论文集》。验证:理论与实践——在佐哈尔·曼纳64岁生日之际献给他的文章,莱克特。笔记计算。科学,第2772卷,(2003),斯普林格,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、 。;坎特,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年)·6807ZB63.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.,《分布式系统技术和工具支持的模块化状态级分析》,《第五届系统构造与分析工具与算法国际会议论文集》。第五届系统构造与分析工具与算法国际会议论文集,荷兰阿姆斯特丹,TACAS'99。第五届系统构造与分析工具与算法国际会议论文集。第五届系统构造与分析工具与算法国际会议论文集,荷兰阿姆斯特丹,塔卡斯'99。笔记计算。科学,第1579卷,(1999年),斯普林格,420-434
[127号] 布赫霍尔茨,P。;Kemper,P.,Petri网的层次可达图生成,形式。方法系统。Des.,21,3,281-315,(2002年)·Zbl 1020.68058
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。