Simultaneous occurrences and false-positives analysis in discrete event dynamic systems
Simultaneous occurrences of events have been a crucial and hard problem since the beginning of the research about automaton and simulation theories of discrete event systems, for more than 50 years. This article addresses some diagnosis problems in industrial processes, situations such as simultanei...
- Autores:
-
Vásquez Capacho, John William
Perez-Zuñiga, Gustavo
Muñoz Maldonado, Yecid Alfonso
Ospino C., Adalberto
Ospino C., Adalberto
- Tipo de recurso:
- http://purl.org/coar/resource_type/c_816b
- Fecha de publicación:
- 2020
- Institución:
- Corporación Universidad de la Costa
- Repositorio:
- REDICUC - Repositorio CUC
- Idioma:
- eng
- OAI Identifier:
- oai:repositorio.cuc.edu.co:11323/6903
- Acceso en línea:
- https://hdl.handle.net/11323/6903
https://doi.org/10.1016/j.jocs.2020.101162
https://repositorio.cuc.edu.co/
- Palabra clave:
- Simultaneous analysis
V-nets
False positives results
Discrete time systems
Diagnosis
Chronicles
- Rights
- closedAccess
- License
- CC0 1.0 Universal
Summary: | Simultaneous occurrences of events have been a crucial and hard problem since the beginning of the research about automaton and simulation theories of discrete event systems, for more than 50 years. This article addresses some diagnosis problems in industrial processes, situations such as simultaneity of events, false positives, and partial recognition of event sequences. V-nets are presented as a means to model dynamic processes without the state machine concept and, the robustness and capability to identify different sequences of discrete events. With the V-nets formalism, it is possible to identify the evolution of the discrete events, simultaneous occurrences of events, partial recognition, counting the number of times that each discrete event occurred in a temporal sequence and this formalism also has the capability to model sequences of sequences. An example of one industrial application is presented and a comparative analysis of the Time Petri Nets, Timed Automata, and Chronicles with the V-nets is exposed. |
---|