等级/CPN

Grade/CPN:教学中测试有色Petri网模型的工具和时序逻辑。手工对几十个Petri网模型进行分级是一项乏味且容易出错的任务。在本文中,我们提出了Grade/CPN,一个支持用CPN工具建模的有色Petri网分级的工具。该工具是可扩展的,可配置的,可以检查静态和动态属性。它自动处理繁琐的任务,如检查是否遵循了良好的建模实践,并支持难以自动化的任务,例如检查模型的易读性。我们提出并支持Britney时序逻辑,可以用来指导模拟器和检查时序特性。我们提供了在一个有100名学员参加的课程中使用该工具的经验。