In: Electron. Commun. Jpn., Part III, Fundam. Electron. Sci., Vol. 73, No. 5, pages 8-18. May 1990.
Abstract: In the Petri net model, a hierarchical representation is considered such that in a refinement step, one of the elements in the net is replaced by a subnet which represents its behavior in more detail. This paper considers some questions regarding this hierarchical representation of Petri nets, such as whether properties such as liveness and safeness of nets are preserved by the refinement. In particular, the authors consider simultaneous refinement of parallel transitions to derive several sufficient conditions concerning preservation of properties of the net, and represent these as conditions on subnets which are to replace blocks in the parent net.
Keywords: preservation (of) liveness (and) safeness (in) hierarchical net; subnet; simultaneous refinement (of) parallel transitions.