×
查尔斯·拉科斯

对象Petri网定义中名称和多态性的一致使用。 （英语） Zbl 1418.68151号

Billington，Jonathan（编辑）等人，《Petri网的应用和理论》，1996年。第17届国际会议，日本大阪，1996年6月24日至28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1091380-399（1996年）。
摘要：本文试图给出一个比以前更优雅、更通用的对象Petri网定义。它更通用，因为它支持过渡融合以及位置融合。它更优雅，因为它在单个绑定概念下捕获了位置替换、转换替换、位置融合和转换融合的所有概念。这是通过在形式主义中明确支持名称来实现的，符合\（\pi\）-演算，该演算认识到名称是普遍存在的，并且应该明确包含在形式主义之中，以便建模对象的移动性。本文中的定义在多态性的使用上也更加一致，体现了状态和状态变化之间更明显的二重性。对象Petri网表示将面向对象的概念完全集成到Petri网中。它们具有一个单一的类层次结构，其中包括令牌类型和子网类型，并随时支持对具有多个活动级别的系统进行建模。子网之间的交互可以是同步的，也可以是异步的，这取决于子网是定义为超级位置还是超级转换。虽然本文没有介绍，但对象Petri网可以转换为行为等效的彩色Petri网，从而为采用现有分析技术提供了基础。
关于整个系列，请参见[Zbl 1076.68502号].

引用于1文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

高级Petri网理论;面向对象;多层次抽象

软件：

LOOPN（回路）++;艾菲尔;设计/CPN;SYROCO公司
PDF格式BibTeX公司 XML格式引用
\textit{C.Lakos}，莱克特。注释计算。科学。1091、380-399（1996年；Zbl 1418.68151）
全文： 内政部

参考文献：

[1] G.Agha、S.Frölund、W.Y.Kim、R.Panwar、A.Patterson和D.Sturman《面向对象并发编程中并发计算的抽象和模块化机制研究方向》，G.Agga、P、Wegner和A.Yonezawa（编辑），第3-21页，麻省理工学院出版社（1993）。
[2] G.A.Agha Actors:分布式系统中并发计算的模型麻省理工学院出版的人工智能系列丛书，麻省理学院出版社（1986年）。
[3] E.Battiston、A.Chizzoni和F.D.Cindio在CLOWN面向对象编程和并发模型研讨会论文集中的继承和并发，意大利都灵（1995）·Zbl 0976.68542号
[4] E.Battiston和F.de Cindio模块代数网中的类定向和继承IEEE系统、人和控制论国际会议论文集2，第717-723页，法国勒图奎特，IEEE（1993）。
[5] E.Battiston、F.de Cindio和G.Mauri OBJSA Nets:一类具有对象作为域的高级网络在Petri Nets中的进展1988，G.Rozenberg（编辑），《计算机科学340讲义》，第20-43页，Springer-Verlag（1988）·Zbl 0668.68068号
[6] M.Bever、K.Geihs、L.Heuser、M.Mühlhäuser和A.Schill Distributed Systems、OSF DCE和Beyond国际DCE研讨会论文集：DCE-OSF分布式计算环境：客户机/服务器模型及其以外，计算机科学731讲稿，德国卡尔斯鲁厄，Springer-Verlag（1993）·Zbl 0825.00108号
[7] O.Biberstein和D.Buchs结构化代数网与面向对象编程与并发模型研讨会论文集，意大利都灵（1995）。
[8] D.Buchs和N.Guelfi CO-OPN:并发面向对象Petri网方法第12届Petri网应用和理论国际会议论文集，丹麦Gjern（1991）。
[9] D.Buchs和N，Guelfi使用面向对象规范形式主义的开放分布式编程，《第五届信息系统设计方法和工具实用化国际会议CO-OPN论文集》，南特（1992）。
[10] S.Christensen和N.D.Hansen用同步通信信道扩展的着色Petri网第15届Petri网应用与理论国际会议论文集，《计算机科学讲义》815，第159-178页，萨拉戈萨，施普林格出版社（1994）。
[11] P.A.《鱼类计算机模拟：通过建模和模拟扩展过程的增长》（欧洲模拟多会议），第3-20页，巴塞罗那，计算机模拟学会（1994年）。
[12] S.Haddad彩色网简化理论。《Petri网的进展》1989，G.Rozenberg（编辑），《计算机科学讲义》424，第209-235页，Springer-Verlag（1990）。
[13] K.Jensen有色Petri网：基本概念、分析方法和实际应用——第1卷：基本概念EATCS计算机科学专著，第26卷，Springer-Verlag（1992）·Zbl 0762.68004号
[14] K.Jensen、S.Christensen、P.Huber和M.Holla Design/CPN™：元软件公司参考手册（1992）。
[15] C.Lakos和S.Christensen《有色Petri网弧延拓的一般系统方法》，第15届Petri网应用和理论国际会议论文集，计算机科学讲义815，第338-357页，萨拉戈萨，斯普林格-Verlag（1994）。
[16] C.Lakos和C.Keen LOOPN++：面向对象Petri网的新语言建模与仿真程序（欧洲仿真多会议），第369-374页，巴塞罗那，计算机仿真学会（1994）。
[17] C.A.Lakos对象Petri网-定义和与彩色网的关系技术报告TR94-3，塔斯马尼亚大学计算机科学系（1994）。
[18] C.A.Lakos《一致使用名称和多态性实现对象Petri网的优雅定义》，《R95-12技术报告》，塔斯马尼亚大学计算机科学系（1995年）。
[19] C.A.Lakos从彩色Petri网到对象Petri网——第16届Petri网应用和理论国际会议论文集，计算机科学935讲稿，第278-297页，意大利都灵，斯普林格-Verlag（1995）·Zbl 1496.68232号
[20] C.A.Lakos《对象Petri网的语用继承问题》，《TOOLS Pacific 1995》，澳大利亚墨尔本，Prentice-Hall（1995）。
[21] B.Meyer面向对象软件构建Prentice Hall（1988）。
[22] B.梅耶·埃菲尔：语言学院（1992）·Zbl 0779.68013号
[23] R.Milner《ACM的交互通信要素》，36，1，第78-89页（1993年）。
[24] R.Milner、J.Parrow和D.Walker，《流动过程的微积分》，《信息与计算》，第100卷，第1期，第1-40页（1992年）·Zbl 0752.68036号
[25] C.A.Petri“被遗忘”的Petri网理论发展主题1986年计算机科学讲稿，Springer-Verlag（1986）。
[26] W.Reisig Petri网：介绍EATCS理论计算机科学专著，第4卷，Springer-Verlag（1985）·Zbl 0555.68033号
[27] C.Sibertin-Blanc用于Petri网组成的客户端-服务器协议第14届Petri网应用和理论国际会议论文集，计算机科学讲稿691，第377-396页，芝加哥，斯普林格-弗拉格（1993）。
[28] C.Sibertin-Blanc Cooperative Nets《第十五届Petri网应用和理论国际会议论文集》，计算机科学讲义815，第471-490页，西班牙萨拉戈萨，斯普林格·弗拉格（1994）。
[29] C.Sibertin-Blanc、N.Hameurlain和P.Touzeau SYROCO:面向对象编程和并发模型研讨会的协作对象C++实现，意大利都灵（1995）。
[30] P.A.Swatman、P.M.C.Swatman和R.Duke电子数据交换：第六届澳大利亚软件工程会议Object-Z会议记录中的高级形式规范，第341-354页，澳大利亚悉尼，Springer-Verlag（1991）。
[31] R.Valk通过任务/流EN系统建模并发性第三届并发性和组成性研讨会，1991年，E.Best等人（编辑），GMD-Studien 191，第207-215页（1991年）。
[32] R.Valk Petri网作为动态对象——面向对象编程和并发模型研讨会论文集，意大利都灵（1995）。
[33] P.Wegner面向对象语言设计的维度OOPSLA 87，pp 168-182，佛罗里达州奥兰多，ACM（1987）。
[34] P.Wegner Inheritance as a Incremental Modification Mechanism，or What Like Is and Isn Is Not Like the Proceedings of ECOOP’88-European Conference on Object-Oriented Programming，《计算机科学讲义》322，pp 55-77，挪威奥斯陆，斯普林格出版社（1988）。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。