Michael Pedersen: Compositional Definitions of Minimal Flows in Petri Nets. CMSB 2008: 288-307