佩特里网自从上世纪80年代引入中国以来，引起了不少中国学者的兴趣，并对这一建模工具进行了研究。多年的研...
2017.8
Petri网是一种模拟并发系统的数学模型，活性是Petri网的重要性质之一，与并发系统的无死锁性密切相关。本书...
2017.9
本书基于系统动态构建和模块化的特点，利用Petri网这一形式化和图形化分析工具，提出和设计了可重组制造系...
2017.5
本文面向系统综合，注重从Petri网语言角度讨论了Petri网精炼操作的动态行为和系统性质。首先定义了一类Petr...
2017.5