Abstract
Workflow management is a fast evolving technology which can support business process reengineering and realize the full or partial automatic process of a business. A formal model of workflow should contain at least four major dimensions: the process, resource, case and time dimensions. Although much research has been devoted to this subject, to the best of our knowledge, no existing research is able to model workflow with the four dimensions at the same time. In this paper, a formal model, named as WF-RAPN (A Resource Assignment Petri Net for Workflow Management) is shown. The model extends traditional Petri Nets with resource assignments and case handling. To guarantee that resources are correctly consumed and execution time of each case is soundly calculated in the modeled processes, a formal set of WF-RAPN composition rules are designed and the proof of the correctness is also shown in the paper.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Wang, J., Liu, D., Chan, S.C.F., Zhang, L., Sun, J.: Modeling workflow processes with colored petri nets. Computers in Industry 49, 267–281 (2002)
Hasegawa, K., Miyagi, P.E., Santos, D.J., Takahashi, K., Ma, L., Sugisawa, M.: On resource arc for petri net modeling of complex resource sharing system. Journal of International Robotic Systems Theory and Applications 26, 423–437 (1999)
Kim, J., Desrochers, A.A., Sanderson, A.C.: Task planning and project management using petri nets. IEEE International Symposium on Assembly and Task Planning 10, 265–271 (1995)
Li, J., Fan, Y.S., Zhou, M.C.: Timing constraint workflow nets for workflow analysis. IEEE Transactions on Systems 33, 179–193 (2003)
Murata, T.: Petri nets: properties, analysis and applications. In: Proc. IEEE, vol. 77, pp. 541–580 (1989)
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)
Tsai, J.P., Yang, S.J.: Timing constraint petri nets and their application to schedulability analysis of real-time system specifications. IEEE Trans on Software Eng. 21, 32–49 (1995)
van der Aalst, W.M.P.: The application of petri nets to workflow management. Journal of Circuits, Systems and Computers 8, 21–66 (1998)
WfMC. Workflow Management Coalition Terminology and Glossary (WFMC-TC-1011 Issue 3.0). Workflow Management Coalition (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hsu, PY., Chen, YL., Chang, YB. (2006). A Four Dimensional Petri Net Approach for Workflow Management. In: Li Lee, M., Tan, KL., Wuwongse, V. (eds) Database Systems for Advanced Applications. DASFAA 2006. Lecture Notes in Computer Science, vol 3882. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11733836_43
Download citation
DOI: https://doi.org/10.1007/11733836_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33337-1
Online ISBN: 978-3-540-33338-8
eBook Packages: Computer ScienceComputer Science (R0)