Covering places and transitions in open nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5240 LNCS, Issue , 2008, Pages 116-131

  Stahl, Christian ^a   Wolf, Karsten ^b  

^a HUMBOLDT UNIVERSITY   (Germany)

^b UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

Operating guidelines; Petri nets; Process modeling and analysis; SOA

Indexed keywords

PETRI NETS;

DEADLOCK FREE; DEADLOCK FREEDOM; OPERATING GUIDELINES; PROCESS MODELING AND ANALYSIS;

ENTERPRISE RESOURCE MANAGEMENT;

EID: 57049124846     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85758-7_11     Document Type: Conference Paper

References (12)

1. Papazoglou, M.P.: Web Services: Principles and Technology. Pearson - Prentice Hall, Essex (2007)
2. van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21-66 (1998)
3. van der Aalst, W.M.P., Weske, M.: The P2P approach to Interorganizational Workflows. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 140-156. Springer, Heidelberg (2001)
4. Leymann, F., Roller, D., Schmidt, M.T.: Web services and business process management. IBM Systems Journal 41(2), 198-211 (2002)
5. Lohmann, N., Massuthe, P., Wolf, K.: Operating guidelines for finite-state services. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 321-341. Springer, Heidelberg (2007)
6. Lohmann, N., Massuthe, P., Wolf, K.: Behavioral constraints for services. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 271-287. Springer, Heidelberg (2007)
7. Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science edn. Springer, Heidelberg (1985)
8. Massuthe, P., Schmidt, K.: Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture. In: Cai, K., Ohnishi, A., Lau, M. (eds.) Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), Melbourne, Australia, pp. 452-457. IEEE Computer Society, Los Alamitos (2005)
9. Massuthe, P., Wolf, K.: An Algorithm for Matching Non-deterministic Services with Operating Guidelines. International Journal of Business Process Integration and Management (IJBPIM) 2(2), 81-90 (2007)
10. Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing Interacting BPEL Processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 17-32. Springer, Heidelberg (2006)
11. Kupferman, O.: Sanity Checks in Formal Verification. In: Baier, C., Hermanns, H. (eds.) CONCUR, 2006. LNCS, vol. 4137, pp. 37-51. Springer, Heidelberg (2006)
12. Alves, A., et al.: Web Services Business Process Execution Language Version 2.0, April 11 2007. OASIS Standard, OASIS (2007)