{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T16:46:53Z","timestamp":1781542013842,"version":"3.54.5"},"publisher-location":"Cham","reference-count":77,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319753959","type":"print"},{"value":"9783319753966","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-75396-6_11","type":"book-chapter","created":{"date-parts":[[2018,2,6]],"date-time":"2018-02-06T02:33:53Z","timestamp":1517884433000},"page":"201-222","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Overview of Reconfigurable Petri Nets"],"prefix":"10.1007","author":[{"given":"Julia","family":"Padberg","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Laid","family":"Kahloul","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,2,7]]},"reference":[{"key":"11_CR1","unstructured":"AGG. http:\/\/www.user.tu-berlin.de\/o.runge\/agg\/index.html . Accessed 02 June 2017"},{"key":"11_CR2","unstructured":"Badouel, E., Llorens, M., Oliver, J.: Modeling concurrent systems: reconfigurable nets. In: Arabnia, H.R., Mun, Y. (eds.) International Conference on Parallel and Distributed Processing Techniques and Applications, pp. 1568\u20131574 (2003)"},{"key":"11_CR3","unstructured":"Badouel, E., Oliver, J.: Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems. Research Report RR-3339. INRIA (1998)"},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"126","DOI":"10.2168\/LMCS-4(4:3)2008","volume":"4","author":"P Baldan","year":"2008","unstructured":"Baldan, P., Corradini, A., Ehrig, H., Heckel, R., K\u00f6nig, B.: Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Log. Methods comput. Sci. 4, 126\u2013142 (2008)","journal-title":"Log. Methods comput. Sci."},{"key":"11_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-86501-4","volume-title":"Stochastic Petri Nets: An Introduction to the Theory","author":"F Bause","year":"2002","unstructured":"Bause, F., Kritzinger, P.S.: Stochastic Petri Nets: An Introduction to the Theory. Vieweg+Teubner Verlag, Cape Town (2002)"},{"issue":"3","key":"11_CR6","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. Softw. Eng. 17(3), 259\u2013273 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"11_CR7","unstructured":"Biermann, E., Ermel, C., Hermann, F., Modica, T.: A visual editor for reconfigurable object nets based on the ECLIPSE graphical editor framework. In: 14th Workshop on Algorithms and Tools for Petri Nets (2007)"},{"key":"11_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.elecom.2007.10.004","volume":"10","author":"E Biermann","year":"2008","unstructured":"Biermann, E., Modica, T.: Independence analysis of firing and rule-based net transformations in reconfigurable object nets. Electron. Commun. EASST 10, 1\u201313 (2008)","journal-title":"Electron. Commun. EASST"},{"issue":"6","key":"11_CR9","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1016\/j.jvlc.2005.07.001","volume":"16","author":"P Bottoni","year":"2005","unstructured":"Bottoni, P., Hoffmann, K., Parisi-Presicce, F., Taentzer, G.: High-level replacement units and their termination properties. J. Vis. Lang. Comput. 16(6), 485\u2013507 (2005)","journal-title":"J. Vis. Lang. Comput."},{"issue":"1","key":"11_CR10","first-page":"51","volume":"2","author":"P Bottoni","year":"2006","unstructured":"Bottoni, P., Rosa, F.D., Hoffmann, K., Mecella, M.: Applying algebraic approaches for modeling workflows and their transformations in mobile networks. Mob. Inf. Syst. 2(1), 51\u201376 (2006)","journal-title":"Mob. Inf. Syst."},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-540-27755-2_7","volume-title":"Lectures on Concurrency and Petri Nets","author":"R Bruni","year":"2004","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Extending the zero-safe approach to coloured, reconfigurable and dynamic nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 291\u2013327. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27755-2_7"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/3-540-45541-8_12","volume-title":"Unifying Petri Nets","author":"R Bruni","year":"2001","unstructured":"Bruni, R., Montanari, U.: Transactions and zero-safe nets. In: Ehrig, H., Padberg, J., Juh\u00e1s, G., Rozenberg, G. (eds.) Unifying Petri Nets. LNCS, vol. 2128, pp. 380\u2013426. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45541-8_12"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Capra, L.: A pure SPEC-inscribed PN model for reconfigurable systems. In: 2016 13th International Workshop on Discrete Event Systems (WODES), pp. 459\u2013465, May 2016","DOI":"10.1109\/WODES.2016.7497888"},{"issue":"2","key":"11_CR14","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2), 187\u2013243 (2002)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"11_CR15","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1109\/TSMC.2015.2433892","volume":"46","author":"Z Ding","year":"2016","unstructured":"Ding, Z., Zhou, Y., Zhou, M.: Modeling self-adaptive software systems with learning Petri nets. IEEE Trans. Syst. Man Cybern. Syst. 46(4), 483\u2013498 (2016)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"11_CR16","series-title":"EATCS Monographs in TCS","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-31188-2","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in TCS. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-31188-2"},{"issue":"1\u20132","key":"11_CR17","doi-asserted-by":"crossref","first-page":"35","DOI":"10.3233\/FI-2012-705","volume":"118","author":"H Ehrig","year":"2012","unstructured":"Ehrig, H., Golas, U., Habel, A., Lambers, L., Orejas, F.: $$\\cal{M}$$ M -adhesive transformation systems with nested application conditions. part 2: embedding, critical pairs and local confluence. Fundam. Inform. 118(1\u20132), 35\u201363 (2012)","journal-title":"Fundam. Inform."},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-73094-1_9","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"H Ehrig","year":"2007","unstructured":"Ehrig, H., Hoffmann, K., Padberg, J., Prange, U., Ermel, C.: Independence of Net Transformations and Token Firing in Reconfigurable Place\/Transition Systems. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 104\u2013123. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73094-1_9"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1007\/978-3-540-27755-2_14","volume-title":"Lectures on Concurrency and Petri Nets","author":"H Ehrig","year":"2004","unstructured":"Ehrig, H., Padberg, J.: Graph grammars and Petri net transformations. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 496\u2013536. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27755-2_14"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57867-6","volume-title":"Recent Trends in Data Type Specification","author":"H Ehrig","year":"1994","unstructured":"Ehrig, H., Padberg, J., Ribeiro, L.: Algebraic high-level nets: Petri nets revisited. In: Ehrig, H., Orejas, F. (eds.) ADT\/COMPASS -1992. LNCS, vol. 785. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/3-540-57867-6"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/978-3-642-30835-2_2","volume-title":"Software Service and Application Engineering","author":"K Gabriel","year":"2012","unstructured":"Gabriel, K., Ehrig, H.: Modelling of communication platforms using algebraic high-level nets and their processes. In: Heisel, M. (ed.) Software Service and Application Engineering. LNCS, vol. 7365, pp. 10\u201325. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30835-2_2"},{"key":"11_CR22","first-page":"1","volume":"47","author":"K Gabriel","year":"2012","unstructured":"Gabriel, K., Lingnau, P., Ermel, C.: Algebraic approach to timed Petri nets. Electron. Commun. EASST 47, 1\u201314 (2012)","journal-title":"Electron. Commun. EASST"},{"key":"11_CR23","first-page":"1","volume":"40","author":"U Golas","year":"2010","unstructured":"Golas, U., Hoffmann, K., Ehrig, H., Rein, A., Padberg, J.: Functorial analysis of algebraic higher-order net systems with applications to mobile ad-hoc networks. ECEASST 40, 1\u201324 (2010)","journal-title":"ECEASST"},{"key":"11_CR24","first-page":"1","volume":"51","author":"S Gottmann","year":"2012","unstructured":"Gottmann, S., Nachtigall, N., Hoffmann, K.: On modelling communication in ubiquitous computing systems using algebraic higher order nets. ECEASST 51, 1\u201312 (2012)","journal-title":"ECEASST"},{"issue":"3\/4","key":"11_CR25","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundam. Inform. 26(3\/4), 287\u2013313 (1996)","journal-title":"Fundam. Inform."},{"issue":"7","key":"11_CR26","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/s00236-007-0055-y","volume":"44","author":"S Haddad","year":"2007","unstructured":"Haddad, S., Poitrenaud, D.: Recursive Petri nets. Acta Informatica 44(7), 463\u2013508 (2007)","journal-title":"Acta Informatica"},{"key":"11_CR27","unstructured":"Hoff, C.: Transformationseinheiten als Kontrollstruktur f\u00fcr rekonfigurierbare Petrinetze in ReConNet. Master\u2019s thesis, University of Applied Sciences Hamburg (2016)"},{"key":"11_CR28","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). https:\/\/doi.org\/10.1007\/11494744_16"},{"key":"11_CR29","first-page":"1","volume":"12","author":"K Hoffmann","year":"2008","unstructured":"Hoffmann, K., Ehrig, H., Padberg, J.: Flexible modeling of emergency scenarios using reconfigurable systems. ECEASST 12, 1\u201320 (2008)","journal-title":"ECEASST"},{"key":"11_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets - Modelling and Validation of Concurrent Systems","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/b95112"},{"key":"11_CR31","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/0951192X.2015.1130262","volume":"29","author":"L Kahloul","year":"2016","unstructured":"Kahloul, L., Bourekkache, S.: Djouani, K: Designing reconfigurable manufacturing systems using reconfigurable object Petri nets. Int. J. Comput. Integr. Manuf. 29, 1\u201318 (2016)","journal-title":"Int. J. Comput. Integr. Manuf."},{"issue":"03","key":"11_CR32","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1142\/S0218194014500168","volume":"24","author":"L Kahloul","year":"2014","unstructured":"Kahloul, L., Bourekkache, S., Djouani, K., Chaoui, A., Kazar, O.: Using high level Petri nets in the modelling, simulation and verification of reconfigurable manufacturing systems. Int. J. Softw. Eng. Knowl. Eng. 24(03), 419\u2013443 (2014)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"key":"11_CR33","unstructured":"Kahloul, L., Chaoui, A., Djouani, K., Bourekkache, S., Kazar, O.: Using high level nets for the design of reconfigurable manufacturing systems. In: 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems, pp. 1\u201319 (2014)"},{"key":"11_CR34","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-40090-2_10","volume-title":"Industrial Applications of Holonic and Multi-Agent Systems","author":"L Kahloul","year":"2013","unstructured":"Kahloul, L., Djouani, K., Chaoui, A.: Formal study of reconfigurable manufacturing systems: a high level Petri nets based approach. In: Ma\u0159\u00edk, V., Lastra, J.L.M., Skobelev, P. (eds.) HoloMAS 2013. LNCS (LNAI), vol. 8062, pp. 106\u2013117. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40090-2_10"},{"key":"11_CR35","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/978-3-319-19578-0_45","volume-title":"Computer Science and Its Applications","author":"A Kheldoun","year":"2015","unstructured":"Kheldoun, A., Barkaoui, K., Zhang, J.F., Ioualalen, M.: A high level net for modeling and analysis reconfigurable discrete event control systems. In: Amine, A., Bellatreche, L., Elberrichi, Z., Neuhold, E.J., Wrembel, R. (eds.) CIIA 2015. IAICT, vol. 456, pp. 551\u2013562. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19578-0_45"},{"key":"11_CR36","unstructured":"Kheldoun, A., Zhang, J., Barkaoui, K., Ioualalen, M.: A high-level nets based approach for reconfigurations of distributed control systems. In: ADECS Petri Nets, pp. 36\u201351 (2014)"},{"key":"11_CR37","doi-asserted-by":"crossref","unstructured":"K\u00f6nig, B., Nolte, D., Padberg, J., Rensink, A.: A tutorial on graph transformation. In: Festschrift in Memory of Hartmut Ehrig. Springer (2018, accepted)","DOI":"10.1007\/978-3-319-75396-6_5"},{"issue":"1","key":"11_CR38","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1142\/S0218126698000055","volume":"8","author":"A Kondratyev","year":"1998","unstructured":"Kondratyev, A., Cortadella, J., Kishinevsky, M., Lavagno, L., Taubin, A.: The use of Petri nets for the design and verification of asynchronous circuits and systems. J. Circuits Syst. Comput. 8(1), 67\u2013118 (1998)","journal-title":"J. Circuits Syst. Comput."},{"issue":"4","key":"11_CR39","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1016\/j.jmsy.2011.01.001","volume":"29","author":"Y Koren","year":"2010","unstructured":"Koren, Y., Shpitalni, M.: Design of reconfigurable manufacturing systems. J. Manuf. Syst. 29(4), 130\u2013141 (2010)","journal-title":"J. Manuf. Syst."},{"key":"11_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-540-68679-8_5","volume-title":"Concurrency, Graphs and Models","author":"H-J Kreowski","year":"2008","unstructured":"Kreowski, H.-J., Kuske, S., Rozenberg, G.: Graph transformation units \u2013 an overview. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 57\u201375. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68679-8_5"},{"key":"11_CR41","doi-asserted-by":"crossref","unstructured":"Li, J., Dai, X., Meng, Z.: Improved net rewriting systems-based rapid reconfiguration of Petri net logic controllers. In: 31st 2005 Annual Conference of IEEE Industrial Electronics Society, 6 pp. IEEE (2005)","DOI":"10.1109\/IECON.2005.1569259"},{"issue":"11\u201312","key":"11_CR42","doi-asserted-by":"crossref","first-page":"1168","DOI":"10.1007\/s00170-007-1037-5","volume":"37","author":"J Li","year":"2008","unstructured":"Li, J., Dai, X., Meng, Z.: Improved net rewriting system-based approach to model reconfiguration of reconfigurable manufacturing systems. Int. J. Adv. Manuf. Technol. 37(11\u201312), 1168\u20131189 (2008)","journal-title":"Int. J. Adv. Manuf. Technol."},{"issue":"1","key":"11_CR43","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1109\/TASE.2008.2006857","volume":"6","author":"J Li","year":"2009","unstructured":"Li, J., Dai, X., Meng, Z.: Automatic reconfiguration of Petri net controllers for reconfigurable manufacturing systems with an improved net rewriting system-based approach. IEEE Trans. Autom. Sci. Eng. 6(1), 156\u2013167 (2009)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"06","key":"11_CR44","doi-asserted-by":"crossref","first-page":"1027","DOI":"10.1142\/S0218126608004794","volume":"17","author":"J Li","year":"2008","unstructured":"Li, J., Dai, X., Meng, Z., Xu, L.: Improved net rewriting system-extended Petri net supporting dynamic changes. J. Circuits Syst. Comput. 17(06), 1027\u20131052 (2008)","journal-title":"J. Circuits Syst. Comput."},{"issue":"9","key":"11_CR45","doi-asserted-by":"crossref","first-page":"1147","DOI":"10.1109\/TC.2004.66","volume":"53","author":"M Llorens","year":"2004","unstructured":"Llorens, M., Oliver, J.: Structural and dynamic changes in concurrent systems: reconfigurable Petri nets. IEEE Trans. Comput. 53(9), 1147\u20131158 (2004)","journal-title":"IEEE Trans. Comput."},{"key":"11_CR46","doi-asserted-by":"crossref","unstructured":"Llorens, M., Oliver, J.: MCReNet: a tool for marked-controlled reconfigurable nets. In: International Conference on Quantitative Evaluation of Systems, pp. 255\u2013256 (2005)","DOI":"10.1109\/QEST.2005.18"},{"key":"11_CR47","first-page":"1","volume":"2","author":"M Llorens","year":"2006","unstructured":"Llorens, M., Oliver, J.: A basic tool for the modeling of marked-controlled reconfigurable Petri nets. ECEASST 2, 1\u201313 (2006)","journal-title":"ECEASST"},{"key":"11_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-52494-0_23","volume-title":"Advances in Petri Nets 1989","author":"MA Marsan","year":"1990","unstructured":"Marsan, M.A.: Stochastic Petri nets: an elementary introduction. In: Rozenberg, G. (ed.) APN 1988. LNCS, vol. 424, pp. 1\u201329. Springer, Heidelberg (1990). https:\/\/doi.org\/10.1007\/3-540-52494-0_23"},{"key":"11_CR49","unstructured":"MCReNet. http:\/\/users.dsic.upv.es\/~mllorens\/MCReNet.htm . Accessed 14 May 2017"},{"issue":"2\u20133","key":"11_CR50","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/j.jmsy.2010.11.002","volume":"29","author":"X Meng","year":"2010","unstructured":"Meng, X.: Modeling of reconfigurable manufacturing systems based on colored timed object-oriented Petri nets. J. Manuf. Syst. 29(2\u20133), 81\u201390 (2010)","journal-title":"J. Manuf. Syst."},{"key":"11_CR51","first-page":"1","volume":"40","author":"T Modica","year":"2010","unstructured":"Modica, T., Gabriel, K., Hoffmann, K.: Formalization of Petri nets with individual tokens as basis for DPO net transformations. ECEASST 40, 1\u201321 (2010)","journal-title":"ECEASST"},{"key":"11_CR52","first-page":"1","volume":"30","author":"T Modica","year":"2010","unstructured":"Modica, T., Homann, K.: Formal modeling of communication platforms using reconfigurable algebraic high-level nets. ECEASST 30, 1\u201324 (2010)","journal-title":"ECEASST"},{"issue":"4","key":"11_CR53","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"11_CR54","first-page":"102","volume":"51","author":"J Padberg","year":"1993","unstructured":"Padberg, J.: Algebreic high-level net transformation systems: a survey over theory and applications. Bull. EATCS 51, 102\u2013110 (1993)","journal-title":"Bull. EATCS"},{"issue":"4","key":"11_CR55","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1023\/A:1008695316594","volume":"7","author":"J Padberg","year":"1999","unstructured":"Padberg, J.: Categorical approach to horizontal structuring and refinement of high-level replacement systems. Appl. Categ. Struct. 7(4), 371\u2013403 (1999)","journal-title":"Appl. Categ. Struct."},{"key":"11_CR56","first-page":"171","volume-title":"Current Trends in Theoretical Computer Science","author":"J Padberg","year":"2001","unstructured":"Padberg, J.: Classification of Petri nets using adjoint functors. In: Salomaa, A., Gheorghe, P., Rozenberg, G. (eds.) Current Trends in Theoretical Computer Science, pp. 171\u2013179. World Scientific, Singapore (2001)"},{"key":"11_CR57","first-page":"1","volume":"51","author":"J Padberg","year":"2012","unstructured":"Padberg, J.: Abstract interleaving semantics for reconfigurable Petri nets. ECEASST 51, 1\u201314 (2012)","journal-title":"ECEASST"},{"key":"11_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-319-21145-9_7","volume-title":"Graph Transformation","author":"J Padberg","year":"2015","unstructured":"Padberg, J.: Reconfigurable Petri nets with transition priorities and inhibitor arcs. In: Parisi-Presicce, F., Westfechtel, B. (eds.) ICGT 2015. LNCS, vol. 9151, pp. 104\u2013120. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21145-9_7"},{"key":"11_CR59","first-page":"1","volume":"54","author":"J Padberg","year":"2012","unstructured":"Padberg, J., Ede, M., Oelker, G., Hoffmann, K.: Reconnet: a tool for modeling and simulating with reconfigurable place\/transition nets. ECEASST 54, 1\u201311 (2012)","journal-title":"ECEASST"},{"issue":"2","key":"11_CR60","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1017\/S0960129500000724","volume":"5","author":"J Padberg","year":"1995","unstructured":"Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic high-level net transformation systems. Math. Struct. Comput. Sci. 5(2), 217\u2013256 (1995)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1","key":"11_CR61","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0167-6423(00)00022-8","volume":"40","author":"J Padberg","year":"2001","unstructured":"Padberg, J., Gajewsky, M., Ermel, C.: Rule-based refinement of high-level nets preserving safety properties. Sci. Comput. Program. 40(1), 97\u2013118 (2001)","journal-title":"Sci. Comput. Program."},{"key":"11_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-540-71289-3_29","volume-title":"Fundamental Approaches to Software Engineering","author":"J Padberg","year":"2007","unstructured":"Padberg, J., Hoffmann, K., Ehrig, H., Modica, T., Biermann, E., Ermel, C.: Maintaining consistency in layered architectures of mobile ad-hoc networks. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 383\u2013397. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71289-3_29"},{"key":"11_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/3-540-46428-X_18","volume-title":"Fundamental Approaches to Software Engineering","author":"J Padberg","year":"2000","unstructured":"Padberg, J., Hoffmann, K., Gajewsky, M.: Stepwise introduction and preservation of safety properties in algebraic high-level net systems. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol. 1783, pp. 249\u2013265. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-46428-X_18"},{"key":"11_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-319-40530-8_4","volume-title":"Graph Transformation","author":"J Padberg","year":"2016","unstructured":"Padberg, J., Schulz, A.: Model checking reconfigurable Petri nets with maude. In: Echahed, R., Minas, M. (eds.) ICGT 2016. LNCS, vol. 9761, pp. 54\u201370. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40530-8_4"},{"key":"11_CR65","unstructured":"ReConNet. https:\/\/reconnetblog.wordpress.com\/ . Accessed 16 May 2017"},{"key":"11_CR66","first-page":"1","volume":"10","author":"A Rein","year":"2008","unstructured":"Rein, A., Prange, U., Lambers, L., Hoffmann, K., Padberg, J.: Negative application conditions for reconfigurable place\/transition systems. ECEASST 10, 1\u201314 (2008)","journal-title":"ECEASST"},{"key":"11_CR67","first-page":"203","volume":"989","author":"T Richta","year":"2013","unstructured":"Richta, T., Janousek, V., Koc\u00ed, R.: Petri nets-based development of dynamically reconfigurable embedded systems. PNSE+ ModPE 989, 203\u2013217 (2013)","journal-title":"PNSE+ ModPE"},{"key":"11_CR68","unstructured":"RON-Editor. http:\/\/www.user.tu-berlin.de\/o.runge\/tfs\/projekte\/roneditor\/ . Accessed 24 May 2017"},{"key":"11_CR69","doi-asserted-by":"crossref","unstructured":"Tigane, S., Kahloul, L., Bourekkache, L.: Net rewriting system for GSPN: A RMS case study. In: 2016 International Conference on Advanced Aspects of Software Engineering (ICAASE), pp. 38\u201345. IEEE (2016)","DOI":"10.1109\/ICAASE.2016.7843860"},{"key":"11_CR70","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-319-51100-9_34","volume-title":"Service Orientation in Holonic and Multi-Agent Manufacturing","author":"S Tigane","year":"2017","unstructured":"Tigane, S., Kahloul, L., Bourekkache, S.: Reconfigurable stochastic Petri nets for reconfigurable manufacturing systems. In: Borangiu, T., Trentesaux, D., Thomas, A., Leit\u00e3o, P., Barata Oliveira, J. (eds.) Service Orientation in Holonic and Multi-Agent Manufacturing. SCI, vol. 694, pp. 383\u2013391. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-51100-9_34"},{"key":"11_CR71","doi-asserted-by":"crossref","unstructured":"T\u00e2rnauc, B., Puiu, D., Comnac, V., Suciu, C.: Modelling a flexible manufacturing system using reconfigurable finite capacity Petri nets. In: 13th International Conference on Optimization of Electrical and Electronic Equipment, pp. 1079\u20131084, May 2012","DOI":"10.1109\/OPTIM.2012.6231954"},{"key":"11_CR72","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1007\/978-3-540-40020-2_26","volume-title":"Recent Trends in Algebraic Development Techniques","author":"M Urb\u00e1\u0161ek","year":"2003","unstructured":"Urb\u00e1\u0161ek, M.: Preserving properties in system redesign: rule-based approach. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2002. LNCS, vol. 2755, pp. 442\u2013456. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-40020-2_26"},{"key":"11_CR73","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-69108-1_1","volume-title":"Application and Theory of Petri Nets 1998","author":"R Valk","year":"1998","unstructured":"Valk, R.: Petri nets as token objects. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1\u201324. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/3-540-69108-1_1"},{"key":"11_CR74","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. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 819\u2013848. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27755-2_23"},{"key":"11_CR75","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W Aalst Van Der","year":"2004","unstructured":"Van Der Aalst, W., Van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT press, Cambridge (2004)"},{"issue":"3","key":"11_CR76","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/S0167-9260(96)00010-7","volume":"21","author":"A Yakovlev","year":"1996","unstructured":"Yakovlev, A., Koelmans, A., Semenov, A., Kinniment, D.: Modelling, analysis and synthesis of asynchronous control circuits using Petri nets. Integr. VLSI J. 21(3), 143\u2013170 (1996)","journal-title":"Integr. VLSI J."},{"issue":"11","key":"11_CR77","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1177\/1687814016677698","volume":"8","author":"Z Yu","year":"2016","unstructured":"Yu, Z., Guo, F., Ouyang, J., Zhou, L.: Object-oriented Petri nets and $$\\pi $$ \u03c0 -calculus-based modeling and analysis of reconfigurable manufacturing systems. Adv. Mech. Eng. 8(11), 1\u201311 (2016). https:\/\/doi.org\/10.1177\/1687814016677698","journal-title":"Adv. Mech. Eng."}],"container-title":["Lecture Notes in Computer Science","Graph Transformation, Specifications, and Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-75396-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,30]],"date-time":"2025-06-30T21:44:11Z","timestamp":1751319851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-75396-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319753959","9783319753966"],"references-count":77,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-75396-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}