Object-Oriented Petri Net Based Method for the Concurrent Program Modeling

• 一种基于面向对象Petri网的并发程序建模方法