Coloured Petri Nets: Vol 3: Basic Concepts, Analysis Methods and Practical Use (EATCS Monographs in Theoretical Computer Science) - [Version Originale]