{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:55:35Z","timestamp":1762458935231},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642246890"},{"type":"electronic","value":"9783642246906"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24690-6_22","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T01:35:37Z","timestamp":1319506537000},"page":"318-333","source":"Crossref","is-referenced-by-count":10,"title":["Modular Modelling of Software Product Lines with Feature Nets"],"prefix":"10.1007","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","reference":[{"key":"22_CR1","unstructured":"Asirelli, P., ter Beek, M.H., Gnesi, S., Fantechi, A.: A deontic logical framework for modelling product families. In: Benavides et al. [3], pp. 37\u201344"},{"issue":"01","key":"22_CR2","doi-asserted-by":"publisher","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. Mathematical Structures in Computer Science\u00a015(01), 1\u201335 (2005)","journal-title":"Mathematical Structures in Computer Science"},{"key":"22_CR3","unstructured":"Benavides, D., Batory, D.S., Gr\u00fcnbacher, P. (eds.): International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), vol.\u00a037. Universit\u00e4t Duisburg-Essen (2010)"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-540-47919-2_13","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"G. Berthelot","year":"1987","unstructured":"Berthelot, G.: Transformations and decompositions of nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986, Part 1. LNCS, vol.\u00a0254, pp. 359\u2013376. Springer, Heidelberg (1987)"},{"key":"22_CR5","unstructured":"Clarke, D.: Quality Assurance for Diverse Systems, ch. 5, pp. 27\u201337. Deliverable 1.2 of the EternalS Coordination Action (FP7-247758), supported by the 7th Framework Programme of the EC within the FET scheme (2011), https:\/\/www.eternals.eu\/sites\/default\/file\/D1_2_TF1_stateOfTheArt.pdf"},{"key":"22_CR6","first-page":"335","volume-title":"International Conference on Software Engineering","author":"A. Classen","year":"2010","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: Efficient verification of temporal properties in software product lines. In: International Conference on Software Engineering, pp. 335\u2013344. IEEE Press, Los Alamitos (2010)"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/11561347_28","volume-title":"Generative Programming and Component Engineering","author":"K. Czarnecki","year":"2005","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping features to models: A template approach based on superimposed variants. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol.\u00a03676, pp. 422\u2013437. Springer, Heidelberg (2005)"},{"key":"22_CR8","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, New York (1995)"},{"key":"22_CR9","first-page":"193","volume-title":"International Software Product Line Conference","author":"A. Fantechi","year":"2008","unstructured":"Fantechi, A., Gnesi, S.: Formal modeling for product families engineering. In: International Software Product Line Conference, pp. 193\u2013202. IEEE Press, Los Alamitos (2008)"},{"key":"22_CR10","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":"22_CR11","first-page":"39","volume-title":"International Workshop on the Role of Software Architecture in Analysis and Testing","author":"D. Fischbein","year":"2006","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, New York (2006)"},{"key":"22_CR12","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":"22_CR13","first-page":"203","volume-title":"International Software Product Line Conference","author":"A. Gruler","year":"2008","unstructured":"Gruler, A., Leucker, M., Scheidemann, K.: Calculating and modeling common parts of software product lines. In: International Software Product Line Conference, pp. 203\u2013212. IEEE Press, Los Alamitos (2008)"},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-68863-1_8","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"A. Gruler","year":"2008","unstructured":"Gruler, A., Leucker, M., Scheidemann, K.: Modeling and model checking software product lines. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol.\u00a05051, pp. 113\u2013131. Springer, Heidelberg (2008)"},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1109\/LICS.1988.5119","volume-title":"Third Annual Symposium on Logic in Computer Science","author":"K. Larsen","year":"1988","unstructured":"Larsen, K., Thomsen, B.: A modal process logic. In: Third Annual Symposium on Logic in Computer Science, pp. 203\u2013210. IEEE Press, Los Alamitos (1988)"},{"key":"22_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"Programming Languages and Systems","author":"K. Larsen","year":"2007","unstructured":"Larsen, K., Nyman, U., W\u0105sowski, A.: Modal I\/O automata for interface and product line theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 64\u201379. Springer, Heidelberg (2007)"},{"issue":"4","key":"22_CR17","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. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"22_CR18","unstructured":"Muschevici, R., Clarke, D., Proen\u00e7a, J.: Feature Petri Nets. In: International Software Product Line Conference, vol.\u00a02, pp. 99\u2013106. Lancaster University (2010)"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Muschevici, R., Proen\u00e7a, J., Clarke, D.: Modular modelling of software product lines with feature nets. Tech. Rep. CW 609, KU Leuven, Belgium (2011), http:\/\/www.cs.kuleuven.be\/publicaties\/rapporten\/cw\/CW609.abs.html","DOI":"10.1007\/978-3-642-24690-6_22"},{"key":"22_CR20","doi-asserted-by":"publisher","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, Heidelberg (2005)"},{"key":"22_CR21","unstructured":"Schaefer, I.: Variability modelling for model-driven development of software product lines. In: Benavides, et al. [3], pp. 85\u201392"},{"key":"22_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/3-540-44988-4_23","volume-title":"Application and Theory of Petri Nets 2000","author":"P. Schnoebelen","year":"2000","unstructured":"Schnoebelen, P., Sidorova, N.: Bisimulation and the reduction of Petri nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 409\u2013423. Springer, Heidelberg (2000)"},{"key":"22_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/3-540-53863-1_34","volume-title":"Advances in Petri Nets 1990","author":"Y. Souissi","year":"1991","unstructured":"Souissi, Y., Memmi, G.: Composition of nets via a communication medium. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 457\u2013470. Springer, Heidelberg (1991)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24690-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T14:33:51Z","timestamp":1560868431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24690-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642246890","9783642246906"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24690-6_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}