1. Bernardi, S. et al.: Model-driven availability evaluation of railway control systems. In: Proceedings of 30th International Conference on Computer Safety, Reliability and Security—SAFECOMP 2011, Naples, Italy. LNCS vol. 6894, pp. 15–28, Springer (2011)
2. Cabasino, M.P., Giua, A., Pocci, M., Seatzu, C.: Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems. Control Eng. Pract. 19(9), 989–1001 (2011)
3. Cabasino, M.P., Giua, A., Lafortune, S., Seatzu, C.: New approach for diagnosability analysis of Petri nets using verifier nets. IEEE Trans. Autom. Control 57(12), 3104–3117 (2012)
4. Čapkovič, F.: Petri net-based synthesis of agent cooperation by means of modularity and supervision principles. In: Dimirovski, G.M. (ed.) Complex Systems. Relationships Between Control, Communications and Computing, Chapter 20, Springer Series: Studies in Systems, Decision and Control, pp. 429–450. Springer, Cham (2016)
5. Čapkovič, F.: Failures in discrete event systems and dealing with them by means of Petri nets. In: Nguyen, N.T., et al. (eds.) ACIIDS 2017, Part I, LNAI 10191, pp. 379–391. Springer, Cham (2017)