{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:24:14Z","timestamp":1725459854189},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642362842"},{"type":"electronic","value":"9783642362859"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36285-9_13","type":"book-chapter","created":{"date-parts":[[2013,1,24]],"date-time":"2013-01-24T03:26:30Z","timestamp":1358997990000},"page":"113-125","source":"Crossref","is-referenced-by-count":0,"title":["Supervisory Control for Business Process Management Systems"],"prefix":"10.1007","author":[{"given":"Mohamed Karim","family":"Aroua","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Belhassen","family":"Zouari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"13_CR1","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P.J. Ramadge","year":"1987","unstructured":"Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization\u00a025(1), 206\u2013230 (1987)","journal-title":"SIAM Journal on Control and Optimization"},{"key":"13_CR2","unstructured":"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)"},{"issue":"2","key":"13_CR3","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1109\/70.282543","volume":"10","author":"A. Giua","year":"1994","unstructured":"Giua, A., DiCesare, F.: Petri net structural analysis for supervisory control. IEEE Transactions on Robotics and Automation\u00a010(2), 185\u2013195 (1994)","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/9.599972","volume":"42","author":"S. Sreenivas","year":"1997","unstructured":"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\u00a042, 94\u201395 (1997)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"13_CR5","unstructured":"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\u2013306 (2010)"},{"key":"13_CR6","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/978-3-642-28115-0_42","volume-title":"Business Process Management Workshops","author":"E.A.P. Santos","year":"2012","unstructured":"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.\u00a0100, pp. 447\u2013458. Springer, Heidelberg (2012)"},{"key":"13_CR7","volume-title":"Business Process: Management Concepts, Languages, Architectures","author":"M. Weske","year":"2007","unstructured":"Weske, M.: Business Process: Management Concepts, Languages, Architectures. Springer, Heidelberg (2007)"},{"issue":"8","key":"13_CR8","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1016\/j.jprocont.2005.04.001","volume":"15","author":"D. Wang","year":"2005","unstructured":"Wang, D., Romagnoli, J.A.: Robust multi-scale principal components analysis with applications to process monitoring. Journal of Process Control\u00a015(8), 869\u2013882 (2005)","journal-title":"Journal of Process Control"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"6061","DOI":"10.1016\/j.eswa.2011.12.007","volume":"39","author":"B. Kang","year":"2012","unstructured":"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\u00a039, 6061\u20136068 (2012)","journal-title":"Expert Systems with Applications"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/11575771_5","volume-title":"On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., J\u00f8rgensen, J.B., Lassen, K.B.: Let\u2019s 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.\u00a03760, pp. 22\u201339. Springer, Heidelberg (2005)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Jensen, K., Rozenberg, G.: High-Level Petri Nets. Theory and application. S. Verlag (1991)","DOI":"10.1007\/978-3-642-84524-6"},{"issue":"3","key":"13_CR13","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/S0166-3615(02)00099-4","volume":"49","author":"D. Liu","year":"2002","unstructured":"Liu, D., Wang, J., Chan, S.C.F., Sun, J., Zhang, L.: Modeling workflow processes with colored Petri nets. Computers in Industry\u00a049(3), 267\u2013281 (2002)","journal-title":"Computers in Industry"},{"issue":"1","key":"13_CR14","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P.J. Ramadge","year":"1989","unstructured":"Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE\u00a077(1), 81\u201398 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Giua, A., DiCesare, F.: Supervisory design using Petri nets. In: Proceedings of the 30th Conference on Decision and Control, pp. 92\u201397 (1991)","DOI":"10.1109\/CDC.1991.261262"},{"key":"13_CR16","unstructured":"Iordache, M.V., Antsaklis, P.J.: Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkh\u00e4user (2006)"},{"issue":"2","key":"13_CR17","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1008371814442","volume":"9","author":"M. Makungu","year":"1999","unstructured":"Makungu, M., Barbeau, M., St-Denis, R.: Synthesis of controllers of process modeled as coloured petri nets. Journal Discrete Event Dynamic Systems Theory Applications\u00a09(2), 147\u2013169 (1999)","journal-title":"Journal Discrete Event Dynamic Systems Theory Applications"},{"issue":"8","key":"13_CR18","doi-asserted-by":"publisher","first-page":"1214","DOI":"10.1109\/9.233154","volume":"38","author":"L. Li","year":"1993","unstructured":"Li, L., Wonham, W.M.: Control of vector discrete-event systems I\u2014The base model. IEEE Transactions on Automatic Control\u00a038(8), 1214\u20131227 (1993)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1-2","key":"13_CR19","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0304-3975(96)00010-2","volume":"176","author":"G. Chiola","year":"1997","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: A Symbolic Reachability Graph for Coloured Petri Nets. Theoretical Computer Science\u00a0176(1-2), 39\u201365 (1997)","journal-title":"Theoretical Computer Science"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"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\u2013236 (2004)","DOI":"10.1016\/S1474-6670(17)30751-6"},{"key":"13_CR21","unstructured":"van der Aalst, W.M.P.: Petri net based scheduling. Computing Science Reports 95\/23, Eindhoven University of Technology, Eindhoven (1995)"},{"issue":"1","key":"13_CR22","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1109\/TRA.2002.807555","volume":"19","author":"A. Ghaffari","year":"2003","unstructured":"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\u00a019(1), 137\u2013141 (2003)","journal-title":"IEEE Transactions on Robotics"},{"key":"13_CR23","unstructured":"Jensen, K., Christensen, S., Huber, P., Holla, M.: \u201cCPNtools\u201d Reference Manual. Computer Science Department, University of Aarhus, Denmark (2003), \n                    \n                      http:\/\/cpntools.org\/"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36285-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,20]],"date-time":"2019-01-20T07:16:41Z","timestamp":1547968601000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36285-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642362842","9783642362859"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36285-9_13","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2013]]}}}