沃尔夫冈·雷西格 理解Petri网。建模技术、分析方法、案例研究。作者从德语翻译而来。 （英语） Zbl 1278.68222号 柏林：施普林格出版社（ISBN 978-3-642-33277-7/hbk；978-3-442-33278-4/电子书）。第二十八章，230页。(2013). Petri网凭借其直观的图形方法和表达性分析技术，适用于广泛的应用和教学场景，并且作为一种过程建模技术在软件设计和控制工程等领域得到了广泛接受。更重要的是，它们是许多最新流程建模语言的正式基础。这本书可以看作是一本30年历史的关于Petri网的教科书的继承者，该书的作者也是长期以来被视为权威书籍的作者。在本书中，作者对Petri网的基本要素进行了清晰、彻底的介绍。他解释了核心建模技术和分析方法，并通过示例和案例研究说明了它们的有用性。第一部分描述了如何使用Petri网进行建模；所有概念都是通过示例来解释的，首先是一个通用的、功能强大的模型，它也是直观的和现实的。第二部分介绍了特定于Petri网的基本分析方法，介绍了用于描述系统网关键属性的技术以及证明其有效性的算法。第三部分介绍了案例研究，每个案例都介绍了不同建模任务所需的新概念、属性和分析技术。作者在一本独特的设计书中，在一致性、可理解性和正确性之间取得了很好的平衡。这本书适合计算机科学和工程等相关学科的学生，以及广泛的研究人员和从业者。审核人：Jörg Desel（哈根） 引用于58文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 关键词：Petri网；并发；分布式系统 引文：Zbl 1215.68158号 PDF格式BibTeX公司 XML格式引用 \textit{W.Reisig}，理解Petri网。建模技术、分析方法、案例研究。作者从德语翻译而来。柏林：施普林格出版社（2013；Zbl 1278.68222） 全文： 内政部