基于Petri网的并发系统控制器设计

针对并发系统的死锁现象，通过原系统Petri网模型的状态可达图和行为规范，产生目标系统的可达图，进一步生成控制器的Petri网模型。同此为这类问题的控制器Petri网模型的生成提供一条有效途径。     

Petri网动态运行可视化研究

讨论了可视化开发方法在开发Pmtri网工具中的应用，描述了Petri网的视化运行的表现形式，介绍了Petri可视化运行的设计方法。