鲍尔丹，P。;北布西。;科拉迪尼，A。;G.M.品娜。 具有读弧和抑制弧的Petri网的域和事件结构语义。 （英语） Zbl 1078.68103号 西奥。计算。科学。 323，编号1-3，129-189（2004）. 摘要：我们提出了用读弧和抑制弧扩展的Petri网的功能并发语义，我们称之为抑制网。沿着温斯克尔关于安全（普通）网的开创性工作，通过从半加权抑制网的SW-IN类到有限素数代数域的Dom类（相当于素数事件结构的PES类）的共反射链，在范畴层次上给出了真正的并发语义。作为一个中间语义模型，我们引入了抑制器事件结构，这是一个基于事件的模型，能够如实地捕获出现读弧和抑制器弧时出现的事件之间的依赖关系。抑制事件结构概括了文献中的几种事件结构模型，如素数、不对称和捆绑事件结构。 引用于22文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：Petri网;读取和抑制弧;真正的并发;展开;范畴语义;事件结构;域 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人，Theor。计算。科学。323，编号1--3，129--189（2004；Zbl 1078.68103） 全文： DOI程序 参考文献： [1] T.Agerwala，《表示异步过程协调的完整模型》，霍普金斯计算机研究报告32，约翰·霍普金斯大学，1974年。；T.Agerwala，《表示异步过程协调的完整模型》，《霍普金斯计算机研究报告32》，约翰·霍普金斯大学，1974年。 [2] 阿格瓦拉，T。；Flynn，M.，关于Petri网的能力、局限性和“正确性”的评论，Comput。阿基特。新闻，4，2，81-86（1973） [3] Ajmone Marsan，M。；Balbo，G。；孔戴，G。；多纳泰利，S。；Franceschinis，G.，《用广义随机Petri网建模》（1995），威利出版社：威利纽约·Zbl 0843.68080号 [4] P.Baldan，《并发计算建模：从上下文Petri网到图文法》，比萨大学计算机科学系博士论文，2000年。技术报告编号TD-1/00。；P.Baldan，《并发计算建模：从上下文Petri网到图文法》，比萨大学计算机科学系博士论文，2000年。可参见编号为TD-1/00的技术报告。 [5] P.Baldan，N.Busi，A.Corradini，G.M.Pinna，带读弧和抑制弧的Petri网的函数并发语义，收录于：C.Palamidessi（编辑），CONCUR’00会议记录，计算机科学讲稿，第1877卷，柏林斯普林格，2000年，第442-457页。；P.Baldan，N.Busi，A.Corradini，G.M.Pinna，《带读弧和抑制弧的Petri网的函数并发语义》，载于：C.Palamidessi（Ed.），CONCUR’00会议记录，计算机科学讲义，第1877卷，柏林斯普林格出版社，2000年，第442-457页·兹比尔0999.68150 [6] 巴尔丹，P。；Corradini，A。；Montanari，U.，上下文Petri网，非对称事件结构和过程，Inform。和计算。，171, 1, 1-49 (2001) ·Zbl 1005.68103号 [7] G.Boudol，流事件结构和流网络，收录于：并发过程系统的语义，计算机科学讲义，第469卷，柏林斯普林格，第62-95页。；G.Boudol，流事件结构和流网络，收录于：并发过程系统的语义，计算机科学讲义，第469卷，柏林斯普林格，第62-95页。 [8] 布埃诺，F。；Hermenegildo，M。；蒙塔纳里，美国。；Rossi，F.，原子和本地原子CC程序的部分顺序和上下文网络语义，Sci。计算。编程，30，51-82（1998）·Zbl 0891.68057号 [9] N.Busi，《带抑制剂和读弧的Petri网：语义、分析和在处理计算中的应用》，锡耶纳大学计算机科学系博士论文，1998年。；N.Busi，《带抑制剂和读弧的Petri网：语义、分析和处理计算的应用》，锡耶纳大学计算机科学系博士论文，1998年。 [10] N.Busi，R.Gorrieri，（π）的petri网语义；N.Busi，R.Gorrieri，《（π）的petri网语义》 [11] 北布西。；Gorrieri，R。；Zavattaro，G.，《关于Linda协调原语的表现力》，Inform。和计算。，156, 90-121 (2000) ·Zbl 1046.68616号 [12] 北布西。；Pinna，G.M.，《带抑制器和读取弧的位置/转换网络的过程语义》，Fundam。通知。，40, 2-3, 165-197 (1999) ·Zbl 0942.68070号 [13] Christensen，S。；Hansen，N.D.，扩展了位置容量、测试弧和抑制弧的彩色Petri网，（Ajmone Marsan，M.，Petri网的应用和理论。Petri网的应用和理论，计算机科学讲义，第691卷（1993），施普林格：施普林格-柏林），186-205 [14] N.De Francesco，U.Montanari，G.Ristori，《通过petri网对共享数据进行并发访问建模》，收录于：编程概念、方法和计算，IFIP事务A-56，荷兰北部，阿姆斯特丹，1994年，第403-422页。；N.De Francesco，U.Montanari，G.Ristori，《通过petri网对共享数据进行并发访问建模》，收录于：编程概念、方法和计算，IFIP事务A-56，荷兰北部，阿姆斯特丹，1994年，第403-422页。 [15] Esparza，J.，使用网络展开进行模型检查，科学。计算。编程，23，2-3，151-195（1994）·Zbl 0834.68087号 [16] J.A.Goguen，J.Meseguer，《安全政策和安全模型》，摘自：Proc。1982年IEEE交响乐。《安全与隐私》，IEEE计算机学会，马里兰州银泉出版社，1982年，第11-20页。；J.A.Goguen，J.Meseguer，《安全政策和安全模型》，摘自：Proc。1982年IEEE交响乐。关于安全和隐私，IEEE计算机协会，马里兰州银泉，1982年，第11-20页。 [17] Gunawardena，J.，《几何逻辑、因果关系和事件结构》，（Baeten，J.C.M.；Groote，J.F.，Proc.CONCUR’91）。程序。CONCUR'91，《计算机科学讲义》，第527卷（1991年），施普林格：施普林格柏林），266-280 [18] V.Gupta，Chu spaces:a model for concurrency，斯坦福大学计算机科学系博士论文，1994年8月。；V.Gupta，Chu spaces:a model for concurrency，斯坦福大学计算机科学系博士论文，1994年8月。 [19] M.Hack，Petri网语言，技术报告159，麻省理工学院，马萨诸塞州剑桥，1976年。；M.Hack，Petri网语言，技术报告159，麻省理工学院，马萨诸塞州剑桥，1976年。 [20] 胡格斯，P.W。；Kleijn，H.C.M。；Thiagarajan，P.S.，通用Petri网的事件结构语义，理论。计算。科学。，153, 1-2, 129-170 (1996) ·Zbl 0872.68126号 [21] Janicki，R。；Koutny，M.，《抑制剂网络的语义》，Inform。和计算。，123, 1-16 (1995) ·Zbl 1096.68678号 [22] J.Kleijn，M.Koutny，带抑制器弧的P/T网的过程语义，载于：M.Nielsen，D.Simpson（编辑），ICATPN 2000，计算机科学讲义，第1825卷，2000年，第261-281页。；J.Kleijn，M.Koutny，《带抑制器弧的P/T网的过程语义》，载于：M.Nielsen，D.Simpson（编辑），ICATPN 2000，《计算机科学讲义》，第1825卷，2000年，第261-281页·Zbl 0986.68088号 [23] Kleijn，J。；Koutny，M.，《带加权约束弧的petri网的因果语义》，（Brim，L.；Jancar，P.；Kretñnskí，M.；Kucera，A.，CONCUR 2002。CONCUR 2002，计算机科学讲稿，第2421卷（2002），施普林格：施普林格柏林），531-546·Zbl 1012.68125号 [24] R.Langerak，《捆绑事件结构：乐透的非干涉语义》，载于《第五国际》。形式描述技术会议（FORTE’92），荷兰北部，阿姆斯特丹，1992年，第331-346页。；R.Langerak，《捆绑事件结构：乐透的非干涉语义》，载于《第五国际》。形式描述技术会议（FORTE’92），荷兰北部，阿姆斯特丹，1992年，第331-346页。 [25] R.Langerak，LOTOS的转换和语义，特温特大学计算机科学系博士论文，1992年。；R.Langerak，LOTOS的转换和语义，特文特大学计算机科学系博士论文，1992年·Zbl 0769.68083号 [26] McMillan，K.L.，符号模型检查（1993），Kluwer:Kluwer Dordrecht·Zbl 1132.68474号 [27] J.Meseguer，U.Montanari，V.Sassone，《关于petri网的语义》，摘自：Proc。CONCUR’92，《计算机科学讲义》，第630卷，施普林格，柏林，1992年，第286-301页。；J.Meseguer，U.Montanari，V.Sassone，《关于petri网的语义》，摘自：Proc。CONCUR’92，《计算机科学讲义》，第630卷，施普林格，柏林，1992年，第286-301页·Zbl 0876.68072号 [28] 梅塞盖尔，J。；蒙塔纳里，美国。；Sassone，V.，《位置/转换petri网的过程与展开语义》，Theoret。计算。科学。，153, 1-2, 171-210 (1996) ·Zbl 0872.68130号 [29] 蒙塔纳里，美国。；Rossi，F.，上下文发生网和并发约束编程，（Schneider，H.-J.；Ehrig，H.，Proc.Dagstuhl Seminar 9301 on Graph Transformations in Computer Science，Proc.Dagstuhl 9301 on Graph Transformation on Computer科学中的图形转换研讨会，计算机科学讲义，第776卷（1994），Springer:Springer Berlin）·兹比尔1494.68183 [30] 蒙塔纳里，美国。；罗西，F.，《情境网》，《信息学报》。，32, 6, 545-596 (1995) ·Zbl 0835.68084号 [31] 尼尔森，M。；普洛特金，G。；Winskel，G.，Petri网，事件结构和域，第1部分，理论。计算。科学。，13, 85-108 (1981) ·Zbl 0452.68067号 [32] Peterson，J.L.，《Petri网理论和系统建模》（1981年），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0461.68059号 [33] C.A.Petri，Kommunikation mit Automaten，博士论文，Schriften des Institutes für Instrumentelle Matematik，波恩，1962年。；C.A.Petri，Kommunikation mit Automaten，博士论文，Schriften des Institutes für Instrumentelle Matematik，波恩，1962年。 [34] G.M.Pinna，A.Poigné，《关于事件的性质》，摘自：Proc。MFCS’92，计算机科学讲义，第629卷，施普林格，柏林，1992年，第430-441页。；G.M.Pinna，A.Poigné，《关于事件的性质》，摘自：Proc。MFCS’92，计算机科学讲义，第629卷，施普林格，柏林，1992年，第430-441页·Zbl 1493.68253号 [35] Pinna，G.M。；Poigné，A.，《关于事件的本质和并发中的其他观点》，Theoret。计算。科学。，138, 2, 425-454 (1995) ·Zbl 0874.68111号 [36] W.Reisig，《Petri网：导论》，EACTS理论计算机科学专著，施普林格，柏林，1985年。；W.Reisig，《Petri Nets:导论》，EACTS理论计算机科学专著，柏林斯普林格，1985年·Zbl 0555.68033号 [37] G.Ristori，《通过petri网对共享资源的系统建模》，比萨大学计算机科学系博士论文，1994年。；G.Ristori，《通过petri网对共享资源的系统建模》，比萨大学计算机科学系博士论文，1994年。 [38] 范·格拉贝克，R.J。；Plotkin，G.D.，《配置结构》，（Kozen，D.，Proc.10 Annual，IEEE Symp.on Logic in Computer Science（1995年6月），IEEE Computer Society Press:IEEE Compute Socility Press Silver Spring，MD），199-209·Zbl 1187.68329号 [39] W.Vogler，《Petri网中异步系统和读取弧的效率》，摘自：Proc。ICALP’97，《计算机科学讲义》，第1256卷，施普林格，柏林，1997年，第538-548页。；W.Vogler，《Petri网中异步系统和读取弧的效率》，摘自：Proc。ICALP’97，《计算机科学讲义》，第1256卷，施普林格，柏林，1997年，第538-548页·Zbl 1401.68235号 [40] W.Vogler，A.Semenov，A.Yakovlev，带读弧网络的展开和有限前缀，见：Proc。CONCUR’98，《计算机科学讲义》，第1466卷，柏林斯普林格出版社，1998年，第501-516页。；W.Vogler，A.Semenov，A.Yakovlev，带读弧网络的展开和有限前缀，见：Proc。CONCUR’98，《计算机科学讲义》，第1466卷，柏林斯普林格出版社，1998年，第501-516页·Zbl 0940.68096号 [41] G.Winskel，事件结构，载于：Petri网：对其他并发模型的应用和关系，计算机科学讲义，第255卷，施普林格，柏林，1987年，第325-392页。；G.Winskel，事件结构，摘自：Petri网：与其他并发模型的应用和关系，《计算机科学讲义》，第255卷，施普林格，柏林，1987年，第325-392页·Zbl 0626.68022号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。