克里斯托夫·迈尔;丹尼尔·莫尔特 对象着色Petri网-面向对象建模的形式化技术。 （英语） Zbl 0976.68562号 Agha，Gul A.（编辑）等，并发面向对象编程和Petri网。Petri网的进展。柏林：斯普林格。莱克特。注释计算。科学。2001, 406-427 (2001). 对象着色Petri网（OCP-Nets）是着色Petri网络（CPN）的扩展。OCP-Nets非常适合对系统的动态方面进行建模。它们取代了目前用于面向对象建模的大多数技术，如交互图。这将在一个正式化非正式用例描述的示例中显示。OCP-Nets的形式语义、图形表示、并发建模方法和可执行性导致了一种改进的面向对象建模方法。关于整个系列，请参见[Zbl 0976.68544号]. MSC公司： 68单位99 计算方法和应用 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{C.Maier}和\textit{D.Moldt}，莱克特。注释计算。科学。2001年，406--427（2001年；Zbl 0976.68562） 全文： 链接