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.
Published in:
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
(Volume:1
)
Date of Conference: 11-14 Oct 1998