检阅

ExSpect 6.4：层次着色Petri网的可执行规范工具ExSpect是用于离散过程建模的软件工具。它适用于业务流程建模、生产链建模、用例建模等。ExSpect模型根据通过消息传递进行通信的子任务集合来描述流程。子任务网络以图形方式显示和编辑。子任务本身可以有一个过程模型；这允许将大型模型分解为可管理的部分。可以分析模型的结构正确性，并且可以通过模拟观察模型的行为，无论是逐步的、连续的还是有断点的。ExSpect模拟可以创建或使用外部文件；甚至可以使用ExSpect模拟组件。ExSpect可以导入由其他工具创建的流程模型，特别是Transflow的COSA工作流和Pallas Athena的Protos模型。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献11条,1标准件)

显示结果1到11，共11个。
按年份排序(引用)

  1. 范德阿尔斯特，Wil M.P。；斯塔尔，基督徒；Westergaard，Michael:使用有色Petri网建模复杂过程的策略（2013）
  2. 范德阿尔斯特，Wil M.P。；韦斯特加德，迈克尔；Reijers，Hajo A:美丽的工作流程：品味的问题？（2013年）ioport公司
  3. 阿明：随机离散事件系统。建模、评估、应用。（2008年）
  4. 哥查尔克，F。；范德阿尔斯特，W.M.P。；詹森·瓦勒斯，医学硕士。；Verbeek，H.M.W.：Protos2cpn：使用有色Petri网来配置和测试业务流程（2007）ioport公司
  5. 韦贝克，埃里克；范哈特姆，马尔特；雷杰斯，哈乔；de Munk，Wendy:Protos7.0:模拟可访问（2005）
  6. Reijers，Hajo A:工作流过程的设计和控制。服务业的业务流程管理。（2003年）
  7. 范德阿尔斯特，W.M.P。；范熙，K.M。；vandertoorn，R.A.：基于组件的软件架构：基于行为继承的框架（2002）
  8. 范德阿尔斯特，Wil M.P。；德克罗姆，波尔·J·N。；戈维德，罗伊·R·H·M·J。；范熙，基斯·M。；霍夫曼，伍特J。；雷杰斯，哈乔A。；范德图恩，罗伯特A:第6次检查。4： 层次着色Petri网的可执行规范工具（2000）
  9. 范德阿尔斯特，W.M.P.：基于Petri网的调度（1996）
  10. 范德阿尔斯特，W.M.P。；Odijk，M.A.：用区间时间有色Petri网分析火车站。（1995年）ioport公司
  11. 贝伦斯，A.J.M.（编辑）；Sebastian，H.-J.（编辑）：基于优化的计算机辅助建模和设计。在财务委员会举行的IFIP TC 7.6工作组第一次工作会议记录。1991年4月2日至4日，荷兰海牙，Haagse Hogeschool的信息学