Boundedness and Liveness Compositionality for Petri Nets on Trace Monoids.

Fuming Wu

Browse the full PDPTA paper archive.