Soundness analysis of t-restricted interorganizational logical workflow nets

Information Technology Journal

Volumn 8, Issue 6, 2009, Pages 821-829

  Liu, Wei ^a   Du, Yuyue ^a,b   Sun, Haichun ^a  

^a SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

Liveness; Logical workflow nets; Petri nets; Soundness

Indexed keywords

COOPERATIVE SYSTEMS; GAS STATIONS; LIVENESS; LOGICAL WORKFLOW NETS; NET STRUCTURES; RIGOROUS ANALYSIS; SOUNDNESS; SUFFICIENT AND NECESSARY CONDITION; WORKFLOW NETS;

GRAPH THEORY; PETRI NETS; TEMPORAL LOGIC;

MANAGEMENT;

EID: 67650844748     PISSN: 18125638     EISSN: 18125646     Source Type: Journal    
DOI: 10.3923/itj.2009.821.829     Document Type: Article

References (12)

1. Alur, R. and M. Yannakakis, 1999. Model checking of message sequence charts. Software Concepts Tools, 17: 70-77.
2. Corbett, J.C., 1996. Evaluating deadlock detection methods for concurrency software. IEEE Trans. Software Eng., 22: 161-180.
3. Du, Y.Y., C.J. Jiang andM.C. Zhou, 2007. Modeling and analysis of real-time cooperative systems using petri nets. IEEE Trans. Syst, Man Cybernetics-Part A: Syst. Hum., 37: 643-654.
4. Du, Y.Y., C.J. Jiang and M.C. Zhou, 2008. A petri nets based correctness analysis of internet stock trading systems. IEEE Trans. Syst. Man Cybern. C Applied Rev., 38: 93-99.
5. Du, Y.Y. and B.Q. Guo, 2009. Logic petri nets and equivalency. Inform. Technol. J., 8: 95-100.
6. Murata, T., 1989. Petri nets: Properties, analysis and applications. Proc. IEEE, 77: 541-580.
7. Prisecaru, O. and T. Jucan 2008. Interorganizational workflow nets: A petri net based approach for modelling and analyzing interorganizational workflows. Proceedings of the 4th International Workshop on Enterprise and Organizational Modeling and Simulation held in conjunction with the CAiSE08 Conference, June 16-17, Montpellier, France, pp: 64-78.
8. Sun, H.C. and Y.Y. Du, 2008. Soundness analysis of inter-organizational workflows. Inform. Technol. J., 7: 1194-1199.
9. Van der Aalst W.M.P., 1999. Interorganizational workflows: An approach based on message sequence charts and Petri nets. Systems analysis- Modelling-Simulation, 35: 345-357.
10. Van der Aalst, W.M.P., 2000. Loosely coupled interorganizational workflows: Modeling and analyzing workflows crossing organizational boundaries. Inform. Manage., 37: 67-75.
11. Van der Aalst W.M.P., 2003. Inheritance of interorganizational workflows: How to agree to disagree without loosing control?. Inform.Technol. Manage., 4: 345-389.
12. Verbeek, H.M.W., A. Hirnschall and W.M.P. van der Aalst, 2002. XRL/Flower: Supporting interorganizational workflows using xml/petri-net technology. Proceedings of Web Services, E-Business and the Semantic Web, May 2002, Toronto, Canada, pp: 93-108.