×

ExSpect公司

swMATH ID: 4390
软件作者： Wil M.P.van der Aalst。；de Crom，Poul J.N。；戈弗德，罗伊·R.H.M.J。；Kees M.van Hee。；沃特·霍夫曼（Wout J.Hofman）。；Hajo A.Reijers。；范德图恩（Robert A.van der Toorn）。
描述： ExSpect 6.4:一个用于分层着色Petri网的可执行规范工具ExSpect是一种用于离散过程建模的软件工具。它适用于业务流程建模、生产链建模、用例建模等。ExSpect模型根据通过消息传递进行通信的子任务集合来描述流程。子任务网络以图形方式显示和编辑。子任务本身可以有流程模型；这允许将大型模型分解为可管理的部分。可以分析模型的结构正确性属性，并且可以通过逐步、连续或断点的模拟观察其行为。ExSpect模拟可以创建或使用外部文件；甚至可以使用ExSpect模拟组件。ExSpect可以导入其他工具创建的流程模型，特别是Transflow的COSA工作流和Pallas Athena的Protos模型。
主页： http://www.exspect.com网站/
相关软件： 原型;沃夫兰;汪汪叫;CPN/工具;设计/CPN;锋利的;ASA公司;SPNP公司;莫比乌斯;聪明的_;静电除尘器;INA公司
引用于： 8文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
执行规范6。4：一个用于分层着色Petri网的可执行规范工具。 Zbl 0986.68850号
Wil M.P.范德阿尔斯特。;de Crom，Poul J.N。;罗伊·R·H·M·J·戈弗德。;Kees M.van Hee。;沃特·霍夫曼。;Hajo A.Reijers。;范德图恩（Robert A.van der Toorn）。
2000
全部的 前5名

15位作者引用

4 Wil M.P.范德阿尔斯特。
三 Hajo A.Reijers。
2 范德图恩（Robert A.van der Toorn）。
2 范希、基斯·马克斯
1 阿德里·J·M·拜伦（Adrie J.M.Beulens）。
1 de Crom，Poul J.N。
1 温迪·德·蒙克
1 罗伊·R·H·M·J·戈弗德。
1 沃特·霍夫曼。
1 汉斯·尤尔根·塞巴斯蒂安
1 克里斯蒂安·斯塔尔
1 马特·范·哈特姆
1 埃里克·韦贝克
1 迈克尔·韦斯特加德
1 阿明·齐默尔曼

4篇连载文章中引用

1 OR Spektrum公司
1 计算机程序设计科学
1 计算机科学课堂讲稿
1 控制与信息科学课堂讲稿

在5个字段中引用

6 计算机科学（68至XX）
三 运筹学、数学规划（90-XX）
1 总体主题；集合（00-XX）
1 博弈论、经济学、金融和其他社会和行为科学（91-XX）
1 系统论；控制（93至XX）

按年份列出的引文