基于Petri网精炼的系统建模与分析/同济博士论丛
图书信息
书名：基于Petri网精炼的系统建模与分析/同济博士论丛作者：丁志军,伍江,雷星晖
包装：精装
开本：16
全文字数：200000
出版社：同济大学出版社
出版时间：2017-08-01
图书简介
本书从Petri网语言角度，探讨了Petri网的精炼操作和动态行为与系统性质的关系，并给出了一组保持性判据。首先，定义了一类Petri网的精炼操作，基于序列投影，建立了精炼Pctri网与原网、子网间的动态行为关联关系，并分析了该精炼操作的相关动态性质。随后，本书介绍了精炼Petri网的子系统相关性和工作流网的精炼操作，以及时间Petri网的精炼操作与混合建模及其分析方法。最后，本书总结了研究成果并展望了未来工作的方向。本书适用于Petri网相关领域的研究人员。本书详细、系统地探讨了Petri网的精炼操作和动态行为与系统性质的关系，对于提高系统建模和分析的能力具有重要意义。
推荐理由
本书详细、系统地探讨了Petri网的精炼操作和动态行为与系统性质的关系，阐述了关键的概念和理论，并给出了大量的实例和图示。对该领域的学者研究Petri网理论和应用提供了全面的参考和指导，推荐阅读。