DocumentCode
2192849
Title
Verification and validation of control algorithms by coupling of interpreted Petri nets
Author
Frey, Georg ; Litz, Lothar
Author_Institution
Dept. of Electr. Eng., Kaiserslautern Univ., Germany
Volume
1
fYear
1998
fDate
11-14 Oct 1998
Firstpage
7
Abstract
Interpreted Petri nets (IPN) are an extension of the basic Petri net (PN) framework. They are ordinary PN with additional components to model the information flow to and from the PN. This contribution gives a general overview of the control design process. Furthermore, it shows how the different tasks in this process, especially analysis, verification and validation, can be successfully solved within the formal IPN framework.
Keywords
Petri nets; control system synthesis; formal verification; IPN; control algorithms; control design process; interpreted Petri net coupling; validation; verification; Automatic control; Automation; Control design; Control systems; Equations; Formal specifications; Logic design; Petri nets; Process control; Process design;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
ISSN
1062-922X
Print_ISBN
0-7803-4778-1
Type
conf
DOI
10.1109/ICSMC.1998.725375
Filename
725375
Link To Document