How to Find Invariants for Coloured Petri Nets.

Kurt Jensen

Browse the full MFCS paper archive.