洛拉

低电平分析仪。使用LoLA,我们将最近开发的面向状态空间的算法交给其他工具开发人员处理。提供一个简单的接口是一个主要的设计目标,以便尽可能容易地将LoLA集成到不同应用领域的工具中。LoLA支持位置/过渡网络。实现的验证技术包括标准属性(活性、可逆性、有界性、可达性、死转移、死锁、主状态)以及状态谓词的可满足性和CTL模型检查。在满足性方面,支持穷举搜索和启发式目标导向系统执行。对于状态空间约简,LoLA具有对称性、顽固集和可覆盖性图


zbMATH中的参考文献(参考文献27条)

显示第1到第20个结果,共27个。
按年份排序(引用)
  1. 耶泽克尔,洛伊格;石灰,迪迪埃;Sérée,Bastien:Petri网可达性分析的惰性查询方案(2021)
  2. 阿尔卑斯,卡列夫;熊猫、金牛;拉比诺维奇,亚历山大;射手座,情绪低落;史考特,申克;肖汉,莎伦;Velner,Yaron:状态网络验证的一些复杂性结果(2019)
  3. Bønneland,弗雷德里克M。;迪尔,雅各布;詹森,彼得G。;约翰森,Mads;Srba,Jiří:Petri网的顽固与结构约化(2019)
  4. 芬克贝纳,伯纳德;吉塞金,曼纽尔;赫金哈布施,耶斯科;Olderog,Ernst-Rüdiger:并发网络更新中的模型检查数据流(2019)
  5. Garavel,Hubert:嵌套单元Petri网(2019)
  6. 赫洛莫兹达,D.K。;格莱博维茨,医学硕士。;Maksymets,O.M.:自动将带有定性标记的有色Petri网转换为带有定量标记的有色Petri网(2018)
  7. 詹森,彼得·居尔;拉森,金·古德斯兰德;Srba,Jiří:通过前缀共享压缩和存储集合的数据结构(2017)
  8. 克莱维尔,曼纽尔;杜兰,旧金山;埃克,史蒂文;圣地亚哥埃斯科巴;林肯,帕特里克;玛蒂奥利特,纳西索;塔尔科特,卡罗琳:《莫德二十年》(2015)
  9. 董金松;刘、杨;孙军;张显:走向计算编排的验证(2014)
  10. 福音派,萨米人;Kristensen,Lars Michael:用扫描线法检查混合动力LTL模型(2012)
  11. 詹森,库尔特;克里斯滕森,拉尔斯·M。;Mailund,Thomas:扫描线状态空间探索方法(2012)
  12. 拉帕杜拉,A。;普利斯,R。;Tiezzi,F.:异步WS-BPEL流程的基于WSDL的类型系统(2011)
  13. 克里斯滕森,L.M。;施密特。;Valmari,A.:状态属性的问题引导顽固集方法(2006)
  14. Schmidt,Karsten:扫描线法进度测量的自动生成(2006)ioport公司
  15. 彗星,让保罗;克劳代尔,汉娜;Liauzu,Stéphane:使用高级Petri网建模多值遗传调节网络(2005)
  16. 莱希格,沃尔夫冈;施密特,卡斯滕;Stahl,Christian:Kommunizierende工作流服务建模与分析(2005)ioport公司
  17. Junttila,Tommi A.:位置/过渡网络的新规范代表性标记算法(2004)
  18. 克里斯滕森,拉尔斯·迈克尔;克里斯滕森,瑟伦:用函数式编程语言实现有色Petri网(2004)
  19. Schmidt,Karsten:扫描线法进度测量的自动生成(2004)
  20. Dehnert,Juliane:迈向健全业务流程模型的四个步骤(2003)