Verificação de receitas em sistemas de produção em lotes.

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.