7 citations · 15 across the 3 of their papers we have counts for
1 paper · 1 filter
Jaime Arias, Kyungmin Bae, Carlos Olarte +2
This paper presents a concrete and a symbolic rewriting logic semantics for parametric time Petri nets with inhibitor arcs (PITPNs), a flexible model of timed systems where paramet…