Thanh，Cécile Bui先生;汉娜·克劳代尔 使用高级模块化Petri网进行面向对象建模。 （英语） Zbl 1196.68041号 Boiten，Eerke A.（编辑）等，《综合形式方法》。2004年4月4日至7日在英国坎特伯雷举行的第四届国际会议，IFM 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21377-5/pbk）。计算机科学课堂讲稿2999287-306（2004）。 摘要：在本文中，我们讨论了用Petri网表达面向对象概念的问题。这很有趣，首先，可以用Petri网表示以面向对象形式或语言编写的并发系统规范，其次，可以使用现有的可达性分析工具自动验证获得的Petri网。我们从一种具有模块化Petri网语义的现有并行规范语言开始，并使用受Java和C++启发的面向对象特性对其进行扩展。使用一类模块化着色Petri网给出了这些新扩展到Petri网域的转换，尤其包括继承和动态绑定的处理。关键词。面向对象，有色Petri网，语义。关于整个系列，请参见[Zbl 1048.68002号]. 引用于2文件 MSC公司： 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：M网络;玛丽亚 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Thanh}和\textit{H.Klaudel}，莱克特。注释计算。科学。2999287--306（2004年；Zbl 1196.68041） 全文： 内政部