1. Alekseyev A, Khomenko V, Mokhov A, Wist D, Yakovlev A (2011) Improved parallel composition of labelled petri nets. In: 2011 11th international conference on application of concurrency to system design (ACSD), pp 131–140
2. Ament C (2005) 3. Ereignisdiskrete Systeme (Vorlesung Steuerungsentwurf für Eingebettete Systeme), Albert-Ludwigs- Universität Freiburg. [Online]. Available: http://www.imtek.de/systemtheorie/content/upload/vorlesung/2005/steuerungsentwurf-ss2005-03.pdf
3. Antsaklis PJ, Koutsoukos XD, Dame N (2002) Hybrid systems control. Electr Eng 7:1–30. [Online]. Available: http://www.nd.edu/isis/techreports/isis-2001-003.pdf
4. Bertol M (1996) Effiziente Normalform-Algorithmen für Ersetzungssysteme über frei partiell kommutativen Monoiden. Ph.D. dissertation, Universität Stuttgart
5. Bouyer P, Brinksma E, Larsen KG (2008) Optimal infinite scheduling for multi-priced timed automata. Form Methods Syst Des 32:3–23. [Online]. Available: http://dl.acm.org/citation.cfm?id=331427.1331460