摘要 : Petri net (PN) modeling is one of the most used formal methods in the automation applications field, together with programmable logic controllers (PLCs). Therefore, the creation of a modeling methodology for PNs compatible with th... 展开
作者 | Jose Reinaldo Silva Israel Benitez Luisa Villafruela Oriol Gomis Antoni Sudria |
---|---|
期刊名称 | 《The International Journal of Advanced Manufacturing Technology》 |
总页数 | 11 |
语种/中图分类号 | 英语 / TH166 |
关键词 | Petri nets Modeling Design systems Programmable logic controllers Verification Validation Sequential control |
馆藏号 | N2008EPST0006796 |