巴罗斯，圣保罗;路易斯·戈麦斯 关于使用有色Petri网进行面向对象设计。 （英语） Zbl 1094.68579号 Cortadella，Jordi（编辑）等人，《Petri网的应用和理论》，2004年。2004年6月21日至25日，第25届国际会议，意大利博洛尼亚ICATPN 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22236-7/pbk）。计算机科学课堂讲稿3099，117-136（2004）。 概要：面向对象设计中的行为规范明显受益于正式或半正式可视化规范语言的使用。统一建模语言规范（Unified Modelling Language specification）以及几个基于对象的Petri网类采用基于状态图的表示法证明了这一点。本文定义了一类高级网，称为可组合彩色Petri网，允许在面向对象设计中使用彩色Petri网络，即用于描述对象之间的同步和异步通信，以及三种最常见的抽象：泛化、分类和组合。本文从彩色Petri网出发，展示了如何基于节点融合和最小侵入语法添加来建模这些抽象。节点融合有两种形式：一种用于建模消息传递，抽象对象之间的交互，另一种用于模型化概括和组合，抽象系统静态结构。关于整个系列，请参见[Zbl 1052.68002号]. MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：GreatSPN 1.7;GreatSPN公司;SYROCO公司 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Barros}和\textit{L.Gomes}，莱克特。注释计算。科学。3099、117--136（2004年；Zbl 1094.68579） 全文： 内政部