Title :
Petri nets model of emergency control system for shipping
Author :
Zou, Juan ; Wei, Yong ; Wu, Weimin
Author_Institution :
State Key Lab. of Ind. Control Technol., Zhejiang Univ., Hangzhou, China
Abstract :
An emergency control system for shipping is an indispensable part of the modern maritime operation system. Petri nets are useful for describing and studying information processing systems that are characterized as being concurrent, distributed parallel and asynchronous. In this paper, a generalized stochastic Petri net with finite capacity and inhibitor arc is exploited to model the emergency control system for shipping. The obtained model is analyzed using the software of PIPE. The analyzed results on modeling time and resource performance show that the obtained model is able to describe well the real physics system and provide some suggestion on improving the performance of the emergency control system for shipping.
Keywords :
Petri nets; emergency services; goods distribution; marine safety; PIPE; Petri nets model; emergency control system; finite capacity; generalized stochastic Petri net; information processing systems; inhibitor arc; maritime operation system; real physics system; shipping; Accidents; Analytical models; Control systems; Fires; Firing; Inhibitors; Petri nets; GSPN; PIPE; emergency control system for shipping; marine accident;
Conference_Titel :
Networking, Sensing and Control (ICNSC), 2012 9th IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4673-0388-0
DOI :
10.1109/ICNSC.2012.6204933