zbMATH中的参考文献（参考文献26条)

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