Title :
Petri nets model for service engineering
Author_Institution :
Shandong Univ. of Sci. & Technol., Taian, China
Abstract :
Our research aim is to develop techniques for dasiaservice process control and schedulingpsila. In this paper, we introduce a kind of high-level Petri Nets-Colored Petri Nets to service engineering, and present a case study by modeling a well popularly known service system-restaurant service system in the environment of simulation software-CPN Tools.
Keywords :
Petri nets; graph colouring; process control; service industries; colored Petri net; restaurant service system; service engineering; service process control; Automation; Design engineering; Feedback control; Logistics; Manufacturing industries; Mass production; Petri nets; Power system modeling; Process control; Systems engineering and theory; Artifacts; Colored Petri nets; Life cycle; Petri nets; Restaurant service system; Service engineering;
Conference_Titel :
Automation and Logistics, 2009. ICAL '09. IEEE International Conference on
Conference_Location :
Shenyang
Print_ISBN :
978-1-4244-4794-7
Electronic_ISBN :
978-1-4244-4795-4
DOI :
10.1109/ICAL.2009.5262845
