DocumentCode
1856314
Title
A Formal Design of Automation Systems Based on Operation Modes Using High-level Petri Net
Author
Panjaitan, Seno Darmawan
Author_Institution
Dept. of Electr. Eng., Tanjungpura Univ., Pontianak, Indonesia
fYear
2010
fDate
2-3 Dec. 2010
Firstpage
129
Lastpage
131
Abstract
Several Operation Modes (OMs) guidelines and the related design are currently proposed by academicians and related organizations in informal way. However, the informal design has no verification method to analyze the design. This paper proposes a formal OMs-based design for automation systems by providing the template design modeled by using Colored Petri Net. Several analysis properties are considered, i.e. model statistic, home marking, boundedness, and deadlock. The design also describes the execution behavior of the used mechatronic components.
Keywords
Petri nets; formal verification; mechatronics; production engineering computing; automation systems design; colored Petri net; high-level Petri net; mechatronic components; operation modes; Automation; Guidelines; Manuals; Mechatronics; Process control; System recovery; Unified modeling language; automation system; colored Petri net; mechatronics; operation modes; verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Advances in Computing, Control and Telecommunication Technologies (ACT), 2010 Second International Conference on
Conference_Location
Jakarta
Print_ISBN
978-1-4244-8746-2
Electronic_ISBN
978-0-7695-4269-0
Type
conf
DOI
10.1109/ACT.2010.18
Filename
5675827
Link To Document