Simultaneous occurrences and false-positives analysis in discrete event dynamic systems
| Autor: | Adalberto Ospino Castro, John William Vásquez Capacho, Yecid Alfonso Muñoz Maldonado, Carlos Gustavo Perez Zuniga |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Finite-state machine
General Computer Science Computer science 02 engineering and technology Petri net 01 natural sciences 010305 fluids & plasmas Theoretical Computer Science Automaton Formalism (philosophy of mathematics) Robustness (computer science) Modeling and Simulation 0103 physical sciences 0202 electrical engineering electronic engineering information engineering False positive paradox 020201 artificial intelligence & image processing Algorithm |
| Zdroj: | Journal of Computational Science. 44:101162 |
| ISSN: | 1877-7503 |
| DOI: | 10.1016/j.jocs.2020.101162 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect