In: Electron. Commun. Jpn. 1, Commun. (USA), Vol. 71, No. 7, pages 22-32. 1988.
Abstract: The design methods presently employed for large-scale systems are characterized by bottom-up or top-down hierarchy. The Petri net is a model which can be used for qualitative analysis and verification of the distributed systems. The paper discusses this problem and specifies the condition in terms of the net structure and the initial token distributions so that those properties are preserved.