Addition of fault detection capabilities in automation applications using Petri nets

被引：0
作者：
Gomes, L [1 ]
Barros, JP [1 ]
Lino, R [1 ]
机构：
[1] Univ Nova Lisboa, Uninova, Portugal
来源：
Proceedings of the IEEE-ISIE 2004, Vols 1 and 2 | 2004年
关键词：
automation systems; Petri nets; Grafcet; composition; fault detection;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：645 / 650
页数：6
相关论文
共 18 条
  • [1] BARROS JP, 2003, 3 INT C APPL CONC SY
  • [2] BERNARDINELLO L, 1992, LECT NOTES COMPUTER
  • [3] BUCHHOLZ P, 1994, P 15 INT C ZAR SPAIN, V815
  • [4] CHRISTENSEN S, 2000, COMPUTER J, V43
  • [5] David R., 1992, Petri Nets and Grafcet-tools for Modelling Discrete Events Systems
  • [6] Desel J, 2001, LECT NOTES COMPUT SC, V2128, P1
  • [7] DESEL J, 1998, BASIC MODELS, V1491, P122
  • [8] GOMES L, 2002, P 5 PORT C AUT CONTR
  • [9] GOMES L, 2003, 2003 IEEE C EM TECHN
  • [10] HUBER P, 1989, P 10 INT C APPL THEO, P192
12