Petri Net Based Behavior Description of Cross-Organization Workflow with Synchronous Interaction Pattern - Process-Aware Systems - page 9

Currently our approach of behavior description for cross-organizational workflow
is limited to the situation with only task with synchronous interaction pattern which
belongs to a type of synchronous interaction pattern. In our future work, we will try to
extend some of these results for those cross-organizational workflows with both syn-
chronous and asynchronous interaction patterns. In addition, the language expression
of CWF-net usually contains “||” operation, which is difficult to be understood. The
simplification method [15] for language expression containing “||” operation is highly
desired in the future.
Acknowledgements. This work was supported in part by NSFC (61472229, 61170079 and
61202152), by the Special Fund for Agro-scientific Research in the Public Interest
(201303107), by the Sci. & Tech. Development Fund of Qingdao (13-1-4-153-jch and 2013-1-
24), by the open project of the Key Laboratory of Embedded System and Service Computing,
Ministry of Education, Tongji University (ESSCKF201403), the Excellent Young Scientist
Foundation of Shandong Province (BS2012DX030 and ZR2013FQ030) and the Graduate In-
novation Foundation Project of Shandong University of Science and Technology (YC140106).
References
1. Van Der Aalst, W.M.P.: Interorganizational workflows: an approach based on message se-
quence charts and petri nets. System Analysis and Modeling 34(3), 335-367 (1999)
2. Van Der Aalst, W.M.P.: Process-oriented architectures for electronic commerce and inte-
rorganizational workflow. Information Systems 24(8), 639-671 (1999)
3. Van Der Aalst, W.M.P.: Loosely coupled interorganizational workflow: Modeling and
analyzing workflows crossing organizational boundaries. Information Management 37,
67-75 (2000)
4. 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)
5. 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)
6. 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)
7. 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)
8. 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)
9. 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)
10. Reisig, W.: Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Stu-
dies. Springer (2013)
11. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the
IEEE 77(4), 541-580 (1989)