Probability timing constraint WF-nets and their application to timing schedulability analysis of workflow management systems

2009 WRI World Congress on Computer Science and Information Engineering, CSIE 2009

Volumn 7, Issue , 2009, Pages 669-673

  Rui, Han ^a   Yingbo, Liu ^a   Lijie, Wen ^a   Jianmin, Wang ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS RESULTS; SCHEDULABILITY ANALYSIS; TASK EXECUTIONS; TIMING CONSTRAINTS; WORKFLOW MANAGEMENT SYSTEMS;

COMPUTER SCIENCE; MANAGEMENT; PROBABILITY; TIMING CIRCUITS; WORK SIMPLIFICATION;

TIME MEASUREMENT;

EID: 71049150121     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSIE.2009.196     Document Type: Conference Paper

References (11)

1. E. Johann and P. Euthimios, "Managing Time in Workflow Systems," in Workflow Handbook 2001, L. Fischer, Ed.: Future Strategies Inc., 2000, pp. 109-132.
2. L. Fischer, "Workflow Handbook 2005," Future Strategies Inc., Florida 2005.
3. J. J. P. Tsai, S. Jennhwa Yang, and C. Yao-Hsiung, "Timing constraint Petri nets and their application to schedulability analysis of real-time system specifications," Software Engineering, IEEE Transactions on, vol. 21, pp. 32-49, 1995.
4. C. Jinjun and Y. Yun, "Multiple temporal consistency states for dynamical verification of upper bound constraints in grid workflow systems," presented at e-Science and Grid Computing, 2005. First International Conference on, 2005.
5. J. C. Y. Yang, "Flexible Temporal Consistency for Fixed-Time Constraint Verification in Grid Workflow Systems " in Grid and Cooperative Computing - GCC 2005 vol. Volume 3795/2005, Lecture Notes in Computer Science. Heidelberg: Springer Berlin / Heidelberg, 2005, pp. 300-311.
6. L. H. F, F YuShun, "Workflow Model Analysis Based on Time Constraint Petri Nets," Journal of Software, vol. 15, 2004.
7. W. M. P. v. d. Aalst, "The Application of Petri Nets to Workflow Management," The Journal of Circuits, Systems and Computers, vol. 8, pp. 21-66, 1998.
8. K. Eleanna and K. Kamalakar, "Temporally Constrained Workflows," in Proceedings of the 5th International Computer Science Conference on Internet Applications: Springer-Verlag, 1999.
9. P. Heinz, E. Johann, and L. Walter, "ePERT: Extending pert for workflow management systems " presented at the First East-European Symposium on Advances in Database and Information Systems(ADBIS 1997), st. Petersburg, Russia, 1997.
10. E. Johann, G. Wolfgang, and P. Euthimios, "Temporal Modeling of Workflows with Conditional Execution Paths," in Proceedings of the 11th International Conference on Database and Expert Systems Applications: Springer-Verlag, 2000.
11. E. Johann, P. Euthimios, and R. Michael, "Time Constraints in Workflow Systems," in Proceedings of the 11th International Conference on Advanced Information Systems Engineering: Springer-Verlag, 1999.