Constrained Properties, Semilinear Systems, and Petri Nets.

Ahmed Bouajjani, Peter Habermehl

Browse the full CONCUR paper archive.