Download
1 / 17
170 likes | 306 Views
Workflow Treatment with Coloured Petri Nets. Alexandru Cicorta ş Diana Dubu {cico,ddubu}@info.uvt.ro. The Petri Nets Approach. growing requirements in the industry concerning the formal verification need for efficient tools sophisticated models Petri nets and derivates:
E N D
Workflow Treatment with Coloured Petri Nets Alexandru Cicortaş Diana Dubu {cico,ddubu}@info.uvt.ro
The Petri Nets Approach • growing requirements in the industry concerning the formal verification • need for efficient tools sophisticated models Petri nets and derivates: • Coloured Petri Nets • Timed CPN as some of the most used tools in formal verification of workflow
Outlines • the kernel of the model which manages the system workflows • the model of task structure • the organization model • a review of the performance analysis • extended model • future work
Outlines • the kernel of the model which manages the system workflows • the model of task structure • the organization model • a review of the performance analysis • extended model • future work
Outlines • the kernel of the model which manages the system workflows • the model of task structure • the organization model • a review of the performance analysis • extended model • future work
Outlines • the kernel of the model which manages the system workflows • the model of task structure • the organization model • a review of the performance analysis • extended model • future work
Outlines • the kernel of the model which manages the system workflows • the model of task structure • the organization model • a review of the performance analysis • extended model • future work
Activity Based Costing • Performance measures used to answer • how long does it take for an instance of the process to be processed? • what is the probability that a particular resource is idle? • Activity based costing (Turney, 1991) - a technique which reports the actual cost associated with processing each activity
Outlines • the kernel of the model which manages the system workflows • the model of task structure • the organization model • a review of the performance analysis • extended model • future work
Structural Soundness • an extension to the classical results for 1-safe Petri nets • the soundness property for one case is proved also for n cases (Bakaoui, Perucci) • the resources modeled through a set of places added the Wf-net are preserved by the net a resource requested will be released (after its usage) • the resource preservation can be expressed by a place invariant of the system.
Outlines • the kernel of the model which manages the system workflows • the model of task structure • the organization model • a review of the performance analysis • extended model • future work
Our Goal • the workflow must be able to use resources that alter in time (partially or totally) • resources can fail and eventually they can be repaired and re-entered into the system. • some resources can be viewed as agents that are able to reason or even learn from observation or their own experience.
Our Goal • attributes are needed in order to emphasize: • the resource state (i.e. failed, not failed) • similarity behavior • timing aspects of their usage, failure, etc. • history (used in eventually learning process) • some components of the proposed system represented as agents from a multi-agent system
