@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}
}

{"_id":"MCTLyRRkYbsf3SCvA","authorIDs":[],"author_short":["Gomes, L.","Barros, J., P.","Lino, R."],"bibbaseid":"gomes-barros-lino-additionoffaultdetectioncapabilitiesinautomationapplicationsusingpetrinets-2004","bibdata":{"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","bibtex":"@inProceedings{\n id = {5a3b3e0e-6f30-3ae7-b13f-ed680e545861},\n title = {Addition of fault detection capabilities in automation applications using petri nets},\n type = {inProceedings},\n year = {2004},\n keywords = {Automation systems,Composition,Fault detection,Grafcet,Petri nets},\n created = {2015-02-03T17:57:23.000Z},\n pages = {645-650},\n volume = {1},\n file_attached = {false},\n profile_id = {110ddaf8-5785-3f17-8c5c-71dcba3c519c},\n last_modified = {2015-02-03T17:57:24.000Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n 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.},\n bibtype = {inProceedings},\n author = {Gomes, Luis and Barros, João Paulo and Lino, Rui},\n booktitle = {IEEE International Symposium on Industrial Electronics}\n}","author_short":["Gomes, L.","Barros, J., P.","Lino, R."],"bibbaseid":"gomes-barros-lino-additionoffaultdetectioncapabilitiesinautomationapplicationsusingpetrinets-2004","role":"author","urls":{},"keyword":["Automation systems","Composition","Fault detection","Grafcet","Petri nets"],"downloads":0,"html":""},"bibtype":"inProceedings","biburl":null,"creationDate":"2015-04-16T08:06:04.737Z","downloads":0,"keywords":["automation systems","composition","fault detection","grafcet","petri nets"],"search_terms":["addition","fault","detection","capabilities","automation","applications","using","petri","nets","gomes","barros","lino"],"title":"Addition of fault detection capabilities in automation applications using petri nets","year":2004}