论文部分内容阅读
多线程程序可以更好地利用计算机资源，提高程序运行效率。但是由于多线程执行的不确定性，程序设计中的潜在错误不易被发现。作为系统建模和分析的工具，Petri网适合对具有同步、并发、冲突的离散事件系统进行建模和分析。文中探讨利用Petri网对Java多线程程序建模，并通过分析模型的结构性质和动态性质定位程序设计中的错误。通过对一个多线程程序实例的建模以及对模型的分析，定位了引发错误的原因，并给出了解决方案。从而说明Petri网在分析多线程程序和提高程序稳定性方面具有优越性。