| Abstract |
This article presents an actualization of the formalism V-nets which is a tool of supervision that deals with diagnosis problems of industrial processes, situations such as simultaneity, and false positives in sequences of discrete events. In particular, in fault detection applications, industrial processes need the dependability of their control and supervisory systems. Since the start of the investigation into automata and simulation theories, almost 50 years ago, simultaneous occurrences have been a crucial and challenging subject. This situation is a false problem that comes from the notion of "state", that is to say, that model Petri Nets, DEVS, and State Charts, among others, do not come from the concrete process under consideration. Therefore, this new formalism is based on the model of Chronicles and improved with other tools and elements that permit an increase in its functionality. V-nets are provided as a way to represent dynamic processes without using the state machine paradigm, with robustness and the capacity to distinguish discrete event sequences. An analysis of alarm management in a Green Hydrogen Plant (GHP) is presented and concludes with a comparative analysis of Time Petri Nets (TPN), Timed Automata (TA), Chronicles, and V-nets. Copyright (c) 2024 The Authors. |
