{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:12:15Z","timestamp":1762459935643,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662630785"},{"type":"electronic","value":"9783662630792"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","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":[[2021]]},"DOI":"10.1007\/978-3-662-63079-2_2","type":"book-chapter","created":{"date-parts":[[2021,2,24]],"date-time":"2021-02-24T13:04:14Z","timestamp":1614171854000},"page":"27-49","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Extensible Structural Analysis of Petri Net Product Lines"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7753-3345","authenticated-orcid":false,"given":"Elena","family":"G\u00f3mez-Mart\u00ednez","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9425-6362","authenticated-orcid":false,"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2818-2278","authenticated-orcid":false,"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,2,25]]},"reference":[{"key":"2_CR1","unstructured":"van der Aalst, W.: Structural characterizations of sound workflow nets. Computing Science Reports 9263, Technische Universiteit Eindhoven (1996)"},{"key":"2_CR2","first-page":"3","volume":"55","author":"W van der Aalst","year":"1998","unstructured":"van der Aalst, W., Kindler, E., Desel, J.: Beyond asymmetric choice: a note on some extensions. Petri Net Newsl. 55, 3\u201313 (1998)","journal-title":"Petri Net Newsl."},{"key":"2_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product Lines - Concepts and Implementation","author":"S Apel","year":"2013","unstructured":"Apel, S., Batory, D., K\u00e4stner, C., Saake, G.: Feature-Oriented Software Product Lines - Concepts and Implementation. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37521-7"},{"key":"2_CR4","doi-asserted-by":"publisher","unstructured":"Benduhn, F., Th\u00fcm, T., Lochau, M., Leich, T., Saake, G.: A survey on modeling techniques for formal behavioral verification of software product lines. In: VaMoS, pp. 80:80\u201380:87. ACM (2015). https:\/\/doi.org\/10.1145\/2701319.2701332, http:\/\/doi.acm.org\/10.1145\/2701319.2701332","DOI":"10.1145\/2701319.2701332"},{"issue":"2\u20133","key":"2_CR5","first-page":"59","volume":"7","author":"DL Berre","year":"2010","unstructured":"Berre, D.L., Parrain, A.: The Sat4j library, release 2.2. JSAT 7(2\u20133), 59\u201364 (2010)","journal-title":"JSAT"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-540-47919-2_13","volume-title":"Petri Nets: Central Models and Their Properties","author":"G Berthelot","year":"1987","unstructured":"Berthelot, G.: Transformations and decompositions of nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 254, pp. 359\u2013376. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/978-3-540-47919-2_13"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-47919-2_8","volume-title":"Petri Nets: Central Models and Their Properties","author":"E Best","year":"1987","unstructured":"Best, E.: Structure theory of petri nets: the free choice hiatus. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 254, pp. 168\u2013205. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/978-3-540-47919-2_8"},{"issue":"8","key":"2_CR8","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1109\/TSE.2012.86","volume":"39","author":"A Classen","year":"2013","unstructured":"Classen, A., Cordy, M., Schobbens, P., Heymans, P., Legay, A., Raskin, J.: Featured transition systems: foundations for verifying variability-intensive systems and their application to LTL model checking. IEEE Trans. Softw. Eng. 39(8), 1069\u20131089 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR9","unstructured":"Colom, J., Teruel, E., Silva, M.: Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques. Ed. KRONOS (1998)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness OCL constraints. In: GPCE, pp. 211\u2013220. ACM (2006)","DOI":"10.1145\/1173706.1173738"},{"key":"2_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, Cambridge (1995)"},{"key":"2_CR12","unstructured":"G\u00f3mez-Mart\u00ednez, E., de Lara, J., Guerra, E.: Towards extensible structural analysis of Petri net product lines. In: PNSE, vol. 2424, pp. 37\u201346. CEUR (2019)"},{"key":"2_CR13","doi-asserted-by":"publisher","unstructured":"Guerra, E., de Lara, J., Chechik, M., Salay, R.: Property satisfiability analysis for product lines of modelling languages. IEEE Trans. Softw. Eng. (2020, in press). https:\/\/doi.org\/10.1109\/TSE.2020.2989506","DOI":"10.1109\/TSE.2020.2989506"},{"issue":"12","key":"2_CR14","doi-asserted-by":"publisher","first-page":"2414","DOI":"10.1016\/j.scico.2012.06.003","volume":"78","author":"A Heuer","year":"2013","unstructured":"Heuer, A., Stricker, V., Budnik, C.J., Konrad, S., Lauenroth, K., Pohl, K.: Defining variability in activity diagrams and Petri nets. Sci. Comput. Program. 78(12), 2414\u20132432 (2013)","journal-title":"Sci. Comput. Program."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study. Technical report. CMU\/SEI-90-TR-021, Software Engineering Institute, Carnegie Mellon University (1990)","DOI":"10.21236\/ADA235785"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/978-3-319-51963-0_35","volume-title":"SOFSEM 2017: Theory and Practice of Computer Science","author":"A Legay","year":"2017","unstructured":"Legay, A., Perrouin, G., Devroey, X., Cordy, M., Schobbens, P.-Y., Heymans, P.: On featured transition systems. In: Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M., Margaria, T. (eds.) SOFSEM 2017. LNCS, vol. 10139, pp. 453\u2013463. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-51963-0_35"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"16829","DOI":"10.1109\/ACCESS.2017.2743113","volume":"5","author":"W Liu","year":"2017","unstructured":"Liu, W., Wang, P., Du, Y., Zhou, M., Yan, C.: Extended logical Petri nets-based modeling and analysis of business processes. IEEE Access 5, 16829\u201316839 (2017)","journal-title":"IEEE Access"},{"key":"2_CR18","doi-asserted-by":"publisher","unstructured":"Llorens, M., Oliver, J.: Structural and dynamic changes in concurrent systems: reconfigurable Petri nets. IEEE Trans. Comput. 53(9), 1147\u20131158 (2004). https:\/\/doi.org\/10.1109\/TC.2004.66","DOI":"10.1109\/TC.2004.66"},{"key":"2_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61443-4","volume-title":"Mastering Software Variability with FeatureIDE","author":"J Meinicke","year":"2017","unstructured":"Meinicke, J., Th\u00fcm, T., Schr\u00f6ter, R., Benduhn, F., Leich, T., Saake, G.: Mastering Software Variability with FeatureIDE. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-319-61443-4"},{"key":"2_CR20","unstructured":"Meyers, B., Mierlo, S.V., Maes, D., Vangheluwe, H.: Efficient software controller variant development and validation (ECoVaDeVa) overview of a flemish ICON project. In: STAF Co-Located Events, vol. 2405, pp. 49\u201354. CEUR (2019)"},{"issue":"4","key":"2_CR21","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. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"2_CR22","unstructured":"Muschevici, R., Clarke, D., Proen\u00e7a, J.: Feature petri nets. In: SPLC Workshops, pp. 99\u2013106. Lancaster University (2010)"},{"issue":"4","key":"2_CR23","doi-asserted-by":"publisher","first-page":"1181","DOI":"10.1007\/s10270-015-0475-z","volume":"15","author":"R Muschevici","year":"2016","unstructured":"Muschevici, R., Proen\u00e7a, J., Clarke, D.: Feature nets: behavioural modelling of software product lines. Softw. Syst. Model. 15(4), 1181\u20131206 (2016). https:\/\/doi.org\/10.1007\/s10270-015-0475-z","journal-title":"Softw. Syst. Model."},{"issue":"12","key":"2_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1177\/1687814019889740","volume":"11","author":"H Nabi","year":"2019","unstructured":"Nabi, H., Aized, T.: Modeling and analysis of carousel-based mixed-model flexible manufacturing system using colored Petri net. Adv. Mech. Eng. 11(12), 1\u201314 (2019)","journal-title":"Adv. Mech. Eng."},{"key":"2_CR25","volume-title":"Software Product Lines: Practices and Patterns","author":"L Northrop","year":"2002","unstructured":"Northrop, L., Clements, P.: Software Product Lines: Practices and Patterns. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)"},{"key":"2_CR26","unstructured":"Petri Net Markup Language. www.pnml.org"},{"key":"2_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering. Foundations Principles and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering. Foundations Principles and Techniques. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/3-540-28901-1"},{"issue":"1","key":"2_CR28","doi-asserted-by":"publisher","first-page":"2:1","DOI":"10.1145\/3041957","volume":"50","author":"ML Rosa","year":"2017","unstructured":"Rosa, M.L., van der Aalst, W., Dumas, M., Milani, F.: Business process variability modeling: a survey. ACM Comput. Surv. 50(1), 2:1\u20132:45 (2017)","journal-title":"ACM Comput. Surv."},{"key":"2_CR29","unstructured":"Seidl, C., Schaefer, I., A\u00dfmann, U.: DeltaEcore - a model-based delta language generation framework. In: Modellierung. LNI, vol. 225, pp. 81\u201396. GI (2014)"},{"key":"2_CR30","doi-asserted-by":"publisher","unstructured":"Silva, M.: Half a century after Carl Adam Petri\u2019s Ph.D. thesis: a perspective on the field. Ann. Rev. Control 37(2), 191\u2013219 (2013). https:\/\/doi.org\/10.1016\/j.arcontrol.2013.09.001","DOI":"10.1016\/j.arcontrol.2013.09.001"},{"key":"2_CR31","volume-title":"EMF: Eclipse Modeling Framework 2.0","author":"D Steinberg","year":"2009","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley Professional, Boston (2009)","edition":"2"},{"issue":"1&2","key":"2_CR32","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0304-3975(95)00124-7","volume":"153","author":"E Teruel","year":"1996","unstructured":"Teruel, E., Silva, M.: Structure theory of equal conflict systems. Theoret. Comput. Sci. 153(1&2), 271\u2013300 (1996)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"2_CR33","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1145\/2580950","volume":"47","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Schaefer, I., Saake, G.: A classification and survey of analysis strategies for software product lines. ACM Comput. Surv. 47(1), 6:1\u20136:45 (2014). https:\/\/doi.org\/10.1145\/2580950","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"2_CR34","first-page":"55","volume":"27","author":"F Tiplea","year":"1991","unstructured":"Tiplea, F., Jucan, T., Masalagiu, C.: Conditional Petri net languages. Elektronische Informationsverarbeitung und Kybernetik 27(1), 55\u201366 (1991)","journal-title":"Elektronische Informationsverarbeitung und Kybernetik"},{"key":"2_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-642-02424-5_19","volume-title":"Applications and Theory of Petri Nets","author":"M Westergaard","year":"2009","unstructured":"Westergaard, M., Kristensen, L.M.: The Access\/CPN framework: a tool for interacting with the CPN tools simulator. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 313\u2013322. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02424-5_19"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency XV"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-63079-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,27]],"date-time":"2021-03-27T18:03:22Z","timestamp":1616868202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-63079-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783662630785","9783662630792"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-63079-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"25 February 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}