迈克尔·韦斯特加德
人员信息
优化列表
2010 – 2019
2017 [j7] 法布里奇奥·玛丽亚·马吉 , 迈克尔·韦斯特加德 :
通过彩色Petri网设计操作决策支持软件。 企业。 信息系统。 11 ( 5 ) : 576-596 ( 2017 ) 2014 [j6] 法布里奇奥·玛丽亚·马吉 , 迈克尔·韦斯特加德 :
使用定时自动机 先验 定时声明性流程模型的警告和规划。 国际合作社信息系统。 23 ( 1 ) ( 2014 ) 2013 [j5] Wil M.P.van der Aalst先生 , 克里斯蒂安·斯塔尔 , 迈克尔·韦斯特加德 :
使用有色Petri网建模复杂过程的策略。 事务处理。 Petri网其他模型。 同意。 7 : 6-55 ( 2013 ) [j4] 迈克尔·韦斯特加德 , 德克·法兰德 , 克里斯蒂安·斯塔尔 :
等级/CPN:在教学中测试有色Petri网模型的工具和时序逻辑。 事务处理。 Petri网其他模型。 同意。 8 : 180-202 ( 2013 ) [公元29年] 迈克尔·韦斯特加德 :
CPN工具4:多形式主义和可扩展性。 Petri网 2013 : 400-409 [公元28年] Wil M.P.van der Aalst先生 , 迈克尔·韦斯特加德 , Hajo A.Reijers公司 :
美丽的工作流:品味问题? 功能代码之美 2013 : 211-233 [c27] 迈克尔·韦斯特加德 , 蒂杰斯·斯拉茨 :
混合范式以获得更易于理解的模型。 业务流程管理 2013 : 283-290 [公元26年] 迈克尔·韦斯特加德 , 蒂杰斯·斯拉茨 :
CPN工具4:一种结合声明性和强制性范式的流程建模工具。 BPM(演示) 2013 [公元25年] 迈克尔·韦斯特加德 , 克里斯蒂安·斯塔尔 :
利用超尺度和并行性提供无限制的快速声明挖掘。 BPM(演示) 2013 [公元24年] 理查德·米勒 , 克里斯蒂安·斯塔尔 , Wil M.P.van der Aalst先生 , 迈克尔·韦斯特加德 :
从观察到的行为中发现服务,同时保证合作中的僵局自由。 国际社会理事会 2013 : 358-373 2012 [j3] 迈克尔·韦斯特加德 , 拉尔斯·迈克尔·克里斯滕森 :
基于组件和可扩展模型检查平台的图形方法。 事务处理。 Petri网其他模型。 同意。 5 : 265-291 ( 2012 ) [注2] 迈克尔·韦斯特加德 :
使用彩色Petri网验证并行算法和程序。 事务处理。 Petri网其他模型。 同意。 6 : 146-168 ( 2012 ) 【c23】 托马斯·梅隆德 , 安德斯·霍拉格 , 迈克尔·韦斯特加德 :
使用着色Petri网构建联合隐马尔可夫模型:从人口统计规范到有效推理方法的自动转换。 Petri网 2012 : 32-50 [公元22年] 迈克尔·韦斯特加德 , 德克·法兰德 , 克里斯蒂安·斯塔尔 :
等级/CPN:通过对照一个规范检查多个Petri网来半自动支持Petri网教学。 太平洋证券交易所 2012 : 32-46 【c21】 乔伊斯·纳卡图姆巴 , 迈克尔·韦斯特加德 , Wil M.P.van der Aalst先生 :
基于彩色Petri网的作战支持算法成本效益测试基础设施。 Petri网 2012 : 308-327 [公元20年] 乔伊斯·纳卡图姆巴 , 迈克尔·韦斯特加德 , Wil M.P.van der Aalst先生 :
从模拟模型生成具有工作负载相关速度的事件日志。 CAiSE研讨会 2012 : 383-397 [第19条] 迈克尔·韦斯特加德 , 法布里奇奥·玛丽亚·马吉 :
展望未来。 使用时间自动机提供关于时间声明过程模型的先验建议。 OTM会议(1) 2012 : 250-267 2011 [第18条] 迈克尔·韦斯特加德 , Henricus M.W.(埃里克)Verbeek :
高级Petri网优先转换的高效实现。 太平洋证券交易所 2011 : 27-41 [c17] 迈克尔·韦斯特加德 :
使用有色Petri网验证并行算法和程序。 太平洋证券交易所 2011 : 57-71 [第16条] 迈克尔·韦斯特加德 , 法布里奇奥·玛丽亚·马吉 :
使用有色Petri网对作战支持协议进行建模和验证。 Petri网 2011 : 169-188 [第15条] 迈克尔·韦斯特加德 :
Access/CPN 2.0:有色Petri网模型的高级接口。 Petri网 2011 : 328-337 [第14条] 迈克尔·韦斯特加德 :
使用LTL分析和生成声明性工作流语言的更好算法。 业务流程管理 2011 : 83-98 [第13条] 法布里奇奥·玛丽亚·马吉 , 马可·蒙塔利 , 迈克尔·韦斯特加德 , Wil M.P.van der Aalst先生 :
用线性时序逻辑监测业务约束:一种基于有色自动机的方法。 业务流程管理 2011 : 132-147 [第12条] Wil M.P.van der Aalst先生 , 阿丽亚·阿德里安西亚 , 阿娜·卡拉·阿尔夫斯·德·梅德罗斯(Ana Karla Alves de Medeiros) , 弗朗科·阿西耶里 , 托马斯·拜尔 , 托拜厄斯斑点 , R.P.Jagadeesh Chandra Bose先生 , 彼得·范登布兰德 , 罗纳德·布兰德詹 , Joos C.A.M.Buijs公司 , 安德烈亚·布拉廷 , 约塞普·卡莫纳 , 马卢·卡斯特拉诺斯 , 扬·克莱斯 , 乔纳森·库克 , 尼古拉·科斯坦蒂尼 , 弗朗西斯科·柯贝拉 , 埃内斯托·达米亚尼 , 马西米利亚诺·德莱奥尼 , 帕夫洛斯·迪利亚斯 , Boudewijn F.van Dongen先生 , 马龙·杜马 , Schahram Dustdar公司 , 德克·法兰德 , 迪奥戈·R·费雷拉 , 瓦利德·加洛尔 , 弗兰克·范格芬 , 苏克里蒂·戈尔 , 克里斯蒂安·温特 , 安东尼拉·古佐 , 保罗哈蒙 , 亚瑟·H·M·特·霍夫斯泰德 , 约翰·胡格兰 , 乔恩·埃斯彭·英格瓦尔森 , Koki Kato加藤 , 鲁道夫·库恩 , 选手库马尔 , 马塞洛·拉罗萨 , 法布里奇奥·玛丽亚·马吉 , 多纳托·马勒巴 , R.S.Mans公司 , 阿尔贝托·曼努埃尔 , 马丁·麦克里什 , 保拉·梅洛 , 简·门德林 , 马可·蒙塔利 , 哈米德·莫塔哈里·内扎德 , 迈克尔·祖尔·穆伦 , 豪尔赫·穆诺兹·加马 , 路易吉·蓬蒂耶里 , 乔尔·里贝罗 , 安妮·罗齐纳特 , 雨果·塞格尔·佩雷斯 , 里卡多·塞格尔·佩雷斯 , 马科斯·塞普尔夫达 , 吉姆·西努尔 , Pnina Soffer公司 , Minseok歌曲 , 亚历桑德罗·斯普都蒂 , 乔瓦尼·斯蒂洛 , Casper凳子 , 基思·D·斯文森 , 毛里齐奥·塔拉莫 , 魏坦 , 克里斯·特纳 , 简·范蒂宁 , 乔治·瓦瓦雷索斯 , 埃里克·维尔贝克 , 马克·威尔敦克 , 罗伯托·维戈 , 王建民 , 芭芭拉·韦伯 , 马蒂亚斯·魏德利希 , Ton Weijters公司 , 文丽杰 , 迈克尔·韦斯特加德 , 莫·桑达尔·韦恩 :
流程挖掘宣言。 业务流程管理研讨会(1) 2011 : 169-194 [第11条] 迈克尔·韦斯特加德 , 法布里奇奥·玛丽亚·马吉 :
声明:用于声明性工作流建模和实施的工具套件。 BPM(演示) 2011 [第10条] 法布里奇奥·玛丽亚·马吉 , 迈克尔·韦斯特加德 , 马可·蒙塔利 , Wil M.P.van der Aalst先生 :
基于LTL的声明过程模型的运行时验证。 RV汽车 2011 : 131-146 2010 【c9】 拉尔斯·迈克尔·克里斯滕森 , 迈克尔·韦斯特加德 :
从彩色Petri网自动生成基于结构的代码:概念证明。 飞行管理信息系统 2010 : 215-230
2000 – 2009
2009 [j1] 萨米·伊万格利斯塔 , 迈克尔·韦斯特加德 , 拉尔斯·迈克尔·克里斯滕森 :
重温ComBack方法:缓存策略和延迟重复检测扩展。 事务处理。 Petri网其他模型。 同意。 三 : 189-215 ( 2009 ) 【c8】 迈克尔·韦斯特加德 , 萨米·伊万格利斯塔 , 拉尔斯·迈克尔·克里斯滕森 :
ASAP:状态空间分析的可扩展平台。 Petri网 2009 : 303-312 【c7】 迈克尔·韦斯特加德 , 拉尔斯·迈克尔·克里斯滕森 :
Access/CPN框架:与CPN工具模拟器交互的工具。 Petri网 2009 : 313-322 2007 【c6】 迈克尔·韦斯特加德 , 拉尔斯·迈克尔·克里斯滕森 , 格思·斯特林特·布罗达尔 , 拉尔斯·阿格 :
ComBack方法-使用回溯扩展哈希压缩。 ICATPN公司 2007 : 445-464 【c5】 迈克尔·韦斯特加德 :
行为视觉化的博弈论方法。 飞行管理信息系统@BCS HCI公司 2007 : 113-129 2006 【c4】 迈克尔·韦斯特加德 , 克里斯蒂安·比斯加德·拉森 :
BRITNeY Suite动画工具。 ICATPN公司 2006 : 431-440 2005 【c3】 拉尔斯·迈克尔·克里斯滕森 , 迈克尔·韦斯特加德 , 佩德·克里斯蒂安·诺加德 :
基于模型的移动Ad-Hoc网络互操作协议原型。 国际单项体育联合会 2005 : 266-286 2004 [c2] 托马斯·梅隆德 , 迈克尔·韦斯特加德 :
使用扫描线方法获得内存有效可达图表示。 墨西哥玉米饼 2004 : 177-191 2003 【c1】 安妮·V·拉特泽 , 丽莎·威尔斯 , 亨利·迈克尔·拉森 , 马德斯·劳尔森 , 雅各布·弗兰克·夸特鲁普 , 马丁·斯蒂格·斯蒂辛 , 迈克尔·韦斯特加德 , 瑟伦·克里斯滕森 , 库尔特·延森 :
用于编辑、模拟和分析彩色Petri网的CPN工具。 ICATPN公司 2003 : 450-462