79 citations · 222 across the 14 of their papers we have counts for
4 papers · 1 filter
Connector algebras for C/E and P/T nets' interactions
Roberto Bruni, Hernan Melgratti, Ugo Montanari +1
A quite flourishing research thread in the recent literature on component-based systems is concerned with the algebraic properties of different classes of connectors. In a recent p…
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…
Nets, relations and linking diagrams
Pawel Sobocinski
In recent work, the author and others have studied compositional algebras of Petri nets. Here we consider mathematical aspects of the pure linking algebras that underly them. We ch…
Reachability via Compositionality in Petri nets
Paweł Sobocinski, Owen Stephens
We introduce a novel technique for checking reachability in Petri nets that relies on a recently introduced compositional algebra of nets. We prove that the technique is correct, a…