Addition of fault detection capabilities in automation applications using petri nets. Gomes, L., Barros, J., P., & Lino, R. In IEEE International Symposium on Industrial Electronics, volume 1, pages 645-650, 2004.
abstract   bibtex   
Automation systems' design clearly benefits from the use of formal methods. These should provide a simple way to support system's modifications and evolution. Petri nets provide a model of computation commonly used in automation system design. This paper presents a methodology allowing Petri nets' design models to accommodate specific fault detection capabilities. It allows the modeller to specify the desired changes, in a structured way, across the model. The methodology is based on the addition and subtraction of net parts. The paper shows its application to an automation system of a pulp industry producer, where specific fault detection strategies can be tested and replaced by a new one, through the proposed subtractions and additions.
@inProceedings{
 id = {5a3b3e0e-6f30-3ae7-b13f-ed680e545861},
 title = {Addition of fault detection capabilities in automation applications using petri nets},
 type = {inProceedings},
 year = {2004},
 keywords = {Automation systems,Composition,Fault detection,Grafcet,Petri nets},
 created = {2015-02-03T17:57:23.000Z},
 pages = {645-650},
 volume = {1},
 file_attached = {false},
 profile_id = {110ddaf8-5785-3f17-8c5c-71dcba3c519c},
 last_modified = {2015-02-03T17:57:24.000Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {true},
 hidden = {false},
 abstract = { Automation systems' design clearly benefits from the use of formal methods. These should provide a simple way to support system's modifications and evolution. Petri nets provide a model of computation commonly used in automation system design. This paper presents a methodology allowing Petri nets' design models to accommodate specific fault detection capabilities. It allows the modeller to specify the desired changes, in a structured way, across the model. The methodology is based on the addition and subtraction of net parts. The paper shows its application to an automation system of a pulp industry producer, where specific fault detection strategies can be tested and replaced by a new one, through the proposed subtractions and additions.},
 bibtype = {inProceedings},
 author = {Gomes, Luis and Barros, João Paulo and Lino, Rui},
 booktitle = {IEEE International Symposium on Industrial Electronics}
}
Downloads: 0