Penrose: Putting Compositionality to Work for Petri Net Reachability.

Pawel Sobocinski, Owen Stephens

Browse the full CALCO paper archive.