Workflow model based on colored and timed Petri nets

Abstract

In order to adapt the complexity and omission of present work, and make the workflow more convenient for operation, it divides the workflow model into three sub modelsprocess model, task flow model and resource model in this paper, which called process-task flow-resource model. Process model works for the general flow of the whole work using common Petri nets modeling, resource model is responsible for resource allocation with colored Petri nets, and task flow model adapts timed Petri nets modeling to formulate the task flow for specific work. (Abstract) Keywords-Petri nets; workflow model; process model; task flow model; resource model(key words) I. II. Petri 1 S m ( ) s S m s s ∈ m(s) s m s s m ∈ ∅ 0 ( , ; , , , , ) CPN P T F C I I M − + = ( , ; ) P T F : ( ) C P T D δ ∪ → ( ) D δ p P ∈ ( ) C p t T ∈ ( ) C t I − I + P T × ( , ) p t P T ∈ × ( , ) [ ( ) ( ) ] MS MS L

A Complex Adaptive System of Systems Approach to Human–Automation Interaction in Smart Grid

“…Petri nets, introduced in 1962 by C. A. Petri, are basically known as powerful tools for modeling and analysis of systems with concurrent, distributed, nondeterministic, and/or asynchronous behavior. Some examples of application areas of Petri nets are manufacturing systems [220][221][222][223][224][225], robot planning [226][227][228][229][230][231], financial systems [232][233][234], computational biology [235][236][237][238][239][240], transportation systems [241][242][243][244][245], and work flow analysis [246][247][248].…”