Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving
DOI10.1007/978-3-031-33620-1_20zbMATH Open1541.68236MaRDI QIDQ6535202FDOQ6535202
Authors: Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming 
Publication date: 16 November 2023
Recommendations
semanticsSMTrewriting logicMaudeparameter synthesissymbolic reachability analysisparametric timed Petri nets
Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Specification of real-time and hybrid systems in rewriting logic
- Coloured Petri Nets
- Parametric model-checking of stopwatch Petri nets
- Conditional rewriting logic as a unified model of concurrency
- Twenty years of rewriting logic
- Abstract logical model checking of infinite-state systems using narrowing
- Rewriting modulo SMT and open system analysis
- Title not available (Why is that?)
- Title not available (Why is that?)
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- Semantics and pragmatics of real-time maude
- Petri nets are monoids
- Title not available (Why is that?)
- Precise robustness analysis of time Petri nets with inhibitor ARCS
- Abstraction and completeness for real-time Maude
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
- Model checking reconfigurable Petri nets with Maude
- Generalized rewrite theories, coherence completion, and symbolic methods
- Diagnosis Using Unfoldings of Parametric Time 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
Cited In (2)
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)
