Abstract
The behavior of a business process often needs to be constrained according to a given control specification, that comes to cope with new business requirements. Such a control, called supervisory control, is applied to an existing business process specification without having to re-design the running procedures. Hence, there is no need to create a new complete business process model every time the control parameters change. The objective of supervisory control is to limit the behavior of the initial business process to only desired situations. In this paper, a controller synthesis method for business processes is proposed by adapting the supervisory control theory initiated by Ramadge and Wonham. Business process models are specified by using a variant of Workflow nets, which introduces colors in order to represent different process instances and the related data. An algorithm allowing automatic generation of a controller described by a colored Petri net is provided in this paper.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization 25(1), 206–230 (1987)
Zouari, B., Zairi, S.: Synthesis of Active Controller for Resources Allocation Systems. In: 6th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tool, CPN 2005 (2005)
Giua, A., DiCesare, F.: Petri net structural analysis for supervisory control. IEEE Transactions on Robotics and Automation 10(2), 185–195 (1994)
Sreenivas, S., Sreenivas, R.S.: On the existence of supervisory policies that enforce liveness in discrete event dynamic systems modeled by controlled petri nets. IEEE Transactions on Automatic Control 42, 94–95 (1997)
Abid, C.A., Zairi, S., Zouari, B.: Petri Nets: Applications. In: Pawlewski, P. (ed.) Supervisory Control and High-level Petri Nets, ch. 14, pp. 281–306 (2010)
Santos, E.A.P., Francisco, R., Vieira, A.D., de F.R. Loures, E., Busetti, M.A.: Modeling Business Rules for Supervisory Control of Process-Aware Information Systems. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part II. LNBIP, vol. 100, pp. 447–458. Springer, Heidelberg (2012)
Weske, M.: Business Process: Management Concepts, Languages, Architectures. Springer, Heidelberg (2007)
Wang, D., Romagnoli, J.A.: Robust multi-scale principal components analysis with applications to process monitoring. Journal of Process Control 15(8), 869–882 (2005)
Kang, B., Kim, D., Kang, S.H.: Real-time business process monitoring method for prediction of abnormal termination using KNNI-based LOF prediction. Expert Systems with Applications 39, 6061–6068 (2012)
van der Aalst, W.M.P.: Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)
van der Aalst, W.M.P., Jørgensen, J.B., Lassen, K.B.: Let’s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System. In: Meersman, R. (ed.) OTM 2005. LNCS, vol. 3760, pp. 22–39. Springer, Heidelberg (2005)
Jensen, K., Rozenberg, G.: High-Level Petri Nets. Theory and application. S. Verlag (1991)
Liu, D., Wang, J., Chan, S.C.F., Sun, J., Zhang, L.: Modeling workflow processes with colored Petri nets. Computers in Industry 49(3), 267–281 (2002)
Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE 77(1), 81–98 (1989)
Giua, A., DiCesare, F.: Supervisory design using Petri nets. In: Proceedings of the 30th Conference on Decision and Control, pp. 92–97 (1991)
Iordache, M.V., Antsaklis, P.J.: Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkhäuser (2006)
Makungu, M., Barbeau, M., St-Denis, R.: Synthesis of controllers of process modeled as coloured petri nets. Journal Discrete Event Dynamic Systems Theory Applications 9(2), 147–169 (1999)
Li, L., Wonham, W.M.: Control of vector discrete-event systems I—The base model. IEEE Transactions on Automatic Control 38(8), 1214–1227 (1993)
Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: A Symbolic Reachability Graph for Coloured Petri Nets. Theoretical Computer Science 176(1-2), 39–65 (1997)
Zouari, B., Ghedira, K.: Synthesis of controllers using coloured petri nets and theory of regions. In: Proc. of IFAC Workshop on Discrete Event Systems (WODES 2004), pp. 231–236 (2004)
van der Aalst, W.M.P.: Petri net based scheduling. Computing Science Reports 95/23, Eindhoven University of Technology, Eindhoven (1995)
Ghaffari, A., Rezg, N., Xie, X.: Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics 19(1), 137–141 (2003)
Jensen, K., Christensen, S., Huber, P., Holla, M.: “CPNtools” Reference Manual. Computer Science Department, University of Aarhus, Denmark (2003), http://cpntools.org/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aroua, M.K., Zouari, B. (2013). Supervisory Control for Business Process Management Systems. In: La Rosa, M., Soffer, P. (eds) Business Process Management Workshops. BPM 2012. Lecture Notes in Business Information Processing, vol 132. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36285-9_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-36285-9_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36284-2
Online ISBN: 978-3-642-36285-9
eBook Packages: Computer ScienceComputer Science (R0)