The Semantic and Behavioral Analysis of an Object-Oriented Petri Nets Model

• 一种面向对象Petri网模型的语义和行为分析