Formal modelling, analysis, and synthesis of modular industrial systems inspired by Net Condition/Event Systems
Published in 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), Lisbon, Portugal, 2023
Recommended citation: M. Xavier, S. Patil, V. Dubinin, V. Vyatkin. "Formal modelling, analysis, and synthesis of modular industrial systems inspired by Net Condition/Event Systems." 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), Lisbon, Portugal, 2023.
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.