Diseño formal sobre GHENeSys IEC-1131 compatible de sistemas de eventos dicretos con PLCs
Aún cuando se ha demostrado la efectividad del modelado sobre redes de Petri como método formal de diseño de automatizaciones con PLCs, con marcado interés de profesionales tanto de la docencia como la ingeniería, su utilización en soluciones industriales no resulta ampliamente difundido, hecho dad...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Institute of Technology and Education Galileo da Amazônia
2018-03-01
|
| Series: | ITEGAM-JETIA |
| Online Access: | https://itegam-jetia.org/journal/index.php/jetia/article/view/45 |