In: Elektrie. (GDR), Vol. 41, No. 12, pages 446-449. 1987.
Abstract: A Petri net model is used and adapted to the design of process control. Furthermore the formal testing possibilities of Petri net theory are used to uncover errors in the design of the projected system.
Back to the Petri Nets Bibliography