zbMATH中的参考文献（参考文献26条,1标准件)

1. 法伦堡，乌利；勒盖，阿克塞尔；夸斯，卡林：用定量博弈计算分支距离（2020）
2. 布耶，帕特里夏；法伦堡，乌利；拉森，金·古德斯兰德；马基，尼古拉斯；瓦克宁，乔尔；沃雷尔，詹姆斯：模型检查实时系统（2018）
3. 安德烈，爱蒂安；本穆萨，穆罕默德·马赫迪；Choppy，Christine:使用有色Petri网形式化并发UML状态机（2016）
4. 詹森，彼得·居尔；拉森，金·古德斯兰德；Srba，Jiří：时间弧Petri网博弈的离散化实时策略综合（2016）
5. Klai，Kais:时间聚集图：时间Petri网基于事件和状态的定量性质的有限图（2015）
6. 比格，约金；雅各布森，莫顿；雅各布森，拉丝；约根森，肯尼思·伊尔克；默勒，米凯尔·哈克尔；Srba，Jiří：从时间弧Petri网到时间自动机网络的TCTL保护转换（2014）
7. 石灰，迪迪埃；马丁内斯，克劳德；Roux，Olivier H.：时间Petri网的收缩（2013）
8. 巴拉格，桑迪；查坦，托马斯；Haar，Stefan:从时间Petri网到时间自动机网络的并发保护转换（2012）
9. 大卫，亚历山大；雅各布森，拉丝；雅各布森，莫顿；约根森，肯尼思·伊尔克；默勒，米凯尔·H。；Srba，Jiří：tapaal2.0：时间弧Petri网的集成开发环境（2012）
10. 莱普里，丹妮拉；Ábrahám，埃里卡；厄尔维茨基，彼得·卡萨巴：实时Maude中的定时CTL模型检查（2012）
11. 雅各布森，拉丝；雅各布森，莫顿；默勒，米凯尔·H。；Srba，Jiří：时间弧Petri网的验证（2011）
12. 德拉，胡安；Vangheluwe，Hans:自动化基于转换的视觉语言分析（2010）
13. 格拉贝克，巴托斯；特拉诺努埃兹，路易·玛丽；贾德，克劳德；石灰，迪迪埃；Roux，Olivier H.：使用参数时间Petri网的展开进行诊断（2010）
14. 彭泽克，沃伊切赫；Pòłrola，阿加塔；Zbrzezny，Andrzej:一类分布时间Petri网的基于SAT的（参数）可达性（2010）
15. 特拉诺努埃兹，路易·玛丽；格拉贝克，巴托斯；贾德，克劳德；石灰，迪迪埃；Roux，Olivier H.：参数秒表Petri网的符号展开（2010）
16. 布切涅布，哈尼法；加德，纪尧姆；Roux，Olivier H.：时间Petri网的TCTL模型检验（2009）
17. 石灰，迪迪埃；Roux，Olivier（H.）：具有抢占式调度的实时系统的形式化验证（2009）
18. 斯特克尔，一月；朗，弗里德里克；Garavel，Hubert:实时和数据并行处理：Atlantf中间格式（2009）
19. 阿卜杜利，阿卜杜勒克里姆；Badache，Nadjib：构建TSPN模型的状态类图（2008）
20. Bérard，B。；卡塞兹，F。；爸爸，哈兹。；石灰，D。；Roux，O.H.：什么时候时间自动机与时间Petri网是弱时间双相似的？（2008年）