pitpn2maude
We give a rewriting logic semantics for parametric time Petri nets with inhibitor arcs (PITPNs)
Details about the translation can be found in this technical report.
Getting started
The project was tested in Maude 3.3.1 and Maude SE. A script written in Python 3.10 is used to parse Roméo input files into Maude files.
Maude files
The specification can be found in the folder maude
.
See the headers of each file for further information.
Parser
The parser of Roméo models into Maude theories can be found in pitpn2maude
.
See the file README for further information about its
implementation in Python.
Benchmarks
See the file README for further information about the benchmarks comparing the performance of Imitator and our analyses.