Petri nets model of emergency control system for shipping

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.