4 citations · 4 across the 1 of their papers we have counts for
2 papers
cs.LO2016
Compositional model checking of concurrent systems, with Petri nets
Paweł Sobociński
Compositionality and process equivalence are both standard concepts of process algebra. Compositionality means that the behaviour of a compound system relies only on the behaviour…
cs.LO2013★ 4 cited
Decomposing Petri nets
Julian Rathke, Pawel Sobocinski, Owen Stephens
In recent work, the second and third authors introduced a technique for reachability checking in 1-bounded Petri nets, based on wiring decompositions, which are expressions in a fr…