Fredrik Rømming
Fredrik Rømming
Publications
Light
Dark
Automatic
1
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving
In this paper we present a concrete and a symbolic rewriting logic semantics for parametric time Petri nets with inhibitor arcs …
PDF
Cite
Code
DOI
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
This paper presents rewriting logic semantics for parametric timed automata (PTAs) and shows that symbolic reachability analysis using …
PDF
Cite
Code
DOI
Cite
×