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

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