Kurt Jensen, Lars M. Kristensen Coloured Petri Nets - Germany Springer 2009 ISBN: 978-3-642-00284-7 Subjects--Topical Terms: Coloured Petri NetsComputer Science