In: J. Soc. Instrum. Control Eng. (Japan), Vol. 27, No. 8, pages 672-679. August 1988. In Japanese.
Abstract: The authors describe the outline of the extended net model of the Petri net and its application fields, basic net theory from the viewpoint of applications, net theory application to analysis and design of hierarchical discrete systems such as FA and FMS, and the method of representation/verification of the sequential control system by mark flow graph.