VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS
Un aspecto fundamental de los sistemas de producción es la validación de su comportamiento. Paraobtener este comportamiento, se recurre frecuentemente a modelos matemáticos tales como redes de Petri, con el fin de validar su comportamiento concurrente, presencia/ausencia de bloqueos, y sincronizació...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad Nacional de Colombia
2012-01-01
|
| Series: | Dyna |
| Online Access: | http://www.redalyc.org/articulo.oa?id=49623204014 |