Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving
DOI10.1007/978-3-031-33620-1_20zbMATH Open1541.68236MaRDI QIDQ6535202
Kyungmin Bae, Peter Csaba Ölveczky, Carlos Olarte, Laure Petrucci, Jaime Arias, Fredrik Rømming
Publication date: 16 November 2023
semanticsSMTrewriting logicMaudeparameter synthesissymbolic reachability analysisparametric timed Petri nets
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rewriting modulo SMT and open system analysis
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
- Semantics and pragmatics of real-time maude
- Petri nets are monoids
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Conditional rewriting logic as a unified model of concurrency
- Specification of real-time and hybrid systems in rewriting logic
- Twenty years of rewriting logic
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- Generalized rewrite theories, coherence completion, and symbolic methods
- Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs
- Abstraction and completeness for real-time Maude
- Abstract Logical Model Checking of Infinite-State Systems Using Narrowing
- Model Checking Reconfigurable Petri Nets with Maude
- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
- Diagnosis Using Unfoldings of Parametric Time Petri Nets
- Coloured Petri Nets
- Cost Problems for Parametric Time Petri Nets*
- Canonization of reconfigurable PT nets in \texttt{Maude}
- Romeo: a parametric model-checker for Petri nets with stopwatches
Related Items (1)
This page was built for publication: Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535202)
