Wil M.P.范德阿尔斯特。;克里斯蒂安·斯塔尔;迈克尔·韦斯特加德 使用有色Petri网对复杂过程建模的策略。 （英语） Zbl 1382.68157号 Jensen，Kurt（编辑）等人，《Petri网和其他并发模型事务》VII。柏林：施普林格出版社（ISBN 978-3-642-38142-3/pbk）。计算机科学课堂讲稿7480。《期刊副刊》，6-55（2013）。 概述：彩色Petri网（CPN）通过数据、时间和层次结构扩展了经典Petri网形式。这些扩展使得可以将复杂流程建模为CPN，而无需从相关方面进行抽象。此外，CPN工具支持CPN，这是一个强大的工具集，支持此类流程的设计和分析。CPN语言的表达能力支持不同的建模方法。通常，同一过程可以用多种方式建模。因此，缺乏经验的建模者可能会创建不必要的复杂且笨重的CPN。通过一个运行示例和一组设计模式，我们展示了如何根据CPN解决典型的设计问题。通过遵循这些准则，可以创建简洁但又易于理解的模型。此外，我们还介绍了CPN Tools 3.0支持的一些新功能（例如优先级和实时标记），并展示了如何将该软件用于性能分析（即，使用模拟比较设计方案）。关于整个系列，请参见[Zbl 1263.68020号]. 引用于2文件 理学硕士： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 关键词：有色Petri网;设计模式;CPN工具 软件：ExSpect公司 PDF格式BibTeX公司 XML格式引用 \textit{W.M.P.van der Aalst}等人，Lect。注释计算。科学。7480，6--55（2013；Zbl 1382.68157） 全文： 内政部