{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:47Z","timestamp":1750306727602,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,15]],"date-time":"2014-09-15T00:00:00Z","timestamp":1410739200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004895","name":"European Social Fund","doi-asserted-by":"publisher","award":["80949335"],"award-info":[{"award-number":["80949335"]}],"id":[{"id":"10.13039\/501100004895","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,15]]},"DOI":"10.1145\/2648511.2648518","type":"proceedings-article","created":{"date-parts":[[2014,9,23]],"date-time":"2014-09-23T15:05:54Z","timestamp":1411484754000},"page":"62-71","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Automated verification of feature model configuration processes based on workflow Petri nets"],"prefix":"10.1145","author":[{"given":"Stephan","family":"Mennicke","sequence":"first","affiliation":[{"name":"Institute for Programming and Reactive Systems, TU Braunschweig, Germany"}]},{"given":"Malte","family":"Lochau","sequence":"additional","affiliation":[{"name":"Real-Time Systems Lab, TU Darmstadt, Germany"}]},{"given":"Julia","family":"Schroeter","sequence":"additional","affiliation":[{"name":"Institute for Software- and Multimedia-Technology, TU Dresden, Germany"}]},{"given":"Tim","family":"Winkelmann","sequence":"additional","affiliation":[{"name":"Institute for Software Engineering and Automative Informatics, TU Braunschweig, Germany"}]}],"member":"320","published-online":{"date-parts":[[2014,9,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2162049.2162051"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_34"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/spip.225"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen:20070055"},{"key":"e_1_3_2_1_7_1","volume-title":"Formal Languages and Their Relation to Automata","author":"Hopcroft J. E.","year":"1969","unstructured":"J. E. Hopcroft and J. D. Ullman . Formal Languages and Their Relation to Automata . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 1969 . J. E. Hopcroft and J. D. Ullman. Formal Languages and Their Relation to Automata. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1969."},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. of SPLC'09","author":"Hubaux A.","year":"2009","unstructured":"A. Hubaux , A. Classen , and P. Heymans . Formal modelling of feature configuration workflows . In Proc. of SPLC'09 , 2009 . A. Hubaux, A. Classen, and P. Heymans. Formal modelling of feature configuration workflows. In Proc. of SPLC'09, 2009."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070568"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31131-4_6"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2007.27"},{"key":"e_1_3_2_1_14_1","first-page":"231","volume-title":"Proc. of SPLC'09","author":"Mendon\u00e7a M.","year":"2009","unstructured":"M. Mendon\u00e7a , A. Wasowski , and K. Czarnecki . Sat-based analysis of feature models is easy . In Proc. of SPLC'09 , pages 231 -- 240 , 2009 . M. Mendon\u00e7a, A. Wasowski, and K. Czarnecki. Sat-based analysis of feature models is easy. In Proc. of SPLC'09, pages 231--240, 2009."},{"key":"e_1_3_2_1_15_1","unstructured":"C. A. Petri. Kommunikation mit Automaten. PhD thesis University of Bonn 1962.  C. A. Petri. Kommunikation mit Automaten . PhD thesis University of Bonn 1962."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1095605"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"Reisig W.","year":"1985","unstructured":"W. Reisig . Petri Nets: An Introduction . Springer-Verlag New York, Inc. , New York, NY, USA , 1985 . W. Reisig. Petri Nets: An Introduction. Springer-Verlag New York, Inc., New York, NY, USA, 1985."},{"key":"e_1_3_2_1_18_1","first-page":"236","volume-title":"Proc. of EMISA'05","volume":"75","author":"Schmidt K.","year":"2005","unstructured":"K. Schmidt . Controllability of Open Workflow Nets. In J. Desel and U. Frank, editors , Proc. of EMISA'05 , volume P- 75 , pages 236 -- 249 . GI, 2005 . K. Schmidt. Controllability of Open Workflow Nets. In J. Desel and U. Frank, editors, Proc. of EMISA'05, volume P-75, pages 236--249. GI, 2005."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.23"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_17"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364412.2364441"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110155"},{"issue":"1","key":"e_1_3_2_1_23_1","first-page":"21","article-title":"The application of Petri nets to workflow management. Circuits","volume":"8","author":"van der Aalst W. M. P.","year":"1998","unstructured":"W. M. P. van der Aalst . The application of Petri nets to workflow management. Circuits , Systems and Computers , 8 ( 1 ): 21 -- 66 , 1998 . W. M. P. van der Aalst. The application of Petri nets to workflow management. Circuits, Systems and Computers, 8(1):21--66, 1998.","journal-title":"Systems and Computers"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"W. M. P.\n      van der Aalst M.\n      Dumas F.\n      Gottschalk A.\n      Hofstede M.\n      Rosa and \n      J.\n      Mendling\n  . \n  Correctness-preserving configuration of business process models\n  . In J. Fiadeiro and P. Inverardi editors FASE'08 volume \n  4961\n   of \n  LNCS pages \n  46\n  --\n  61\n  . \n  Springer Berlin Heidelberg 2008\n  .   W. M. P. van der Aalst M. Dumas F. Gottschalk A. Hofstede M. Rosa and J. Mendling. Correctness-preserving configuration of business process models. In J. Fiadeiro and P. Inverardi editors FASE'08 volume 4961 of LNCS pages 46--61. Springer Berlin Heidelberg 2008.","DOI":"10.1007\/978-3-540-78743-3_4"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-010-0161-4"},{"key":"e_1_3_2_1_27_1","first-page":"11","volume-title":"Proc. of SPLC'09","author":"White J.","year":"2009","unstructured":"J. White , B. Dougherty , D. C. Schmidt , and D. Benavides . Automated reasoning for multi-step feature model configuration problems . In Proc. of SPLC'09 , pages 11 -- 20 . ACM Press , 2009 . J. White, B. Dougherty, D. C. Schmidt, and D. Benavides. Automated reasoning for multi-step feature model configuration problems. In Proc. of SPLC'09, pages 11--20. ACM Press, 2009."}],"event":{"name":"SPLC '14: 18th International Software Product Line Conference","sponsor":["University of Florence University of Florence","CNR Istituto di Scienza e Tecnologie dell Informazione"],"location":"Florence Italy","acronym":"SPLC '14"},"container-title":["Proceedings of the 18th International Software Product Line Conference - Volume 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2648511.2648518","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2648511.2648518","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:40Z","timestamp":1750231180000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2648511.2648518"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,15]]},"references-count":25,"alternative-id":["10.1145\/2648511.2648518","10.1145\/2648511"],"URL":"https:\/\/doi.org\/10.1145\/2648511.2648518","relation":{},"subject":[],"published":{"date-parts":[[2014,9,15]]},"assertion":[{"value":"2014-09-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}