查尔斯·拉科斯 面向对象对并发系统分析的挑战。 （英语） Zbl 1047.68608号 Esparza，Javier（编辑）等人，《Petri网的应用和理论》，2002年。第23届国际会议，ICATPN 2002，澳大利亚阿德莱德，2002年6月24-30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43787-8）。莱克特。注释计算。科学。2360, 59-67 (2002). 摘要：有许多建议将面向对象的功能集成到Petri网形式中。这些建议已经证明了建模、仿真和代码生成的好处。然而，关于分析，特别是状态空间方法的使用，人们几乎没有说什么，这在Petri网的研究和应用中非常突出。本演讲将考虑面向对象功能对状态空间分析的影响。关于整个系列，请参见[Zbl 0992.00053号]. 理学硕士： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 68N99型 软件理论 软件：电子技师++;dSPIN公司 PDF格式BibTeX公司 XML格式引用 \textit{C.Lakos}，莱克特。注释计算。科学。2360、59-67（2002年；Zbl 1047.68608） 全文： 链接