Using a Uniform Petri Net for Safety Workflow Management Systems

The Aiming at the lack of an agreed and standard modelling technique of safety workflow management systems, A model of uniform Petri Net for safety workflow management is presented based on Petri Net, in which the four patterns of sub- Petri Net along with algorithms are proposed to model resource allocation and assignment decision, a set of composition rules are proposed to guarantee that the patterns and the rest of the Petri- Net integrated well. The model extends traditional Petri Nets with resource assignments and case handling. Finally, the model is applied on an illustrative example of a synthetic data set. The results show that the model is effective and reasonable through approving.