In: J. Korea Inf. Sci. Soc. (South Korea) Vol. 15, No. 1, pages 66-70. 1988.
Abstract: The paper deals with the modularization of software systems. Petri nets are used as a tool for software design, and a Petri net language describes possible behavior of the system. Hierarchical decomposition of the language is used as a guideline for the modularization of the software systems.