{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:17:17Z","timestamp":1725891437342},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642309465"},{"type":"electronic","value":"9783642309472"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30947-2_6","type":"book-chapter","created":{"date-parts":[[2012,6,18]],"date-time":"2012-06-18T09:16:30Z","timestamp":1340010990000},"page":"24-33","source":"Crossref","is-referenced-by-count":4,"title":["Supervision of Agents Modelling Evacuation at Crisis Situations"],"prefix":"10.1007","author":[{"given":"Franti\u0161ek","family":"\u010capkovi\u010d","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","first-page":"507","volume":"26","author":"F. \u010capkovi\u010d","year":"2007","unstructured":"\u010capkovi\u010d, F.: Modelling, Analysing and Control of Interactions among Agents in MAS. Computing and Informatics\u00a026, 507\u2013541 (2007)","journal-title":"Computing and Informatics"},{"key":"6_CR2","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1007\/978-3-642-04441-0_52","volume-title":"Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems","author":"F. \u010capkovi\u010d","year":"2009","unstructured":"\u010capkovi\u010d, F.: DES Control Synthesis and Cooperation of Agents. In: Nguyen, N.T., Kowalczyk, R., Chen, S.-M. (eds.) ICCCI 2009. LNCS (LNAI), vol.\u00a05796, pp. 596\u2013607. Springer, Heidelberg (2009)"},{"key":"6_CR3","series-title":"CD ROM","first-page":"8","volume-title":"2009 IEEE Conference on Emerging Technologies & Factory Automation - ETFA 2009","author":"F. \u010capkovi\u010d","year":"2009","unstructured":"\u010capkovi\u010d, F.: A Modular System Approach to DES Synthesis and Contro. In: 2009 IEEE Conference on Emerging Technologies & Factory Automation - ETFA 2009. CD ROM, 8 pages. IEEE Press, Piscataway (2009)"},{"key":"6_CR4","first-page":"1045","volume":"29","author":"F. \u010capkovi\u010d","year":"2010","unstructured":"\u010capkovi\u010d, F.: Automatic Control Synthesis for Agents and their Cooperation in MAS. Computing and Informatics\u00a029, 1045\u20131071 (2010)","journal-title":"Computing and Informatics"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-13480-7_21","volume-title":"Agent and Multi-Agent Systems: Technologies and Applications","author":"F. \u010capkovi\u010d","year":"2010","unstructured":"\u010capkovi\u010d, F.: Cooperation of Agents in Manufacturing Systems. In: J\u0119drzejowicz, P., Nguyen, N.T., Howlet, R.J., Jain, L.C. (eds.) KES-AMSTA 2010. LNCS, vol.\u00a06070, pp. 193\u2013202. Springer, Heidelberg (2010)"},{"issue":"1","key":"6_CR6","doi-asserted-by":"crossref","first-page":"24","DOI":"10.5923\/j.ijis.20110101.04","volume":"1","author":"F. \u010capkovi\u010d","year":"2011","unstructured":"\u010capkovi\u010d, F.: Supervision in Synthesis of Agents Cooperation. International Journal of Information Science\u00a01(1), 24\u201331 (2011)","journal-title":"International Journal of Information Science"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10626-006-0021-9","volume":"16","author":"M.V. Iordache","year":"2006","unstructured":"Iordache, M.V., Antsaklis, P.J.: Supervision Based on Place Invariants: A Survey. Discrete Event Dynamic Systems\u00a016, 451\u2013492 (2006)","journal-title":"Discrete Event Dynamic Systems"},{"key":"6_CR8","volume-title":"Supervisory Control of Concurrent Systems: A Petri Net Structural Approach","author":"M.V. Iordache","year":"2006","unstructured":"Iordache, M.V., Antsaklis, P.J.: Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkhauser, Boston (2006)"},{"key":"6_CR9","unstructured":"Iordache, M.V.: Methods for the supervisory control of concurrent systems based on Petri nets abstraction. Ph.D. dissertation, University of Notre Dame, USA (2003)"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-642-04504-2_39","volume-title":"Pedestrian and Evacuation Dynamics 2008","author":"P. Lino","year":"2010","unstructured":"Lino, P., Maione, G.: Applying a Discrete Event System Approach to Problems of Collective Motion in Emergency Situations. In: Klingsch, W.W.F., Rogsch, C., Schadschneider, A., Schreckenberg, M. (eds.) Pedestrian and Evacuation Dynamics 2008, pp. 465\u2013477. Springer, Heidelberg (2010)"},{"issue":"4","key":"6_CR11","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-1-4615-5499-8_10","volume-title":"Information and Process Integration in Enterprises: Rethinking Documents, ch. 10","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: Three Good reasons for Using a Petri-net-based Workflow Management System. In: Wakayama, T., Kannapan, S., Khoong, C.M., Navathe, S., Yates, J. (eds.) Information and Process Integration in Enterprises: Rethinking Documents, ch. 10, pp. 161\u2013182. Kluwer Academic Publishers, Boston (1998)"},{"issue":"3","key":"6_CR13","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"W.M.P. Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of Workflow Nets: Classification, Decidability, and Analysis. Formal Aspects of Computing\u00a023(3), 333\u2013363 (2011)","journal-title":"Formal Aspects of Computing"},{"key":"6_CR14","first-page":"127","volume-title":"Proceedings of the 3rd International ISCRAM (Information Systems for Crisis Response and Management) Conference","author":"J. Wang","year":"2006","unstructured":"Wang, J., Rosca, D., Tepfenhart, W., Milewski, A.: Incident Command System Workflow Modeling and Analysis: A Case Study. In: Van de Walle, B., Turoff, M. (eds.) Proceedings of the 3rd International ISCRAM (Information Systems for Crisis Response and Management) Conference, Newark, NJ (USA), pp. 127\u2013136. ISCRAM Association, Brussels (2006)"}],"container-title":["Lecture Notes in Computer Science","Agent and Multi-Agent Systems. Technologies and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30947-2_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:34:24Z","timestamp":1620128064000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30947-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642309465","9783642309472"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30947-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}