威尔·范德阿尔斯特;克里斯蒂安·斯塔尔 业务流程建模。一种面向Petri网的方法。 （英语） Zbl 1216.00032号 合作信息系统系列。马萨诸塞州剑桥：麻省理工学院出版社（ISBN 978-0-262-01538-7）。xii，第386页。(2011). Publisher的描述：这本对业务信息系统建模的全面介绍侧重于业务流程。它描述并演示了根据Petri网对流程进行的形式化建模，使用了用于捕获和分析并发模型的成熟理论。这种形式化方法的精确语义为建模过程提供了一个明显的优势，超过了其他相关书籍中的工业建模语言。此外，Petri网概念的简单性和表达性使其成为解释基本概念和构建练习的理想语言。在概述了业务信息系统之后，本书介绍了用经典Petri网对流程进行建模。然后用数据、时间和层次结构对其进行扩展，以对流程的各个方面进行建模。最后，本书探讨了Petri网模型的分析，以检测设计过程中的设计缺陷和错误。该文本面向广大专业人士和学生读者，将技术性内容降至最低，并提供了大量示例来说明所涵盖的概念。不同难度的练习使这本书成为独立学习或课堂使用的理想之选。 引用于9文件 MSC公司： 00A71号 数学建模的一般理论 68兰特 计算机科学中的图论（包括图形绘制） 90磅50英寸 管理决策，包括多个目标 软件：沃夫兰;续订 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Aalst}和\textit{C.Stahl}，《业务流程建模》。一种面向Petri网的方法。马萨诸塞州剑桥：麻省理工学院出版社（2011；Zbl 1216.00032）