1. Workflow Treatment with Coloured Petri Nets Alexandru Cicortaş Diana Dubu{cico,ddubu}@info.uvt.ro

2. 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 as some of the most used tools in formal verification of workflow

3. 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

4. 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

5. (Salimifard, Wright)

6. 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

8. 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

10. 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

11. 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

12. 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

13. 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)  a resource requested will be released (after its usage)  the resource preservation can be expressed by a place invariant of the system.

14. 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

15. 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.

16. Our Goal  attributes are needed in order to emphasize: the resource state (i.e. failed, not failed) the resource state (i.e. failed, not failed) similarity behavior similarity behavior timing aspects of their usage, failure, etc. timing aspects of their usage, failure, etc. history (used in eventually learning process) history (used in eventually learning process)  some components of the proposed system represented as agents from a multi-agent system

17. Thank you for your attention. Questions, please...