Verification of Liveness Properties on Closed Timed-Arc Petri Nets-Reference-Cited by-同舟云学术

Verification of Liveness Properties on Closed Timed-Arc Petri Nets

Published:2013 Issue: Volume: Page:69-81
ISSN:0302-9743
Container-title:Mathematical and Engineering Methods in Computer Science
language:
Short-container-title:

Author:

Andersen Mathias,Gatten Larsen Heine,Srba Jiří,Grund Sørensen Mathias,Haahr Taankvist Jakob

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-36046-6_8.pdf

Reference16 articles.

1. Behrmann, G., David, A., Larsen, K.G., Hakansson, J., Petterson, P., Yi, W., Hendriks, M.: Uppaal 4.0. In: QEST 2006, pp. 125–126 (September 2006)

2. Bertolini, C., Liu, Z., Srba, J.: Verification of timed healthcare workflows using component timed-arc Petri nets. In: FHIES 2012. Springer (to appear, 2012)

3. Lecture Notes in Computer Science;D. Beyer,2001

4. Lecture Notes in Computer Science;D. Beyer,2001

5. Lecture Notes in Computer Science;D. Beyer,2003

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

1. Latte;ACM SIGMETRICS Performance Evaluation Review;2021-03-05

2. Model checking: recent improvements and applications;International Journal on Software Tools for Technology Transfer;2018-07-24

3. Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems;Computer Aided Verification;2018

4. Discrete and continuous strategies for timed-arc Petri net games;International Journal on Software Tools for Technology Transfer;2017-09-25

5. TAPAAL and Reachability Analysis of P/T Nets;Transactions on Petri Nets and Other Models of Concurrency XI;2016