洛拉

此软件的关键字
zbMATH参考文献(参考
26篇文章
引用)
Alpernas,Kalev;Panda,Aurojit;Rabinovich,Alexander;Sagiv,Mooly;Shenker,Scott;Shoham,Sharon;Velner,Yaron:状态网络验证的一些复杂性结果(2019年) Bønneland,Frederik M.;Dyhr,Jakob;Jensen,Peter G.;Johannsen,Mads;Srba,Jiří:Petri网的顽固与结构缩减(2019) Finkbeiner,Bernd;Gieseking,Manuel;Hecking Harbusch,Jesko;Olderog,Ernst-Rüdiger:并发网络更新中的模型检查数据流(2019年) Garavel,Hubert:嵌套单元Petri网(2019) Hlomozda,D.K.;Glybovets,M.M.;Maksymets,O.M.:自动将带有定性标记的有色Petri网转换为带有定量标记的有色Petri网(2018年) Jensen,Peter Gjøl;Larsen,Kim Guldstrand;Srba,Jiří:通过前缀共享压缩和存储集合的数据结构(2017) 曼努埃尔·克莱维尔;弗朗西斯科的杜兰;史蒂文的埃克尔;圣地亚哥的埃斯科巴;帕特里克的林肯;纳西索的马蒂奥利特;卡罗琳的塔尔科特:莫德的二十年(2015年) 董金松;刘,杨;孙军;张,娴:面向计算编排的验证(2014) Evangelista,Sami;Kristensen,Lars Michael:使用扫描线法进行混合动态LTL模型检查(2012年) Jensen,Kurt;Kristensen,Lars M.;Mailund,Thomas:扫描线状态空间探索方法(2012) Lapadula,A.;Pugliese,R.;Tiezzi,F.:异步WS-BPEL流程的基于WSDL的类型系统(2011) Kristensen,L.M.;Schmidt,K.;Valmari,A.:状态属性的问题引导顽固集方法(2006) Schmidt,Karsten:扫描线法进度测量的自动生成(2006) ioport公司 Comet,Jean-Paul;Klaudel,Hanna;Liauzu,Stéphane:使用高级Petri网建模多值遗传调节网络(2005) Reisig,Wolfgang;Schmidt,Karsten;Stahl,Christian:KommunizierendWorkflow services Modellien und analysieren(2005年) ioport公司 Junttila,Tommi A.:位置/过渡网络的新规范代表性标记算法(2004) Kristensen,Lars Michael;Christensen,Søren:使用函数式编程语言实现有色Petri网(2004) Schmidt,Karsten:扫描线法进度测量的自动生成(2004) Dehnert,Juliane:迈向健全业务流程模型的四个步骤(2003) 施密特,卡斯滕:在状态空间构造中使用Petri网不变量(2003)