论文部分内容阅读
为了解决复杂的Petri网并行化及模拟执行问题，提出将颜色等高级Petri网转化成库所/变迁网(Place/Transition Net)的并行化预处理方法，以便能够对P/T网实现并行化。根据颜色高级Petri网与P/T网系统的特点及其内在联系，从结构模型、代数模型对颜色Petri网转化为P/T网的预处理方法进行研究，并通过实例和编程对预处理方法的正确性和有效性进行验证。实验结果表明，提出的高级Petri网并行化预处理方法是可行而有效的。