In: Microprocessors and Microsystems, Vol. 15, No. 4, pages 179-186. May 1991.
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.
Keywords: fast sequence control device (based on) enhanced net; extended timed net; digital signal processor; real-time process control.