对象 Petri 网模型的并发软件仿真技术的研究

并发软件的性能评价是提高软件开发质量的重要手段之一．本文重点讨论了将面向对象与Ｐｅｔｒｉ网相结合的思想用于并发软件开发中的系统建模，以及基于对象Ｐｅｔｒｉ网（ＯＰＮ）的并发软件系统的仿真技术，同时，也探讨了实现一个基于ＯＰＮ的动态仿真工具所面临的关键技术和解决方法．实践结果表明，文中讨论的实现机制与处理方法是有效和可行的．