In: Proceedings of the 12th International Conference on Application and Theory of Petri Nets, 1991, Gjern, Denmark, pages 390-409. June 1991.
Abstract: The aim of this paper is to provide a hierarchical design method, refinement by replacing place-bordered subnets, with a hierarchical analysis method based on equivalence and preorder. The author considers nets with distinguished states (stable states), called open interface nets (OI-nets); OI-systems are OI-nets such that the stable state set is a home space. Since an equivalence is too restrictive in hierarchical design and it is only possible to replace subnets of N whose border is a subset of the interface of N, an interface expansion operation is defined giving rise to a preorder.
Keywords: replacement (of) open interface subnet(s); stable state transformation equivalence; hierarchical design; refinement (by) replacing place-bordered subnet(s); open interface net; open interface system; home space; interface expansion, preorder.