威普托尔

此软件的关键字
zbMATH中的参考文献(参考文献 15条 )
艾哈迈德,艾莎; 库特尼,麦基; Pietkiewicz Koutny,Marta:用位置综合基本网络系统(2022) 范德阿尔斯特,Wil M.P。; 伯蒂,亚历山德罗:发现以对象为中心的Petri网(2020) 新娘,哈德良; 奥尔加库什纳连科; Peureux,Fabien:通用可靠性验证的工作流网络缩减(2017) 克莱恩,码头; 库特尼,麦基; Pietkiewicz Koutny,玛尔塔; Rozenberg,Grzegorz:应用区域(2017) 洛伦兹,罗伯特; 德塞尔,约格; Juhás,Gabriel:情景模型(2013) 埃利斯,克拉伦斯A。; 金光勋; 伦伯特,奥布里; Wainer,Jacques:随机信息控制网调查(2012) ioport公司 克莱恩,码头; 库特尼,麦基; Pietkiewicz Koutny,Marta:a/sync连接的Petri网区域(2012) 卑尔根,罗宾; 德塞尔,约格; Mauser,Sebastian:从部分语言合成Petri网的不同算法的比较(2009) 卑尔根,罗宾; 德塞尔,约格; 毛瑟,塞巴斯蒂安; Lorenz,Robert:从实例运行构建过程模型(2009) de Oliveira Oliveira,Mateus:Hasse图生成器和Petri网(2009) Fahland,Dirk:Oclets——基于场景的Petri网建模(2009) 卑尔根,罗宾; 德塞尔,约格; 洛伦兹,罗伯特; Mauser,Sebastian:从VipTool场景合成Petri网(2008) ioport公司 卑尔根,罗宾; 德塞尔,约格; 洛伦兹,罗伯特; Mauser,Sebastian:从有限部分语言合成Petri网(2008) 罗齐纳特,A。; vanderaalst,W.M.P.:基于监控实际行为的过程一致性检查(2008) ioport公司 卑尔根,罗宾; 德塞尔,约格; 朱哈,加布里埃尔; 洛伦兹,罗伯特:我能在你的网络上执行我的场景吗? VipTool告诉你! (2006年) ioport公司