VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS
A fundamental issue of production systems is the validating of their output. In order to obtain this output, mathematical models such as Petri nets are used to validate concurrent behaviors, presence/absence of blockings, and activity synchronization, among other aspects of this industrial process....
Zapisane w:
| Wydane w: | Dyna |
|---|---|
| Główni autorzy: | , |
| Format: | Artigo |
| Język: | Inglês |
| Wydane: |
Universidad Nacional de Colombia
2012
|
| Hasła przedmiotowe: | |
| Dostęp online: | https://www.redalyc.org/articulo.oa?id=49623204014 |
| Etykiety: |
Nie ma etykietki, Dołącz pierwszą etykiete!
|