Abstract
Today’s workflow systems are crossing organizational boundaries and usually involve multiple organizations or partners, and the cross-organization workflow has received much public attention from both the academia and the industry. This way the property analysis as well as system control for a cross-organization workflow is very important. In this paper, we focus on a kind of loosely coupled workflow architecture with synchronous interaction pattern, i.e. each organization owns its private workflow process and can operate independently, and they need to synchronize through certain tasks. Its behavior description approach is obtained using the synchronized shuffle operation of Petri net language. It is proved that our approach benefits the behavior characterization of cross-organizational workflow with synchronous interaction pattern and can be further used to decide and control the fairness, liveness, deadlock and trap for the cross-organization workflow. A running case of cross-organizational medical diagnosis workflow is given to validate our approaches throughout the whole 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
Van Der Aalst, W.M.P.: Interorganizational workflows: an approach based on message sequence charts and petri nets. System Analysis and Modeling 34(3), 335–367 (1999)
Van Der Aalst, W.M.P.: Process-oriented architectures for electronic commerce and interorganizational workflow. Information Systems 24(8), 639–671 (1999)
Van Der Aalst, W.M.P.: Loosely coupled interorganizational workflow: Modeling and analyzing workflows crossing organizational boundaries. Information Management 37, 67–75 (2000)
Zeng, Q., Lu, F., Liu, C., Duan, H., Zhou, C.: Modeling and Verification for Cross-department Collaborative Medical Business Processes Using Extended Petri Nets. IEEE Transaction on System, Man and Cybernetics: Systems (forth coming in 2014)
Zeng, Q., Sun, S.X., Duan, H., et al.: Cross-organizational collaborative workflow mining from a multi-source log. Decision Support Systems 54(3), 1280–1301 (2013)
Liu, C., Zeng, Q., Duan, H., Zhou, M., Lu, F., Cheng, J.: E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resource and Uncertain Durations. IEEE Transaction on System, Man and Cybernetics: Systems (forth coming in 2014)
Wang, H., Zeng, Q.: Modeling and Analysis for Workflow Constrained by Resources and Nondetermined Time: An Approach Based on Petri Nets. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 38(4), 802–817 (2008)
Zeng, Q., Wang, H., Xu, D., Duan, H., Han, Y.: Conflict detection and resolution for workflows constrained by resources and non-determined durations. Journal of Systems and Software 819, 1491–1504 (2008)
Van Der Aalst, W.M.P.: The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers 8(01), 21–66 (1998)
Reisig, W.: Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies. Springer (2013)
Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Peterson, J.L.: Petri nets. ACM Computing Surveys 9(3), 223–252 (1977)
Latteux, M., Roos, Y.: Synchronized shuffle and regular languages. In: Karhumaki, J., Maurer, H.A., Paun, G., Rozenberg, G. (eds.) Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa, pp. 35–44. Springer (1999) ISBN 3-540-65984-6
Zeng, Q., Duan, H.: Behavior description for complex flexible manufacturing system based on decomposition of Petri net. International Journal of Computer Systems Science and Engineering 22(6), 359–363 (2007)
Garg, V.K., Raugunath, M.T.: Concurrent regular expressions and their relationships to Petri net. Theoretical Computer Science 96(2), 258–304 (1992)
Schulz, K.A., Orlowska, M.E.: Facilitating cross-organisational workflows with a workflow view approach. Data Knowledge Engineering 51(1), 109–147 (2004)
Jiang, P., Shao, X., Qiu, H., Li, P.: Interoperability of Cross-organizational Workflows based on Process-view for Collaborative Product Development. Concurrent Engineering 16(1), 73–87 (2008)
Yan, C.-G., Jiang, C.-J., Sun, P., Li, Q.-Y.: The Language Study for Workflow Net System Based on Petri Net Reduction Technique. International Journal of Studied in Informatics and Control 15(4), 337–350 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liu, C., Zeng, Q., Duan, H., Lu, F. (2015). Petri Net Based Behavior Description of Cross-Organization Workflow with Synchronous Interaction Pattern. In: Cao, J., Wen, L., Liu, X. (eds) Process-Aware Systems. PAS 2014. Communications in Computer and Information Science, vol 495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-46170-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-662-46170-9_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-46169-3
Online ISBN: 978-3-662-46170-9
eBook Packages: Computer ScienceComputer Science (R0)