Service Model using Petri Nets

society in order to achieve “appropriate production, appropriate consumption, and least waste ” rather than “mass production, mass consumption, and mass waste ” [1]. A service is defined as an activity that changes the state of a service receiver. A service model consists of three sub-models: scope model, view model and flow model [2] We present a research framework for service engineering based on a kind of high-level Petri Nets—Hierarchical Colored Petri Nets[3]. In this framework, a flow model is presented in top level net so as to describe the structure of a target service as a chain of agents existing in the service (see Fig.1). Then the sub pages corresponding to the substitution transitions of the top level net give the inner structure, which determines the sub services including all agents as receivers (see Fig.2). Thus the sub pages show a scope model. Moreover, there are also substitution transitions in the scope model; the sub pages corresponding to them give the view models expressing the relationships among the RSPs (Receiver State Parameters), CoPs (Content Parameters), and ChPs (Channel Parameters) (see Fig.3). In this framework, we can represent information of material flow, and deal with RSPs for th