Petri nets: an introduction
Woflan: a Petri-net-based workflow analyzer
Systems Analysis Modelling Simulation
Verification of workflow task structures: A petri-net-based approach
Information Systems
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Business Modeling With UML: Business Patterns at Work
Business Modeling With UML: Business Patterns at Work
Verification support for workflow design with UML activity graphs
Proceedings of the 24th International Conference on Software Engineering
UML Activity Diagrams as a Workflow Specification Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Extending UML Activity Diagram for Workflow Modeling in Production Systems
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
WOSP '04 Proceedings of the 4th international workshop on Software and performance
On developing system dynamics model for business process simulation
WSC '05 Proceedings of the 37th conference on Winter simulation
Principles for support of the business processes
WSEAS Transactions on Information Science and Applications
High efficient scheduling mechanism for distributed knowledge discovery platform
WSEAS Transactions on Information Science and Applications
Business process management: a survey
BPM'03 Proceedings of the 2003 international conference on Business process management
A top-down Petri net-based approach for dynamic workflow modeling
BPM'03 Proceedings of the 2003 international conference on Business process management
WSEAS Transactions on Information Science and Applications
A method of automatic integration test case generation from UML-based scenario
WSEAS Transactions on Information Science and Applications
Proceedings of the 15th WSEAS international conference on Systems
Hi-index | 0.00 |
Since business workflows are closely related to enterprise performance, successfule execution of workflow is a critical driving force for strategic advantages of enterprise. Therefore, it is quite essential to customer satisfaction and productivity enhancement that structural errors in workflow instances must be detected and their performance must be evaluated before their enactments. For a structural verification and performance evaluation of workflows, this paper integrates the strengths of UML activity diagram and Petri net, proposes the mapping scheme from UML activity diagram to Petri net, verify the structural errors of workflow using the reachability tree analysis, and finally predict the workflow performance before its execution using the business process simulation. Through the proposed workflow analysis procedure, workflow modelers in enterprises can analyze the qualitative and quantitative aspects of workflow in an integrated way.