Penrose: Putting Compositionality to Work for Petri Net Reachability. - Pawel Sobocinski 001; Owen Stephens (CALCO, 2013)

Reachability via Compositionality in Petri nets - Pawel Sobocinski 001; Owen Stephens (CoRR, 2013)

Decomposing Petri nets - Julian Rathke; Pawel Sobocinski 001; Owen Stephens (CoRR, 2013)

A Programming Language for Spatial Distribution of Net Systems. - Pawel Sobocinski 001; Owen Stephens (Petri Nets, 2014)

Compositional Reachability in Petri Nets. - Julian Rathke; Pawel Sobocinski 001; Owen Stephens (RP, 2014)

Compositional specification and reachability checking of net systems. - Owen Stephens (2015)