Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving-Reference-Cited by-同舟云学术

Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving

Published:2023 Issue: Volume: Page:369-392
ISSN:0302-9743
Container-title:Application and Theory of Petri Nets and Concurrency
language:
Short-container-title:

Author:

Arias Jaime^ORCID,Bae Kyungmin^ORCID,Olarte Carlos^ORCID,Ölveczky Peter Csaba^ORCID,Petrucci Laure^ORCID,Rømming Fredrik^ORCID

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-33620-1_20

Reference53 articles.

1. Lecture Notes in Computer Science;M AlTurki,2009

2. Lecture Notes in Computer Science;É André,2013

3. Andreychenko, A., Magnin, M., Inoue, K.: Analyzing resilience properties in oscillatory biological systems using parametric model checking. Biosystems 149, 50–58 (2016)

4. Arias, J., Bae, K., Olarte, C., Ölveczky, P.C., Petrucci, L., Rømming, F.: Rewriting logic semantics and symbolic analysis for parametric timed automata. In: Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2022), pp. 3–15. ACM (2022)

5. Arias, J., Bae, K., Olarte, C., Ölveczky, P.C., Petrucci, L., Rømming, F.: PITPN2Maude (2023). https://depot.lipn.univ-paris13.fr/arias/pitpn2maude

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

1. Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL;Lecture Notes in Computer Science;2024

2. Timed Strategies for Real-Time Rewrite Theories;Lecture Notes in Computer Science;2024

3. A Flexible Framework for Integrating Maude and SMT Solvers Using Python;Lecture Notes in Computer Science;2024