DocumentCode
2202766
Title
Simulation of the continuous dynamics of batch control systems based on Petri nets
Author
Barros, Tomaz C. ; Perkusich, Angelo
Author_Institution
Dept. de Electron. e Sistemas, Univ. Fed. de Pernambuco, Recife, Brazil
Volume
1
fYear
1998
fDate
11-14 Oct 1998
Firstpage
680
Abstract
Discusses how to apply P-timed place/transition Petri nets to simulate the continuous dynamics of batch production systems (BPS). Such systems can be seen as a hybrid system since the automation of batch production considers discrete and continuous models. An algorithm to verify the capacity of storage elements in a BPS in a given time interval is introduced. Also, an extension of the introduced algorithm in order to verify overflows are presented.
Keywords
Petri nets; batch processing (industrial); discrete event systems; dynamics; process control; P-timed place/transition Petri nets; batch control systems; continuous dynamics; hybrid system; storage elements; Batch production systems; Chemical industry; Chemical processes; Continuous production; Control system synthesis; Differential equations; Inductors; Petri nets; Raw materials; Switches;
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.725492
Filename
725492
Link To Document