A fast sequence control device based on enhanced Petri nets

Abstract The paper presents a sequence control device based on extended timed Petri nets, called control Petri nets, which incorporates support functions for various aspects of control specification, simulation and implementation. The sequence control device features high speed, obtained by a DSP-based implementation, and an efficient software architecture, which allow a fast Petri net evolution suitable for real-time process control.