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

Supervisory Control of a Class of Discrete Event Processes

Peter J. Ramadge, W.M. Wonham · SIAM Journal on Control and Optimization · 1987 · 3.3K citations

Formal Language, Engineering, Discrete Event System +14

Web Services Business Process Execution Language Version 2.0

Charlton Barreto, Vaughn Bullard, Thomas Erl et al. · 2007 · 2.8K citations

Web Service Specification, Engineering, Web Service Modeling +3

THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT

Wil M. P. van der Aalst · Journal of Circuits Systems and Computers · 1998 · 2.7K citations

Petri Net, Engineering, Petri Net Theory +16

Synchronizability of conversations among Web services

Xiang Fu, Tevfik Bultan, Jianwen Su · IEEE Transactions on Software Engineering · 2005 · 116 citations

Web Service Specification, Engineering, Verification +20

Analyzing interacting WS-BPEL processes using flexible model generation

Niels Lohmann, Peter Massuthe, Christian Stahl et al. · Data & Knowledge Engineering · 2007 · 101 citations

Engineering, Formal Methods, Process Control +9