Wil M.P.范德阿尔斯特。;de Crom，Poul J.N。;罗伊·R·H·M·J·戈弗德。;Kees M.van Hee。;沃特·霍夫曼。;Hajo A.Reijers。;范德图恩（Robert A.van der Toorn）。 执行规范6。4：一个用于分层着色Petri网的可执行规范工具。 （英语） Zbl 0986.68850号 Nielsen，Mogens（编辑）等人，《Petri网的应用和理论2000》。2000年6月26日至30日，第21届国际会议，ICATPN 2000，丹麦奥胡斯。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1825, 455-464 (2000). 摘要：十年前ExSpect上市。从那时起，许多物流、工作流和电子商务方面的建模和仿真项目都是使用ExSpeet完成的。在过去十年中，ExSpect的核心，即模拟引擎，从未改变过：它仍然执行具有优先级的分层、定时、有色Petri网模型。多年来，根据用户请求引入了新功能。ExSpect的新功能主要有三个扩展。第一个是模拟和执行工作流定量分析的“易用性”。第二个是使用ExSpect查看电子商务应用程序的消息序列图。最后是ExSpect与应用程序的集成；即，使用ExSpect处理其他应用程序的控制流。有关整个系列，请参见[Zbl 0941.00038号]. MSC公司： 68单位99 计算方法和应用 68岁20岁 模拟（MSC2010） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：ExSpect公司 PDF格式BibTeX公司 XML格式引用 \textit{W.M.P.van der Aalst}等人，Lect。注释计算。科学。1825、455--464（2000年；Zbl 0986.68850）