Abstract
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a process to behave in a desirable way. Process models that behave properly without any control are often called “sound”. For process models that behave properly when being controlled, i.e., for controllable processes, there are various related notions, such as “relaxed soundness” and “weak soundness”. We argue that both, the usual notion of sound behavior and the usual notion of control by message passing can be generalized. This way, control synthesis results obtained in the field of automation can be reformulated and reused for business process models and in the area of web services.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
van der Aalst, W.M.P.: A class of Petri nets for modeling and analyzing business processes. Computing Science Report 95/26, Eindhoven Univ. of Technology (1995)
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., van Hee, K.: Workflow Management – Models, Methods and Systems. MIT Press, Cambridge (2002)
Liu, C., Kondratyev, A., Watanabe, Y., Desel, J., Sangiovanni-Vincentelli, A.: Schedulability analysis of Petri nets based on structural properties. In: Applications of Concurrency to System Design (ACSD), pp. 69–78. IEEE, Los Alamitos (2006)
Dehnert, J., Rittgen, P.: Relaxed soundness of business processes. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 157–170. Springer, Heidelberg (2001)
Dehnert, J.: Expressing the controllability of business processes. Petri Net Newsletter 61, 9–17 (2001)
Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science, vol. 40. Cambridge University Press, Cambridge (1995)
Desel, J., Oberweis, A.: Petri-Netze in der Angewandten Informatik. Wirtschaftsinformatik 38(4), 359–367 (1996)
Desel, J., Hanisch, H.-M., Juhás, G., Lorenz, R., Neumair, C.: A guide to modelling and control with modules of signal nets. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 270–300. Springer, Heidelberg (2004)
Desel, J.: Process modelling using Petri nets. Process-Aware Information Systems - Bridging People and Software through Process Technology, pp. 147–177. Wiley, Chichester (2005)
Hanisch, H.M., Rausch, M.: Synthesis of supervisory controllers based on a novel representation of condition/event Systems. IEEE International Conference on Systems, Man and Cybernetics 4, 3069–3074 (1995)
Heckel, R., Chouikha, M.: Control synthesis for discrete event systems – A semantic framework based on open Petri nets. Transactions of the SDPS 6(4), 63–104 (2003)
Kindler, E., Martens, A., Reisig, W.: Inter-operability of workflow applications: local criteria for global soundness. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 235–253. Springer, Heidelberg (2000)
Lausen, G., Müller, H., Németh, T., Oberweis, A., Schönthaler, F., Stucky, W.: Integritätssicherung für die datenbankgestützte Software-Produktionsumgebung INCOME. In: Datenbanksysteme in Büro, Technik und Wissenschaft (BTW) Informatik-Fachberichte, vol. 136, pp. 152–156. Springer, Heidelberg (1987)
Martens, A.: On compatibility of web services. Petri Net Newsletter 65, 12–20 (2003)
Martens, A.: On usability of web services. In: 1st Web Services Quality Workshop (WQW 2003), Rome, Italy (2003)
Martens, A.: Analyzing web service based business processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)
Oberweis, A., Scherrer, G., Stucky, W.: INCOME/STAR: methodology and tools for the development of distributed information systems. Information Systems 19(8), 643–660 (1994)
Oberweis, A., Sander, P.: Information system behavior specification by high-level Petri nets. ACM Transactions on Information Systems 14(4), 380–420 (1996)
Ramadge, P.J., Wonham, W.M.: The Control of Discrete Event Systems. Proceedings of the IEEE 77(1), 81–98 (1989)
Schmidt, K.: Controllability of open workflow nets. In: Enterprise Modelling and Information Systems Architectures (EMISA), Gesellschaft für Informatik. LNI, vol. 75, pp. 236–249 (2005)
Sreenivas, R.S., Krogh, B.H.: On condition/event systems with disrete state realizations. Discrete Event Dynamic Systems – Theory and Applications 2 1, 209–236 (1991)
Sreenivas, R.S., Krogh, B.H.: Petri net based models for condition/event systems. In: 1991 American Control Conference, vol. 3, pp. 2899–2904 (1991)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Desel, J. (2008). Controlling Petri Net Process Models. In: Dumas, M., Heckel, R. (eds) Web Services and Formal Methods. WS-FM 2007. Lecture Notes in Computer Science, vol 4937. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79230-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-79230-7_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79229-1
Online ISBN: 978-3-540-79230-7
eBook Packages: Computer ScienceComputer Science (R0)