Page 269 - Mechatronics for Safety, Security and Dependability in a New Era

Ch51-I044963.fm Page 253 Thursday, July 27, 2006 8:10 AM
Thursday, July 27, 2006
Page 253
8:10AM
Ch51-I044963.fm
253
253
A FRAMEWORK FOR SERVICE ENGINEERING BASED ON
HIERARCHICAL COLORED PETRI NETS

2
2
u
2
Guohui TIAN , Taisuke MIURA , Tatsunori HARA , Yoshiki SHIMOMURA , Tamio ARAI :
1
School of Control Science and Engineering, Shandong University, Jinan, China
2
Research into Artifacts, Center for Engineering, University of Tokyo, Japan
ABSTRACT

Hierarchical Colored Petri nets (HCPN) method is presented for service engineering. The top level net
gives the flow model describing the structure of a target service as a chain of agents existing in the
service. The sub pages corresponding to the substitution transitions of the top level net give the scope
models determining the sub services. Moreover, the sub pages corresponding to substitution transitions
in the scope models give the view models expressing the relationships among the Receiver State
Parameters, Content Parameters, and Channel Parameters. The development procedure in this
framework is illustrated by studying Consumer Electronics Rental Service using CPN—TOOLS.

KEYWORDS
Artifacts, service engineering, consumer electronics rental service, HCPN, CPN—TOOLS.

1. INTRODUCTION

In the modern society, consumers want to be satisfied with using products rather than with owning
them, the industrial production paradigms are changing from product-centered structure to
service-centered one considering the whole life cycle of artifacts. The new paradigm should reduce the
production and consumption volume of artifacts to an adequate, manageable size and bring this
volume into balance with natural and social constraints. Consequently, the aim should be qualitative
satisfaction rather than quantitative sufficiency and the decoupling of economic growth from material
and energy consumption. To achieve this paradigm, products should have more added values, supplied