1. Barger, P., Schön, W., & Bouali, M. (2009). A study of railway ERTMS safety with colored Petri nets. In The European Safety and Reliability Conference (ESREL’09), Prague, Czech Republic.
2. Chafik, S., & Niel, E. (2000). Hierarchical-decentralized solution of supervisory control. In Proc. 3rd Int. Symp. Math. Modelling, MATHMOD, Vienna, Austria (Vol. 2, pp. 787–790).
3. Chao, Z., & Xi, Y. (2003). Necessary conditions for control consistency in hierarchical control of discrete-event systems. IEEE Transactions on Automatic Control, 48(3), 465–468.
4. CPN Tools. (2014). CPN Tools Webpage, http://cpntools.org
5. Faraut, G., Piétrac, L., & Niel, E. (2009). Formal approach to multi-modal control design: Application to mode switching. IEEE Transactions on Industrial Informatics, 5(4), 443–453.