zbMATH参考文献（参考 26篇文章 引用）

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