以集成管理理论为基础，工作流技术为手段，理论研究与建模仿真技术相结合，基于Petri网建模工具，对工程项...
2018.11
佩特里网自从上世纪80年代引入中国以来，引起了不少中国学者的兴趣，并对这一建模工具进行了研究。多年的研...
2017.8
本书主要介绍Petri网的元展这一用于并发系统模型检测的方法，利用元展检测并发系统健壮性、兼容性与死锁，...
2020.9
Petri网是一种模拟并发系统的数学模型，活性是Petri网的重要性质之一，与并发系统的无死锁性密切相关。本书...
2020.4
本书系统介绍了直觉模糊集Petri网理论及其在智能信息系统等领域中的应用。内容包括模糊集、直觉模糊集、Pet...
2018.11
本文基于Petri网模型研究存在不可观事件的离散事件系统的禁止状态问题。首先，本文为“部分可观可控”Petri网...
2018.6
Petri网是一种模拟并发系统的数学模型，活性是Petri网的重要性质之一，与并发系统的无死锁性密切相关。本书...
2017.9
本书基于系统动态构建和模块化的特点，利用Petri网这一形式化和图形化分析工具，提出和设计了可重组制造系...
2017.5
本文面向系统综合，注重从Petri网语言角度讨论了Petri网精炼操作的动态行为和系统性质。首先定义了一类Petr...
2017.5