Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation
Silva, J. R., Benitez, I., Villafruela, Luisa, Gomis, Oriol, Sudriá, Antony
- Journal
- The International Journal of Advanced Manufacturing Technology
- Autor
- Silva, J. R., Benitez, I., Villafruela, Luisa, Gomis, Oriol, Sudriá, Antony
- Book Title
- Volume
- 36
- Página(s)
- 1180--1190
- DOI
- 10.1007/s00170-006-0924-5
- Published
- 2008
- Month
- 0
- Tipo de Documento
- Artigo em Revista
- Abstract
- Keywords
- design systems,modeling,petri nets,programmable logic controllers,validation,verification
- Publisher
- Springer
- URL
- http://www.springerlink.com/index/E170414M0K6G3442.pdf