Soundness preservation in composed logical time workflow nets

Enterprise Information Systems

Volumn 6, Issue 1, 2012, Pages 95-113

  Liu, Wei ^a   Du, Yu Yue ^a,b   Yan, Chun ^a  

^a SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b Ministry of Education   (China)

Author keywords

composition; deadlock; interorganisational logical time workflow nets; interorganisational workflows; logical expressions; Petri nets; soundness; workflows

Indexed keywords

DEADLOCK; LOGICAL EXPRESSIONS; SOUNDNESS; WORK-FLOWS; WORKFLOW NETS;

CHEMICAL ANALYSIS; PETRI NETS;

ELECTRONIC COMMERCE;

EID: 84862908240     PISSN: 17517575     EISSN: 17517583     Source Type: Journal    
DOI: 10.1080/17517575.2011.617472     Document Type: Article

References (39)

1. Aldin, L. and de Cesare, S. 2011. A literature review on business process modelling: new fontiers of reusability. Enterprise Information Systems, 5(3): 359-383.
2. Berthomieu, B. and Diaz, M. 1991. Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering, 17(3): 259-273.
3. Bons, R.W.H., Lee, R.M. and Wagenaar, R.W. 1998. Designing trustworthy interorga-nizational trade procedures for open electronic commerce. International Journal of Electronic Commerce, 2(3): 61-83.
4. Capozucca, A. and Guelfi, N. 2010. Modelling dependable collaborative time-constrained business processes. Enterprise Information Systems, 4(2): 153-214.
5. Chen, X., He, Y. and Huang, H. 2011. An approach to automatic development of interlocking logic based on Statechart. Enterprise Information Systems, 5(3): 273-286.
6. Day, B. and Lutteroth, C. 2011. Climbing the ladder: capability maturity model integration level 3. Enterprise Information Systems, 5(1): 125-144.
7. D'Mello, D. and Ananthanarayana, V. 2010. Dynamic selection mechanism for quality of service aware web services. Enterprise Information Systems, 4(1): 23-60.
8. Du, Y.Y. and Guo, B.Q. 2009. Logic Petri nets and equivalency. Information Technology Journal, 8(1): 95-100.
9. Du, Y.Y. and Jiang, C.J. 2002. Formal representation and analysis of batch stock trading systems by logical Petri net workflows. Lecture Notes in Computer Science, 2495: 221-225.
10. Du, Y.Y. and Jiang, C.J. Towards a workflow model of real-time cooperative systems. Proceedings of 5th international conference on formal engineering methods. November2003. pp.452-470. Berlin: Springer-Verlag.
11. Du, Y.Y., Jiang, C.J. and Zhou, M.C. 2007. Modeling and analysis of real-time cooperative systems using Petri nets. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 37: 643-654.
12. Engelsman, W. 2011. Extending enterprise architecture modelling with business goals and requirements. Enterprise Information Systems, 5(1): 9-36.
13. Grimm, R. and Ochsenschlager, P. 2001. Binding telecooperation - a formal model for electronic commerce. Computer Networks, 37(2): 171-193.
14. Hruz, B. and Zhou, M.C. 2007. Modeling and control of discrete event dynamic systems, London: Springer.
15. Jiang, C.J. 2003. Behavior theory and application of Petri net, Beijing: Higher Education Press.
16. Ma, J., Wang, K. and Xu, L. 2011. Modelling and analysis of workflow for lean supply chains. Enterprise Information Systems, 5(4)
17. Mietzner, R., Leymann, F. and Unger, T. 2011. Horizontal and vertical combination of multi-tenancy patterns in service-oriented applications. Enterprise Information Systems, 5(1): 59-77.
18. Murata, T. 1989. Petri nets: properties, analysis and applications. Proceedings of the IEEE, 77(4): 541-580.
19. Perez-Castillo, R. 2011. Generating event logs from non-process-aware systems enabling business process mining. Enterprise Information Systems, 5(3): 301-335.
20. Piao, C., Han, X. and Wu, H. 2010. Research on e-commerce transaction networks using multi-agent modelling and open application programming interface. Enterprise Information Systems, 4(3): 329-353.
21. Popovici, A., Schuldt, H. and Schek, H.J. Generation and verification of heterogeneous purchase processes. Proceedings of the international workshop on technologies for e-services. September2000. London: Springer-Verlag.
22. Prisecaru, O. and Jucan, T. Interorganizational workflow nets: a Petri net based approach for modeling and analyzing interorganizational workflows. Proceedings of the 4th international workshop on enterprise and organizational modeling and simulation held in conjunction with the CAISE'08 conference. June2008. pp.64-78. Berlin: Springer-Verlag.
23. Shen, C. and Chou, C. 2010. Business process re-engineering in the logistics industry: a study of implementation, success factors, and performance. Enterprise Information Systems, 4(1): 61-78.
24. Sun, H.C. and Du, Y.Y. 2008. Soundness analysis of inter-organizational workflows. Information Technology Journal, 7(8): 1194-1199.
25. van der Aalst, W.M.P. 1999. Interorganizational workflows: an approach based on message sequence charts and Petri nets. Systems Analysis - Modelling - Simulation, 35(3): 345-357.
26. van der Aalst, W.M.P. 2000. Loosely coupled interorganizational workflows: modeling and analyzing workflows crossing organizational boundaries. Information and Management, 37(1): 67-75.
27. van der Aalst, W.M.P. 2002. Inheritance of interorganizational workflows to enable business-to-business e-commerce. Electronic Commerce Research, 2: 195-231.
28. van der Aalst, W.M.P. 2003. Inheritance of interorganizational workflows: how to agree to disagree without loosing control?. Information Technology and Management, 4: 345-389.
29. van Sinderen, M. and Almeida, J. 2011. Editorial: empowering enterprises through next-generation enterprise computing. Enterprise Information Systems, 5(1): 1-8.
30. Verbeek, H.M.W., Hirnschall, A. and van der Aalst, W.M.P. XRL/flower: supporting inter-organizational workflows using XML/Petri-Net Technology. Proceedings of web services, e-business, and the semantic web. pp.93-108. London: Springer-Verlag.
31. Vicario, E. 2001. Static analysis and dynamic steering of time-dependent systems. IEEE Transactions on Software Engineering, 27(8): 728-748.
32. Wang, J. 1998. Timed Petri nets: theory and application, Boston: Kluwer Academic Publishers.
33. Wang, J., Deng, Y. and Xu, G. 2000b. Reachability analysis of real-time systems using time Petri nets. IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics, 30(5): 725-736.
34. Wang, J., Deng, Y. and Zhou, M.C. 2000a. Compositional time Petri nets and reduction rules. IEEE Transactions on Systems, Man and Cybernetics - Part B, 30(4): 562-572.
35. Wetzstein, B. 2011. Identifying influential factors of business process performance using dependency analysis. Enterprise Information Systems, 5(1): 79-98.
36. Xu, D., He, X. and Deng, Y. 2002. Compositional schedulability analysis of real-time systems using time Petri nets. IEEE Transactions on Software Engineering, 28(10): 984-996.
37. Xu, E., Wermus, M. and Bauman, D. 2011. Development of an integrated medical supply information system. Enterprise Information Systems, 5(3): 385-399.
38. Xu, L. 2011. Information architecture for supply chain quality management. International Journal of Production Research, 49(1): 183-198.
39. Xu, L. 2009. Modelling and analysis techniques for cross-organizational workflow systems. Systems Research and Behavioral Science, 26: 367-389.