DIAS, M. C.; http://lattes.cnpq.br/7166939121963977; DIAS, Michel Coura.
Abstract:
Hybrid systems has been of great interest in the Petri Nets World. Particularly,
the hybrid systems known as Batch Production Systems has been researched, mainly
due to the great application in food and fine chemistry industry. In such systems, the
recipes define the sequence of steps to produce one batch of product. In this work we
introduce one method to the verification of such recipes using Colored Petri Nets. Both
the discrete and continuous aspects are analysed. Finally, the implementation of the
method is illustrated by its application to examples.