检阅

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


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的信息学