1 paper
Gilles Geeraerts, Alexander Heußner, M. Praveen +1
We introduce ω-Petri nets (ωPN), an extension of plain Petri nets with ω-labeled input and output arcs, that is well-suited to analyse parametric concurrent systems with dynamic th…