Controllability of Open Workflow Nets

An open workflow net is basically a workflow net extended with a message passing interface. Open workflow nets are adequate models for services or parts of inter-organizational business processes. We investigate the problem of controllability, a natural counterpart of soundness in classical workflow nets (as studied by van der Aalst). We distinguish centralized, distributed, and local controllability and provide solutions to all problems.

[1]  Grzegorz Rozenberg,et al.  Elementary Transition Systems , 1990, Theor. Comput. Sci..

[2]  Holger Schlingloff,et al.  Modeling and Model Checking Web Services , 2005, LCMAS.

[3]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

[4]  Jan Mendling,et al.  Business Process Execution Language for Web Services , 2006, EMISA Forum.

[5]  Nidhal Rezg,et al.  Supervisory control of partially observable marked graphs , 2004, IEEE Transactions on Automatic Control.

[6]  Alessandro Giua,et al.  Observability of place/transition nets , 2002, IEEE Trans. Autom. Control..

[7]  A. Martens.  Verteilte Gesch?aftsprozesse-Modellierung und Verifikation mit Hilfe von Web Services , 2004 .

[8]  W. Wonham,et al.  Control of vector discrete-event systems. II. Controller synthesis , 1994, IEEE Trans. Autom. Control..

[9]  Philippe Darondeau,et al.  Linear control of live marked graphs , 2003, Autom..

[10]  NetsLawrence,et al.  A Generalization of State Avoidance Policies forControlled Petri , 1996 .

[11]  Karsten Wolf,et al.  Transforming BPEL to Petri Nets , 2005, Business Process Management.

[12]  Karsten Wolf,et al.  Operating guidelines - an automata-theoretic foundation for the service-oriented architecture , 2005, Fifth International Conference on Quality Software (QSIC'05).

[13]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[14]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[15]  LINEAR ALGEBRAIC DESIGN OF SUPERVISORSFOR PARTIALLY OBSERVED PETRI , 2000 .

[16]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[17]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .