{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:01:25Z","timestamp":1762459285228},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,6,17]],"date-time":"2015-06-17T00:00:00Z","timestamp":1434499200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1007\/s10270-015-0475-z","type":"journal-article","created":{"date-parts":[[2015,6,16]],"date-time":"2015-06-16T03:46:53Z","timestamp":1434426413000},"page":"1181-1206","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["Feature Nets: behavioural modelling of software product lines"],"prefix":"10.1007","volume":"15","author":[{"given":"Radu","family":"Muschevici","sequence":"first","affiliation":[]},{"given":"Jos\u00e9","family":"Proen\u00e7a","sequence":"additional","affiliation":[]},{"given":"Dave","family":"Clarke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,17]]},"reference":[{"key":"475_CR1","doi-asserted-by":"crossref","unstructured":"Agerwala, T., Flynn, M.: Comments on capabilities, limitations and \u201ccorrectness\u201d of Petri nets. In: 1st Annual Symposium on Computer Architecture Proceedings, ISCA \u201973, pp. 81\u201386. ACM Press (1973)","DOI":"10.1145\/800123.803973"},{"key":"475_CR2","doi-asserted-by":"crossref","unstructured":"Asirelli, P., Beek, M., Fantechi, A., Gnesi, S.: A logical framework to deal with variability. In: Integrated Formal Methods, LNCS, vol. 6396, pp. 43\u201358. Springer (2010)","DOI":"10.1007\/978-3-642-16265-7_5"},{"key":"475_CR3","doi-asserted-by":"crossref","unstructured":"Asirelli, P., Beek, M., Fantechi, A., Gnesi, S.: A compositional framework to derive product line behavioural descriptions. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, LNCS, vol. 7609, pp. 146\u2013161. Springer (2012)","DOI":"10.1007\/978-3-642-34026-0_12"},{"issue":"01","key":"475_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0960129504004311","volume":"15","author":"P Baldan","year":"2005","unstructured":"Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional semantics for open Petri nets based on deterministic processes. Math. Struct. Comput. Sci. 15(01), 1\u201335 (2005)","journal-title":"Math. Struct. Comput. Sci."},{"key":"475_CR5","doi-asserted-by":"crossref","unstructured":"ter Beek, M.H., de Vink, E.P.: Towards modular verification of software product lines with mCRL2. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, LNCS, vol. 8802, pp. 368\u2013385. Springer (2014)","DOI":"10.1007\/978-3-662-45234-9_26"},{"key":"475_CR6","doi-asserted-by":"crossref","unstructured":"Berthelot, G.: Transformations and decompositions of nets. In: Petri Nets: Central Models and Their Properties, pp. 359\u2013376. Springer (1987)","DOI":"10.1007\/978-3-540-47919-2_13"},{"key":"475_CR7","unstructured":"Clarke, D.: Quality Assurance for Diverse Systems, chap. 5, pp. 27\u201337 (2011). Deliverable 1.2 of the Eternals Coordination Action (FP7-247758), supported by the 7th Framework Programme of the EC within the FET (Future and Emerging Technologies) scheme"},{"issue":"5","key":"475_CR8","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1007\/s10009-012-0234-1","volume":"14","author":"A Classen","year":"2012","unstructured":"Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.Y.: Model checking software product lines with SNIP. J. Softw. Tools Technol. Transf. 14(5), 589\u2013612 (2012)","journal-title":"J. Softw. Tools Technol. Transf."},{"key":"475_CR9","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1016\/j.scico.2013.09.019","volume":"80","author":"A Classen","year":"2014","unstructured":"Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.Y.: Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80, 416\u2013439 (2014)","journal-title":"Sci. Comput. Program."},{"issue":"8","key":"475_CR10","doi-asserted-by":"crossref","first-page":"1069","DOI":"10.1109\/TSE.2012.86","volume":"39","author":"A Classen","year":"2013","unstructured":"Classen, A., Cordy, M., Schobbens, P.Y., Heymans, P., Legay, A., Raskin, J.F.: 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":"475_CR11","doi-asserted-by":"crossref","unstructured":"Cordy, M., Classen, A., Heymans, P., Legay, A., Schobbens, P.Y.: Model checking adaptive software with featured transition systems. In: Assurances for Self-Adaptive Systems, LNCS, vol. 7740, pp. 1\u201329. Springer (2013)","DOI":"10.1007\/978-3-642-36249-1_1"},{"key":"475_CR12","doi-asserted-by":"crossref","unstructured":"Cranen, S., Groote, J.F., Keiren, J.J.A., Stappers, F.P.M., de Vink, E.P., Wesselink, W., Willemse, T.A.C.: An overview of the mCRL2 toolset and its recent advances. In: N. Piterman, S.A. Smolka (eds.) TACAS, Lecture Notes in Computer Science, vol. 7795, pp. 199\u2013213. Springer (2013)","DOI":"10.1007\/978-3-642-36742-7_15"},{"key":"475_CR13","first-page":"431","volume-title":"On conditional grammars and conditional Petri nets","author":"FL Tiplea","year":"1994","unstructured":"Tiplea, F.L.: On conditional grammars and conditional Petri nets, pp. 431\u2013455. World Scientific Publishing Co., Inc, River Edge (1994)"},{"key":"475_CR14","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping features to models: A template approach based on superimposed variants. In: Generative Programming and Component Engineering, LNCS, vol. 3676, pp. 422\u2013437. Springer (2005)","DOI":"10.1007\/11561347_28"},{"key":"475_CR15","doi-asserted-by":"crossref","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, New York (1995)"},{"key":"475_CR16","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gnesi, S.: Formal modeling for product families engineering. In: International Software Product Line Conference, SPLC \u201908, pp. 193\u2013202. IEEE Press (2008)","DOI":"10.1109\/SPLC.2008.45"},{"key":"475_CR17","unstructured":"Farooq, U., Lam, C.P., Li, H.: Transformation methodology for UML 2.0 activity diagram into colored Petri nets. In: Advances in Computer Science and Technology, pp. 128\u2013133. ACTA Press (2007)"},{"key":"475_CR18","doi-asserted-by":"crossref","unstructured":"Fischbein, D., Uchitel, S., Braberman, V.: A foundation for behavioural conformance in software product line architectures. In: International Workshop on the Role of Software Architecture in Analysis and Testing, pp. 39\u201348. ACM Press (2006)","DOI":"10.1145\/1147249.1147254"},{"key":"475_CR19","doi-asserted-by":"crossref","unstructured":"Ghabri, M.K., Ladet, P.: Dynamic Petri nets and their applications. In: International Conference on Computer Integrated Manufacturing and Automation Technology, pp. 93\u201398 (1994)","DOI":"10.1109\/CIMAT.1994.389088"},{"key":"475_CR20","volume-title":"Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications","author":"C Girault","year":"2001","unstructured":"Girault, C., Valk, R.: Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer, Secaucus (2001)"},{"key":"475_CR21","doi-asserted-by":"crossref","unstructured":"Gruler, A., Leucker, M., Scheidemann, K.: Calculating and modeling common parts of software product lines. In: International Software Product Line Conference, SPLC \u201908, pp. 203\u2013212. IEEE Press (2008)","DOI":"10.1109\/SPLC.2008.22"},{"key":"475_CR22","doi-asserted-by":"crossref","unstructured":"Gruler, A., Leucker, M., Scheidemann, K.: Modeling and model checking software product lines. In: International Conference on Formal Methods for Open Object-Based Distributed Systems, LNCS, vol. 5051, pp. 113\u2013131. Springer (2008)","DOI":"10.1007\/978-3-540-68863-1_8"},{"issue":"4","key":"475_CR23","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1109\/MC.2008.123","volume":"41","author":"S Hallsteinsen","year":"2008","unstructured":"Hallsteinsen, S., Hinchey, M., Park, S., Schmid, K.: Dynamic software product lines. IEEE Comput. 41(4), 93\u201395 (2008)","journal-title":"IEEE Comput."},{"key":"475_CR24","volume-title":"The SPIN Model Checker\u2014Primer and Reference Manual","author":"GJ Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The SPIN Model Checker\u2014Primer and Reference Manual. Addison-Wesley, Reading (2004)"},{"key":"475_CR25","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., Apel, S., Kuhlemann, M.: Granularity in software product lines. In: ICSE \u201908: Proceedings of the 30th International Conference on Software Engineering, pp. 311\u2013320. ACM Press (2008)","DOI":"10.1145\/1368088.1368131"},{"key":"475_CR26","doi-asserted-by":"crossref","unstructured":"Larsen, K., Nyman, U., Wa\u0327sowski, A.: Modal I\/O automata for interface and product line theories. In: Programming Languages and Systems, LNCS, vol. 4421, pp. 64\u201379. Springer (2007)","DOI":"10.1007\/978-3-540-71316-6_6"},{"key":"475_CR27","doi-asserted-by":"crossref","unstructured":"Larsen, K., Thomsen, B.: A modal process logic. In: Third Annual Symposium on Logic in Computer Science, pp. 203\u2013210. IEEE Press (1988)","DOI":"10.1109\/LICS.1988.5119"},{"key":"475_CR28","unstructured":"Lipton, R.: The reachability problem requires exponential space. In: Technical Report 62, Yale University (1976)"},{"issue":"9","key":"475_CR29","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."},{"issue":"4","key":"475_CR30","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":"475_CR31","unstructured":"Muschevici, R., Clarke, D., Proen\u00e7a, J.: Feature Petri Nets. In: Workshop on Formal Methods and Analysis in Software Product Line Engineering, SPLC \u201910, vol. 2, pp. 99\u2013106. Lancaster University (2010)"},{"key":"475_CR32","doi-asserted-by":"crossref","unstructured":"Muschevici, R., Proen\u00e7a, J., Clarke, D.: Modular modelling of software product lines with Feature Nets. In: Software Engineering and Formal Methods, LNCS, vol. 7041, pp. 318\u2013333. Springer (2011)","DOI":"10.1007\/978-3-642-24690-6_22"},{"key":"475_CR33","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering. Springer, New York (2005)"},{"key":"475_CR34","first-page":"85","volume-title":"International Workshop on Variability Modelling of Software-Intensive Systems","author":"I Schaefer","year":"2010","unstructured":"Schaefer, I.: Variability modelling for model-driven development of software product lines. In: Benavides, D., Batory, D.S., Gr\u00fcnbacher, P. (eds.) International Workshop on Variability Modelling of Software-Intensive Systems, vol. 37, pp. 85\u201392. Universit\u00e4t Duisburg-Essen, Linz (2010)"},{"key":"475_CR35","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Bettini, L., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: International Software Product Line Conference, SPLC \u201910, pp. 77\u201391. Springer (2010)","DOI":"10.1007\/978-3-642-15579-6_6"},{"key":"475_CR36","doi-asserted-by":"crossref","unstructured":"Schnoebelen, P., Sidorova, N.: Bisimulation and the reduction of Petri nets. In: Application and Theory of Petri Nets, LNCS, vol. 1825, pp. 409\u2013423. Springer (2000)","DOI":"10.1007\/3-540-44988-4_23"},{"key":"475_CR37","doi-asserted-by":"crossref","unstructured":"Souissi, Y., Memmi, G.: Composition of nets via a communication medium. In: Advances in Petri Nets, LNCS, vol. 483, pp. 457\u2013470. Springer (1991)","DOI":"10.1007\/3-540-53863-1_34"},{"key":"475_CR38","doi-asserted-by":"crossref","unstructured":"Valk, R.: Self-modifying nets, a natural extension of Petri nets. Automata, Languages and Programming pp. 464\u2013476 (1978)","DOI":"10.1007\/3-540-08860-1_35"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-015-0475-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-015-0475-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-015-0475-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-015-0475-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,27]],"date-time":"2019-08-27T01:27:45Z","timestamp":1566869265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-015-0475-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,17]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["475"],"URL":"https:\/\/doi.org\/10.1007\/s10270-015-0475-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6,17]]}}}