Controlled Petri nets as a tool of control discrete systems simulation
An extension of Petri nets is defined. The extension is a classical Petri net controlled by a finite state machine adding and removing tokens in special places of the net. An application of the extension to design a model and a control algorithm of rolling processes is described.
scientific article; zbMATH DE number 1646956