{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:57:10Z","timestamp":1725487030780},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437871"},{"type":"electronic","value":"9783540480686"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48068-4_18","type":"book-chapter","created":{"date-parts":[[2007,6,18]],"date-time":"2007-06-18T07:01:43Z","timestamp":1182150103000},"page":"294-313","source":"Crossref","is-referenced-by-count":8,"title":["Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"Louise","family":"Lorentsen","sequence":"first","affiliation":[]},{"given":"Antti-Pekka","family":"Tuovinen","sequence":"additional","affiliation":[]},{"given":"Jianli","family":"Xu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,6]]},"reference":[{"key":"18_CR1","unstructured":"D. Amyot, L. Charfi, N. Gorse, T. Gray, L. Logrippo, J. Sincennes, B. Stepien, and T. Ware. Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS. In M. Calder and E. Magill, editors, Feature Interactions in Telecommunications and Software Systems, volume VI, Amsterdam, May 2000. IOS Press."},{"key":"18_CR2","unstructured":"M. Calder, M. Kolberg, E. H. Magill, and S. Reiff-Marganiec. Feature Interaction: A Critical Review and Considered Forecast. Submitted for publication. On-line version: http:\/\/www.dcs.gla.ac.uk\/~muffy\/papers\/calder-kolberg-magill-reiff.pdf ."},{"key":"18_CR3","unstructured":"M. Calder and E. Magill. Feature Interactions in Telecommunications and Software Systems VI. IOS Press, 2000."},{"key":"18_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/3-540-45139-0_9","volume-title":"Proceedings of SPIN 2001","author":"M. Calder","year":"2001","unstructured":"M. Calder and A. Miller. Using SPIN for Feature Interaction Analysis-a Case Study. In Proceedings of SPIN 2001, volume 2057 of Lecture Notes in Computer Science, pages 143\u2013162. Springer-Verlag, 2001."},{"key":"18_CR5","volume-title":"Proceedings of WODES\u201996","author":"A. Cheng","year":"1996","unstructured":"A. Cheng, S. Christensen, and K. Mortensen. Model Checking Coloured Petri Nets Exploiting Strongly Connected Components. In M. Spathopoulos, R. Smedinga, and P. Koz\u00e1k, editors, Proceedings of WODES\u201996. Institution of Electrical Engineers, Computing and Control Division, Edinburgh, UK, 1996."},{"key":"18_CR6","unstructured":"S. Christensen, K. Jensen, and L. Kristensen. Design\/CPN Occurrence Graph Manual. Department of Computer Science, University of Aarhus, Denmark. On-line version: http:\/\/www.daimi.au.dk\/designCPN\/ ."},{"key":"18_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/3-540-63139-9_47","volume-title":"Proceedings of ICATPN\u201997","author":"S. Christensen","year":"1997","unstructured":"S. Christensen and J. J\u00f8rgensen. Analysis of Bang and Olufsen\u2019s BeoLink Audio\/Video System Using Coloured Petri Nets. In P. Az\u00e9ma and G. Balbo, editors, Proceedings of ICATPN\u201997, volume 1248 of Lecture Notes in Computer Science, pages 387\u2013406. Springer-Verlag, 1997."},{"key":"18_CR8","volume-title":"Design\/CPN ASK-CTL Manual","author":"S. Christensen","year":"1996","unstructured":"S. Christensen and K. H. Mortensen. Design\/CPN ASK-CTL Manual. Department of Computer Science, University of Aarhus, Denmark, 1996. Online: http:\/\/www.daimi.au.dk\/designCPN\/ ."},{"issue":"2","key":"18_CR9","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. Clarke","year":"1986","unstructured":"E. Clarke, E. Emerson, and A. Sistla. Automatic Verification of Finite State Concurrent Systems using Temporal Logic. ACM Transactions on Programming Languages and Systems, 8(2):244\u2013263, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR10","unstructured":"Design\/CPN Online. http:\/\/www.daimi.au.dk\/designCPN\/ ."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"H. Genrich. Predicate\/Transition Nets. In K. Jensen and G. Rozenberg, editors, High-level Petri Nets, pages 3\u201343. Springer-Verlag, 1991.","DOI":"10.1007\/978-3-642-84524-6_1"},{"issue":"1\u20134","key":"18_CR12","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1016\/0360-8352(95)00143-O","volume":"29","author":"J.-S. Hwang","year":"1995","unstructured":"J.-S. Hwang and W. A. Miller. Hybrid Blackboard Model for Feature Interactions in Process Planning. Computers and Industrial Engineering, 29(1\u20134):613\u2013617, 1995.","journal-title":"Computers and Industrial Engineering"},{"key":"18_CR13","unstructured":"ITU (CCITT). Recommendation Z.120: MSC. Technical report, International Telecommunication Union, 1992."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science. Springer-Verlag, 1992.","DOI":"10.1007\/978-3-662-06289-0"},{"issue":"10","key":"18_CR15","doi-asserted-by":"crossref","first-page":"779","DOI":"10.1109\/32.729680","volume":"24","author":"D. O. Keck","year":"1998","unstructured":"D. O. Keck and P. J. Kuehn. The Feature and Service Interaction Problem in Telecommunication Systems: A survey. IEEE Transactions on Software Engineering, 24(10):779\u2013796, October 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR16","unstructured":"K. Kimbler and L. G. Bouma. Feature Interactions in Telecommunications and Software Systems V. IOS Press, 1998."},{"issue":"2","key":"18_CR17","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"L. Kristensen","year":"1998","unstructured":"L. Kristensen, S. Christensen, and K. Jensen. The Practitioner\u2019s Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2):98\u2013132, December 1998.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"18_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1007\/3-540-44988-4_20","volume-title":"Proceedings of ICATPN\u20192000","author":"L. Lorentsen","year":"2000","unstructured":"L. Lorentsen and L. Kristensen. Modelling and Analysis of a Danfoss Flowmeter System. In M. Nielsen and D. Simpson, editors, Proceedings of ICATPN\u20192000, volume 1825 of Lecture Notes in Computer Science, pages 346\u2013366. Springer-Verlag, 2000."},{"key":"18_CR19","unstructured":"M. Nakamura, Y. Kakuda, and T. Kikuno. Feature Interaction Detection using Permutation Symmety. In K. Kimbler and L. G. Bouma, editors, Feature Interactions in Telecommunications and Software Systems, volume V, pages 187\u2013201, Amsterdam, September 1998. IOS Press."},{"issue":"10","key":"18_CR20","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1016\/S0010-4485(97)00014-6","volume":"29","author":"D.-B. Perng","year":"1997","unstructured":"D.-B. Perng and C.-F. Chang. Resolving Feature Interactions in 3rd Part Editing. Computer-Aided Design, 29(10):687\u2013699, 1997.","journal-title":"Computer-Aided Design"},{"key":"18_CR21","unstructured":"J. L. Rasmussen and M. Singh. Mimic\/CPN. A Graphical Simulation Utility for Design\/CPN. User\u2019s Manual. On-line version: http:\/\/www.daimi.au.dk\/designCPN\/ ."},{"key":"18_CR22","unstructured":"A. Valmari. Error Detection by Reduced Reachability Graph Generation. In Proceedings of the 9th European Workshop on Application and Theory of Petri Nets, pages 95\u2013112, 1988."},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"J. Xu and J. Kuusela. Analyzing the Execution Architecture of Mobile Phone Software with Colored Petri Nets. Software Tools for Technology Transfer, 2(2):133\u2013143, December 1998.","DOI":"10.1007\/s100090050022"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48068-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T23:59:09Z","timestamp":1556495949000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48068-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437871","9783540480686"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-48068-4_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}