@inproceedings{ce555aa68b7745e9857c8a33bbd26def,
title = "Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems",
abstract = "This paper summarises recent developments in the application of modular formalisms to model-based verification of industrial automation systems. The paper is a tribute to the legacy of Professor Hans-Michael Hanisch who invented Net Condition/Event Systems (NCES) and passionately promoted the closed-loop modelling approach to modelling and analysis of automation systems. The paper surveys the related works and highlights the impact NCES has made on the current progress of modular automation systems verification.",
author = "Midhun Xavier and Sandeep Patil and Victor Dubinin and Valeriy Vyatkin",
note = "Funding Information: This paper attempts to be a tribute to Professor Hans-Michael Hanisch who has been a co-inventor and a great enthusiast and proponent of NCES as a part of the closed-loop modelling concept. References Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.; International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS ; Conference date: 25-06-2023 Through 30-06-2023",
year = "2023",
doi = "10.1007/978-3-031-33620-1_2",
language = "English",
isbn = "978-3-031-33619-5",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "16--33",
editor = "Luis Gomes and Robert Lorenz",
booktitle = "Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Proceedings",
address = "Germany",
}