Hierarchical predication/transition Petri nets for software component representation

Many techniques have been proposed to model the information management system. However, they have no formally defined semantics. This paper presents a new modeling technique (MPtr/spl I.bar/nets) based on predication/transition Petri nets to describe component-based information management systems. The MPtr/spl I.bar/nets is made up of predication/transition Petri nets to form a tree. The structure of the nets is layered and MPtr/spl I.bar/nets gradually describes the system from top to bottom. Structural definitions, behavioral rules and graphical representation of the new modeling technique are given. Examples are shown to illustrate the applicability and efficiency of the proposed modeling technique.