zbMATH中的参考文献（参考文献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）