{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T02:44:18Z","timestamp":1725763458080},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642538773"},{"type":"electronic","value":"9783642538780"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-53878-0_8","type":"book-chapter","created":{"date-parts":[[2013,12,11]],"date-time":"2013-12-11T21:31:19Z","timestamp":1386797479000},"page":"143-170","source":"Crossref","is-referenced-by-count":0,"title":["Modelling Evacuation at Crisis Situations by Petri Net-Based Supervision"],"prefix":"10.1007","author":[{"given":"Franti\u0161ek","family":"\u010capkovi\u010d","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"\u010capkovi\u010d, F.: Modelling, analysing and control of interactions among agents in MAS. Computing and Informatics\u00a026(5), 507\u2013541 (2007)"},{"issue":"6+","key":"8_CR2","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(6+), 1045\u20131071 (2010)","journal-title":"Computing and Informatics"},{"key":"8_CR3","series-title":"LNAI","doi-asserted-by":"crossref","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, Part I. LNCS (LNAI), vol.\u00a06070, pp. 193\u2013202. Springer, Heidelberg (2010)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"\u010capkovi\u010d, F.: DES control synthesis and cooperation of agents. In: Nguyen, N.T., Kowalczyk, R., Chen, S.-M. (eds.) ICCCI 2009. LNCS, vol.\u00a05796, pp. 596\u2013607. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-04441-0_52"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"\u010capkovi\u010d, F.: A modular system approach to DES synthesis and control. In: Proc. 2009 IEEE Conference on Emerging Technologies & Factory Automation, ETFA 2009, Palma de Mallorca, Spain, p. 8. CD ROM. IEEE Press, Piscataway (2009)","DOI":"10.1109\/ETFA.2009.5347035"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"\u010capkovi\u010d, F., Jotsov, V.: A system approach to agent negotiation and learning. In: Sgurev, V., Hadjiski, M., Kacprzyk, J. (eds.) Intelligent Systems: From Theory to Practice. SCI, vol.\u00a0299, pp. 133\u2013160. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-13428-9_6"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"\u010capkovi\u010d, F.: Supervision of agents modelling evacuation at crisis situations. In: Jezic, G., Kusek, M., Nguyen, N.-T., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2012. LNCS, vol.\u00a07327, pp. 24\u201333. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-30947-2_6"},{"issue":"2","key":"8_CR8","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/j.datak.2005.03.008","volume":"56","author":"I. Chebbi","year":"2006","unstructured":"Chebbi, I., Dustdar, S., Tata, S.: The view-based approach to dynamic inter-organizational workflow cooperation. Data & Knowledge Engineering\u00a056(2), 139\u2013173 (2006)","journal-title":"Data & Knowledge Engineering"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Eshuis, R., Wieringa, R.: Comparing Petri net and activity diagram variants for workflow modelling - A quest for reactive Petri nets. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, pp. 321\u2013351. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-40022-6_16"},{"issue":"2","key":"8_CR10","first-page":"38","volume":"6","author":"U. Hofman","year":"2009","unstructured":"Hofman, U., Veichtlbauer, A., Miloucheva, I.: Dynamic evacuation architecture using context-aware policy management. International Journal of Computer Science and Applications\u00a06(2), 38\u201349 (2009)","journal-title":"International Journal of Computer Science and Applications"},{"issue":"4","key":"8_CR11","doi-asserted-by":"crossref","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(4), 451\u2013492 (2006)","journal-title":"Discrete Event Dynamic Systems"},{"key":"8_CR12","unstructured":"Iordache, M.V., Antsaklis, P.J.: Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkhauser, Boston (2006)"},{"key":"8_CR13","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":"8_CR14","doi-asserted-by":"crossref","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)","DOI":"10.1007\/978-3-642-04504-2_39"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Murata, T.: Properties, analysis and applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","DOI":"10.1109\/5.24143"},{"issue":"4","key":"8_CR16","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1080\/07421222.2002.11045704","volume":"18","author":"J.A. Sniezek","year":"2002","unstructured":"Sniezek, J.A., Wilkins, D.C., Wadlington, P.L., Bauma, M.R.: Training for crisis decision-making: Psychological issues and computer-based solutions. Journal of Management Information Systems\u00a018(4), 147\u2013168 (2002)","journal-title":"Journal of Management Information Systems"},{"key":"8_CR17","unstructured":"van der Aalst, W.M.P.: Three good reasons for using a Petri net-based workflow management system. In: Navathe, S., Wakayama, T. (eds.) Proc. of International Working Conference on Information and Process Integration in Enterprises, IPIC 1996, Cambridge, Massachusetts, pp. 179\u2013201 (1996)"},{"key":"8_CR18","doi-asserted-by":"crossref","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. Kluwer International Series in Engineering and Computer Science, vol.\u00a0428, pp. 161\u2013182. Kluwer Academic Publishers, Boston (1998)","DOI":"10.1007\/978-1-4615-5499-8_10"},{"issue":"1","key":"8_CR19","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"7","author":"W.M.P. Aalst","year":"1998","unstructured":"van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers\u00a07(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems and Computers"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using Petri net-based techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 161\u2013183. Springer, Heidelberg (2000)","DOI":"10.1007\/3-540-45594-9_11"},{"key":"8_CR21","unstructured":"van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Publisher, Boston (2004)"},{"issue":"3","key":"8_CR22","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"W.M.P. Aalst","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.Y.: Soundness of workflow nets: Classification, decidability, and analysis. Formal Aspects of Computing\u00a023(3), 333\u2013363 (2011)","journal-title":"Formal Aspects of Computing"},{"key":"8_CR23","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.) Proc. of 3rd International ISCRAM (Information Systems for Crisis Response and Management) Conference, Newark, NJ, USA, pp. 127\u2013136. ISCRAM Association, Brussels (2006)"},{"key":"8_CR24","unstructured":"Kubera, Y., Mathieu, P., Picault, S.: Everything can be agent! In: Proc. of 9th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010, Toronto, Canada, pp. 1547\u20131548 (2010)"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Wagner, T., Quenum, J., Moldt, D., Reese, C.: Providing an agent flavored integration for workflow management. In: Jensen, K., Donatelli, S., Kleijn, J. (eds.) Transactions on Petri Nets and Other Models of Concurrency V. LNCS, vol.\u00a06900, pp. 243\u2013264. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-29072-5_11"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Collective Intelligence XII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-53878-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T07:31:25Z","timestamp":1558769485000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-53878-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642538773","9783642538780"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-53878-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}