workflow treatment with coloured petri nets alexandru cicortaş diana dubu{cico,ddubu}@info.uvt.ro
TRANSCRIPT
Workflow Treatment Workflow Treatment with Coloured Petri with Coloured Petri
NetsNets
Alexandru Cicortaş Diana Dubu
{cico,ddubu}@info.uvt.ro{cico,ddubu}@info.uvt.ro
The Petri Nets ApproachThe Petri Nets Approach
growing requirements in the industry growing requirements in the industry concerning the formal verification concerning the formal verification
need for efficient tools need for efficient tools sophisticated sophisticated models models Petri nets and derivates: Petri nets and derivates: Coloured Petri Nets Coloured Petri Nets Timed CPNTimed CPN
as some of the most used tools in formal as some of the most used tools in formal verification of workflow verification of workflow
OutlinesOutlines
the kernel of the model which manages the the kernel of the model which manages the system workflows system workflows
the model of task structurethe model of task structure
the organization model the organization model
a review of the performance analysisa review of the performance analysis
extended model extended model
future workfuture work
OutlinesOutlines
the kernel of the model which manages the the kernel of the model which manages the system workflowssystem workflows
the model of task structurethe model of task structure
the organization model the organization model
a review of the performance analysisa review of the performance analysis
extended model extended model
future workfuture work
(Salimifard, Wright)
OutlinesOutlines
the kernel of the model which manages the the kernel of the model which manages the system workflows system workflows
the model of task structurethe model of task structure
the organization model the organization model
a review of the performance analysisa review of the performance analysis
extended model extended model
future workfuture work
OutlinesOutlines
the kernel of the model which manages the the kernel of the model which manages the system workflows system workflows
the model of task structurethe model of task structure
the organization modelthe organization model
a review of the performance analysisa review of the performance analysis
extended model extended model
future workfuture work
OutlinesOutlines
the kernel of the model which manages the the kernel of the model which manages the system workflows system workflows
the model of task structurethe model of task structure
the organization model the organization model
a review of the performance analysisa review of the performance analysis
extended model extended model
future workfuture work
Activity Based CostingActivity Based Costing Performance measures used to answerPerformance measures used to answer
how long does it take for an instance of the how long does it take for an instance of the process to be processed?process to be processed?
what is the probability that a particular what is the probability that a particular resource is idle?resource is idle?
Activity based costing (Turney, 1991) - a Activity based costing (Turney, 1991) - a technique which reports the actual cost technique which reports the actual cost associated with processing each activityassociated with processing each activity
OutlinesOutlines
the kernel of the model which manages the the kernel of the model which manages the system workflows system workflows
the model of task structurethe model of task structure
the organization model the organization model
a review of the performance analysisa review of the performance analysis
extended modelextended model
future workfuture work
Structural SoundnessStructural Soundness an extension to the classical results for 1-safe an extension to the classical results for 1-safe
Petri netsPetri nets
the soundness property for one case is proved the soundness property for one case is proved also for n cases (Bakaoui, Perucci)also for n cases (Bakaoui, Perucci)
the resources modeled through a set of places the resources modeled through a set of places added the Wf-net are preserved by the netadded the Wf-net are preserved by the net
a resource requested will be released (after its a resource requested will be released (after its usage)usage)
the resource preservation can be expressed by a the resource preservation can be expressed by a place invariant of the system.place invariant of the system.
OutlinesOutlines
the kernel of the model which manages the the kernel of the model which manages the system workflows system workflows
the model of task structurethe model of task structure
the organization model the organization model
a review of the performance analysisa review of the performance analysis
extended model extended model
future workfuture work
Our GoalOur Goal
the workflow must be able to use the workflow must be able to use resources that alter in time (partially or resources that alter in time (partially or totally)totally)
resources can fail and eventually they can resources can fail and eventually they can be repaired and re-entered into the be repaired and re-entered into the system. system.
some resources can be viewed as agents some resources can be viewed as agents that are able to reason or even learn from that are able to reason or even learn from observation or their own experience.observation or their own experience.
Our GoalOur Goal attributes are needed in order to emphasize:attributes are needed in order to emphasize:
the resource state (i.e. failed, not failed)the resource state (i.e. failed, not failed)
similarity behaviorsimilarity 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 some components of the proposed system represented as agents from a multi-agent systemrepresented as agents from a multi-agent system
Thank you for your attention.Thank you for your attention.
Questions, please...Questions, please...