In: Journal of the Society of Instrument and Control Engineers, Vol. 28, No. 9, pages 751-759. September 1989. In Japanese.
Abstract: The author presents the theory and analysis of Petri nets, which include reachability tree, state equation, and structures.
Keywords: analysis (of) nets; theory (of) nets; reachability tree.