DESIGN AND VERIFICATION OF CONCURRENT SWITCHING SEQUENCES WITH PETRI NETS

被引：10

作者：

DESA, P

PAIVA, S

机构：

[1] Instituto Superior Técnico, Seccão de Energia, 1096, Lisboa Codex

来源：

IEEE TRANSACTIONS ON POWER DELIVERY | 1990年 / 5卷 / 04期

关键词：

proof of correctness computer aided verification; Substations integrated control systems;

D O I：

10.1109/61.103672

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

Automatic switching sequences are usually performed by stand-alone devices. Because the events that trigger those sequences are random in time, the control functions happen to be in competiton for the same equipment. Integrating reliably these concurrent functions on any computer-based system is a complex design work, because the number of different possible conditions grows exponentially with the number of sequences. In this paper it is shown how dynamical and structural properties of Petri nets can be used in computer-aided proof of important assertions about integrated control systems. Methods to reduce complexity with Petri nets specifications are illustrated with a detailed example of automatic switching sequences in distribution substations. © 1990 IEEE

引用

页码：1766 / 1772

页数：7