Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation
Silva, José Reinaldo and Benitez, Israel and Villafruela, Luisa and Gomis, Oriol and Sudriá
- Journal
- The International Journal of Advanced Manufacturing Technology
- Autor
- Silva, José Reinaldo and Benitez, Israel and Villafruela, Luisa and Gomis, Oriol and Sudriá
- Book Title
- Volume
- 36
- Página(s)
- 1180--1190
- DOI
- 10.1007/s00170-006-0924-5
- Published
- 2007
- Month
- 0
- Tipo de Documento
- Artigo em Revista
- Abstract
- Keywords
- design systems,modeling,petri nets,programmable logic controllers,validation,verification
- Publisher
- URL
- http://link.springer.com/10.1007/s00170-006-0924-5