Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata-Reference-Cited by-同舟云学术

Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata

Published:2004 Issue: Volume: Page:37-76
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Penczek Wojciech,Półrola Agata

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-27793-4_4.pdf

Reference93 articles.

1. Lecture Notes in Computer Science;P.A. Abdulla,2001

2. Alur, R., Courcoubetis, C., Dill, D.: Model checking for real-time systems. In: Proc. of LICS 1990, pp. 414–425. IEEE, Los Alamitos (1990)

3. Alur, R., Courcoubetis, C., Dill, D.: Model checking in dense real-time. Information and Computation 104(1), 2–34 (1993)

4. Alur, R., Courcoubetis, C., Dill, D., Halbwachs, N., Wong-Toi, H.: An implementation of three algorithms for timing verification based on automata emptiness. In: Proc. of RTSS 1992, pp. 157–166. IEEE Comp. Soc. Press, Los Alamitos (1992)

5. Lecture Notes in Computer Science;R. Alur,1992

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Time-Soundness of Time Petri Nets Modelling Time-Critical Systems;ACM Transactions on Cyber-Physical Systems;2018-04-30

2. Maximally permissive controller synthesis for time Petri nets;International Journal of Control;2013-03

3. Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets;ACM Transactions on Embedded Computing Systems;2013-01

4. An Efficient Translation Method from Timed Petri Nets to Timed Automata;IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences;2012

5. Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs;Discrete Event Dynamic Systems;2011-03-26