Can I find a partner? Undecidability of partner existence for open nets

Information Processing Letters

Volumn 108, Issue 6, 2008, Pages 374-378

  Massuthe, Peter ^a   Serebrenik, Alexander ^b   Sidorova, Natalia ^b   Wolf, Karsten ^c  

^a HUMBOLDT UNIVERSITY   (Germany)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^c UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

Open net; Operability; Petri net; Theory of computation; Web service

Indexed keywords

GRAPH THEORY; INFORMATION SERVICES; PETRI NETS;

ALGORITHMIC SOLUTIONS; BUSINESS PROCESSES; OPEN NET; OPERABILITY; PETRI NET; PETRI NET MODELS; THEORY OF COMPUTATION; UNDECIDABILITY; WEB SERVICE; WEB SERVICES; WORK-FLOWS; WORKFLOW NETS;

MARINE BIOLOGY;

EID: 53049092116     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ipl.2008.07.006     Document Type: Article

References (11)

1. Aalst W.v.d. The application of Petri nets to workflow management. J. Circuits, Systems and Computers 8 1 (1998) 21-66
2. A. Alves et al., Web Services Business Process Execution Language Version 2.0, Committee Specification, OASIS, 2007
3. Cassandras C., and Lafortune S. Introduction to Discrete Event Systems (1999), Kluwer
4. Fu X., Bultan T., and Su J. Synchronizability of conversations among web services. IEEE Trans. Softw. Eng. 31 12 (2005) 1042-1055
5. M.H.T. Hack, Decidability questions for Petri nets, PhD thesis, MIT, 1976
6. Kindler E., Martens A., and Reisig W. Inter-operability of workshop applications-local criteria for global soundness. Proc. BPM 2000. LNCS vol. 1806 (2000), Springer 235-253
7. Lohmann N., Massuthe P., Stahl C., and Weinberg D. Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowledge Engineering 64 1 (2008) 38-54
8. Lohmann N., Massuthe P., and Wolf K. Operating Guidelines for Finite-State Services. Proc. ATPN 2007. LNCS vol. 4546 (2007), Springer 321-341
9. Martens A. Analyzing web service based business processes. Proc. FASE. Lecture Notes in Computer Science vol. 3442 (2005), Springer 19-33
10. Ramadge P., and Wonham W. Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25 1 (1987) 206-230
11. Schmidt K. Controllability of open workflow nets. In: Desel J., and Frank U. (Eds). EMISA. LNI vol. 75 (2005), GI 236-249 (The author is currently known as Karsten Wolf.)