Simulation of the continuous dynamics of batch control systems based on Petri nets

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 stor...

Full description

Saved in:
Bibliographic Details
Published inConference proceedings - IEEE International Conference on Systems, Man, and Cybernetics Vol. 1; pp. 680 - 685 vol.1
Main Authors Barros, T.C., Perkusich, A.
Format Conference Proceeding Journal Article
LanguageEnglish
Published IEEE 1998
Subjects
Batch production systems
Chemical industry
Chemical processes
Continuous production
Control system synthesis
Differential equations
Inductors
Petri nets
Raw materials
Switches
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:SourceType-Scholarly Journals-2
ObjectType-Feature-2
ObjectType-Conference Paper-1
content type line 23
SourceType-Conference Papers & Proceedings-1
ObjectType-Article-3
ISBN:9780780347786
0780347781
ISSN:1062-922X
2577-1655
DOI:10.1109/ICSMC.1998.725492