{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T09:54:09Z","timestamp":1763200449546,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319578606"},{"type":"electronic","value":"9783319578613"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57861-3_17","type":"book-chapter","created":{"date-parts":[[2017,5,4]],"date-time":"2017-05-04T02:10:40Z","timestamp":1493863840000},"page":"288-306","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Restricting Hornets to Support Self-adaptive Systems"],"prefix":"10.1007","author":[{"given":"Michael","family":"K\u00f6hler-Bu\u00dfmeier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,5]]},"reference":[{"volume-title":"The Internet of Things, First International Conference, IOT 2008, Zurich, Switzerland, March 26\u201328, 2008. Proceedings","year":"2008","key":"17_CR1","unstructured":"Floerkemeier, C., Langheinrich, M., Fleisch, E., Mattern, F., Sarma, S.E. (eds.): The Internet of Things, First International Conference, IOT 2008, Zurich, Switzerland, March 26\u201328, 2008. Proceedings. LNCS, vol. 4952. Springer, Heidelberg (2008)"},{"key":"17_CR2","unstructured":"Valk, R.: Modelling concurrency by task\/flow EN systems. In: 3rd Workshop on Concurrency and Compositionality. Number 191 in GMD-Studien, St. Augustin, Bonn, Gesellschaft f\u00fcr Mathematik und Datenverarbeitung (1991)"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1007\/978-3-540-27755-2_23","volume-title":"Lectures on Concurrency and Petri Nets","author":"R Valk","year":"2004","unstructured":"Valk, R.: Object petri nets: using the nets-within-nets paradigm. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 819\u2013848. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-27755-2_23"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-02424-5_15","volume-title":"Applications and Theory of Petri Nets","author":"M K\u00f6hler-Bu\u00dfmeier","year":"2009","unstructured":"K\u00f6hler-Bu\u00dfmeier, M.: Hornets: nets within nets combined with net algebra. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 243\u2013262. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02424-5_15"},{"key":"17_CR5","doi-asserted-by":"crossref","first-page":"205","DOI":"10.3233\/FI-2009-0097","volume":"93","author":"M K\u00f6hler-Bu\u00dfmeier","year":"2009","unstructured":"K\u00f6hler-Bu\u00dfmeier, M., Heitmann, F.: On the expressiveness of communication channels for object nets. Fundamenta Informaticae 93, 205\u2013219 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-540-27793-4_16","volume-title":"Applications and Theory of Petri Nets 2004","author":"M K\u00f6hler","year":"2004","unstructured":"K\u00f6hler, M., R\u00f6lke, H.: Properties of object petri nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 278\u2013297. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-27793-4_16"},{"key":"17_CR7","doi-asserted-by":"crossref","first-page":"29","DOI":"10.3233\/FI-2010-273","volume":"101","author":"M K\u00f6hler-Bu\u00dfmeier","year":"2010","unstructured":"K\u00f6hler-Bu\u00dfmeier, M., Heitmann, F.: Safeness for object nets. Fundamenta Informaticae 101, 29\u201343 (2010)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR8","doi-asserted-by":"crossref","first-page":"73","DOI":"10.3233\/FI-2011-579","volume":"112","author":"M K\u00f6hler-Bu\u00dfmeier","year":"2011","unstructured":"K\u00f6hler-Bu\u00dfmeier, M., Heitmann, F.: Liveness of safe object nets. Fundamenta Informaticae 112, 73\u201387 (2011)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR9","doi-asserted-by":"crossref","first-page":"99","DOI":"10.3233\/FI-2014-983","volume":"130","author":"M K\u00f6hler-Bu\u00dfmeier","year":"2014","unstructured":"K\u00f6hler-Bu\u00dfmeier, M.: A survey on decidability results for elementary object systems. Fundamenta Informaticae 130, 99\u2013123 (2014)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR10","doi-asserted-by":"crossref","first-page":"101","DOI":"10.3233\/FI-2014-963","volume":"129","author":"M K\u00f6hler-Bu\u00dfmeier","year":"2014","unstructured":"K\u00f6hler-Bu\u00dfmeier, M.: On the complexity of the reachability problem for safe, elementary Hornets. Fundamenta Informaticae 129, 101\u2013116 (2014). Dedicated to the Memory of Professor Manfred Kudlek","journal-title":"Fundamenta Informaticae"},{"key":"17_CR11","unstructured":"Lipton, R.J.: The reachability problem requires exponential space. Research report 62, Department of Computer science (1976)"},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"89","DOI":"10.3233\/FI-2016-1305","volume":"143","author":"M K\u00f6hler-Bu\u00dfmeier","year":"2016","unstructured":"K\u00f6hler-Bu\u00dfmeier, M., Heitmann, F.: An upper bound for the reachability problem of safe, elementary hornets. Fundamenta Informaticae 143, 89\u2013100 (2016)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR13","doi-asserted-by":"crossref","first-page":"195","DOI":"10.3233\/FI-2000-43123410","volume":"43","author":"IA Lomazova","year":"2000","unstructured":"Lomazova, I.A.: Nested Petri nets - a formalism for specification of multi-agent distributed systems. Fundamenta Informaticae 43, 195\u2013214 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR14","unstructured":"Xu, D., Deng, Y.: Modeling mobile agent systems with high level Petri nets. In: IEEE International Conference on Systems, Man, and Cybernetics 2000 (2000)"},{"key":"17_CR15","volume-title":"Referenznetze","author":"O Kummer","year":"2002","unstructured":"Kummer, O.: Referenznetze. Logos Verlag, Berlin (2002)"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/3-540-46000-4_22","volume-title":"Coordination Models and Languages","author":"K Hiraishi","year":"2002","unstructured":"Hiraishi, K.: PN2: an elementary model for design and analysis of multi-agent systems. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 220\u2013235. Springer, Heidelberg (2002). doi: 10.1007\/3-540-46000-4_22"},{"key":"17_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-540-31959-7_2","volume-title":"Recent Trends in Algebraic Development Techniques","author":"MA Bednarczyk","year":"2005","unstructured":"Bednarczyk, M.A., Bernardinello, L., Paw\u0142owski, W., Pomello, L.: Modelling mobility with petri hypernets. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds.) WADT 2004. LNCS, vol. 3423, pp. 28\u201344. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-31959-7_2"},{"key":"17_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/11562436_14","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"CA Lakos","year":"2005","unstructured":"Lakos, C.A.: A petri net view of mobility. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 174\u2013188. Springer, Heidelberg (2005). doi: 10.1007\/11562436_14"},{"key":"17_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/11767589_14","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"KM Hee","year":"2006","unstructured":"Hee, K.M., Lomazova, I.A., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Nested nets for adaptive systems. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 241\u2013260. Springer, Heidelberg (2006). doi: 10.1007\/11767589_14"},{"key":"17_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/3-540-48523-6_20","volume-title":"Automata, Languages and Programming","author":"L Cardelli","year":"1999","unstructured":"Cardelli, L., Ghelli, G., Gordon, A.D.: Mobility types for mobile ambients. In: Wiedermann, J., Emde Boas, P., Nielsen, M. (eds.) ICALP 1999. LNCS, vol. 1644, pp. 230\u2013239. Springer, Heidelberg (1999). doi: 10.1007\/3-540-48523-6_20"},{"key":"17_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts 1\u20132. Inf. Comput. 100, 1\u201377 (1992)","journal-title":"Inf. Comput."},{"key":"17_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W Reisig","year":"1991","unstructured":"Reisig, W.: Petri nets and algebraic specifications. Theor. Comput. Sci. 80, 1\u201334 (1991)","journal-title":"Theor. Comput. Sci."},{"key":"17_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/11494744_16","volume-title":"Applications and Theory of Petri Nets 2005","author":"K Hoffmann","year":"2005","unstructured":"Hoffmann, K., Ehrig, H., Mossakowski, T.: High-level nets with nets and rules as tokens. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 268\u2013288. Springer, Heidelberg (2005). doi: 10.1007\/11494744_16"},{"key":"17_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/978-3-540-78127-1_25","volume-title":"Pillars of Computer Science","author":"IA Lomazova","year":"2008","unstructured":"Lomazova, I.A.: Nested petri nets for adaptive process modeling. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol. 4800, pp. 460\u2013474. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78127-1_25"},{"key":"17_CR25","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1023\/A:1008683005045","volume":"7","author":"G Taentzer","year":"1999","unstructured":"Taentzer, G.: Distributed graphs and graph transformation. Appl. Categ. Struct. 7, 431\u2013462 (1999)","journal-title":"Appl. Categ. Struct."},{"key":"17_CR26","series-title":"EATCS Monographs on TCS","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification","author":"H Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification. EATCS Monographs on TCS, vol. 6. Springer, Heidelberg (1985)"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57861-3_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,6]],"date-time":"2020-10-06T22:09:03Z","timestamp":1602022143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57861-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319578606","9783319578613"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57861-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"5 May 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PETRI NETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Application and Theory of Petri Nets and Concurrency","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Zaragoza","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"38","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/pn2017.unizar.es\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}