2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2013
ω-Petri nets
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…
cs.LO2011★ 2 cited
Parameterized complexity results for 1-safe Petri nets
M. Praveen, Kamal Lodaya
We associate a graph with a 1-safe Petri net and study the parameterized complexity of various problems with parameters derived from the graph. With treewidth as the parameter, we…