A Petri nets-based scheduling methodology for multipurpose batch plants

摘要

To present an optimization methodology of batch production processes assembled by shared resources that rely on a mapping of state events into time events. A technique to generate the timed Petri net (PN) representation from a continuous dynamic representation of the production system is presented together with the main features of a PN-based tool implemented for optimization purposes. It describes (with examples) how the implemented tool generates the coverability tree and how it could be pruned by a general purpose heuristic.