{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:17:47Z","timestamp":1743045467676,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031357473"},{"type":"electronic","value":"9783031357480"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-35748-0_35","type":"book-chapter","created":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T18:03:19Z","timestamp":1689012199000},"page":"503-530","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Modular Framework for\u00a0Modelling and\u00a0Verification of\u00a0Activities in\u00a0Ambient Intelligent Systems"],"prefix":"10.1007","author":[{"given":"Alexandros","family":"Konios","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yasir Imtiaz","family":"Khan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matias","family":"Garcia-Constantino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irvin Hussein","family":"Lopez-Nava","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,7,9]]},"reference":[{"unstructured":"Anisimov, N., Kovalenko. A.: Asynchronous composition of petri nets via places. In: Proceedings of 2nd AP Ershov International Memorial Conference on Perspectives of System Informatics, pp. 214\u2013219 (1996)","key":"35_CR1"},{"doi-asserted-by":"publisher","unstructured":"Augusto, J.C.: Ambient intelligence: the confluence of ubiquitous\/pervasive computing and artificial intelligence, pp. 213\u2013234. Springer, London (2007). https:\/\/doi.org\/10.1007\/978-1-84628-943-9_11","key":"35_CR2","DOI":"10.1007\/978-1-84628-943-9_11"},{"doi-asserted-by":"crossref","unstructured":"Augusto, J.C.: Ambient intelligence: Basic concepts and applications. In Filipe, J., Shishkov, B., Helfert, M., (eds.) Software and Data Technologies, pp. 16\u201326 (2008)","key":"35_CR3","DOI":"10.1007\/978-3-540-70621-2_2"},{"doi-asserted-by":"crossref","unstructured":"Augusto, J.C.: Past, present and future of ambient intelligence and smart environments. In: Filipe, J., Fred, A., Sharp, B., (eds.) Agents and Artificial Intelligence, pp. 3\u201315 (2010)","key":"35_CR4","DOI":"10.1007\/978-3-642-11819-7_1"},{"doi-asserted-by":"crossref","unstructured":"Baldan, P., Haar, S., K\u00f6nig, B.: Distributed unfolding of petri nets. In: Foundations of Software Science and Computation Structures, pp. 126\u2013141 (2006)","key":"35_CR5","DOI":"10.1007\/11690634_9"},{"issue":"11","key":"35_CR6","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/S0950-5849(98)00085-8","volume":"40","author":"D Binkley","year":"1998","unstructured":"Binkley, D.: The application of program slicing to regression testing. Inf. Softw. Technol. 40(11), 583\u2013594 (1998)","journal-title":"Inf. Softw. Technol."},{"doi-asserted-by":"crossref","unstructured":"Binkley, D.W., Gallagher, K.B.: Program slicing, volume 43. Advances in Computers, pp. 1\u201350. Elsevier (1996)","key":"35_CR7","DOI":"10.1016\/S0065-2458(08)60641-5"},{"key":"35_CR8","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-540-89287-8_11","volume":"I","author":"B Bonet","year":"2008","unstructured":"Bonet, B., Haslum, P., Hickmott, S., Thi\u00e9baux, S.: Directed unfolding of petri nets. Trans. Petri Nets Other Mod. Concurrency I, 172\u2013198 (2008)","journal-title":"Trans. Petri Nets Other Mod. Concurrency"},{"issue":"1","key":"35_CR9","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. Theoret. Comput. Sci. 240(1), 177\u2013213 (2000)","journal-title":"Theoret. Comput. Sci."},{"unstructured":"Chang, J., Richardson, D.: Static and dynamic specification slicing. In: Proceedings of the Fourth Irvine Software Symposium (1994)","key":"35_CR10"},{"issue":"7","key":"35_CR11","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/MC.2012.328","volume":"46","author":"DJ Cook","year":"2013","unstructured":"Cook, D.J., Crandall, A.S., Thomas, B.L., Krishnan, N.C.: Casas: A smart home in a box. Computer 46(7), 62\u201369 (2013)","journal-title":"Computer"},{"doi-asserted-by":"crossref","unstructured":"Garcia-Constantino, M., Konios, A., Nugent, C.: Modelling activities of daily living with petri nets. In: 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), pp. 866\u2013871 (March 2018)","key":"35_CR12","DOI":"10.1109\/PERCOMW.2018.8480225"},{"doi-asserted-by":"crossref","unstructured":"Harrison, M.D., Kray, C., Sun, Z., Zhang, H.: Factoring user experience into the design of ambient and mobile systems. In: Engineering Interactive Systems, pp. 243\u2013259 (2008)","key":"35_CR13","DOI":"10.1007\/978-3-540-92698-6_15"},{"key":"35_CR14","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.entcs.2010.01.004","volume":"261","author":"MD Harrison","year":"2010","unstructured":"Harrison, M.D., Massink, M.: Modelling interactive experience, function and performance in ubiquitous systems. Electron. Notes Theoret. Comput. Sci. 261, 23\u201342 (2010)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"unstructured":"Hayman, J., Winskel, G.: The unfolding of general Petri nets. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 2. Leibniz International Proceedings in Informatics (LIPIcs), pp. 223\u2013234 (2008)","key":"35_CR15"},{"doi-asserted-by":"crossref","unstructured":"Iliasov, A., Romanovsky, A., Arief, B., Laibinis, L., Troubitsyna, E.: On rigorous design and implementation of fault tolerant ambient systems. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, pp. 141\u2013145 (2007)","key":"35_CR16","DOI":"10.1109\/ISORC.2007.46"},{"doi-asserted-by":"crossref","unstructured":"Jing, Y., Eastwood, M., Tan, B., Konios, A., Hamid, A., Collinson, M.: An intelligent well-being monitoring system for residents in extra care homes. In: Proceedings of the 1st International Conference on Internet of Things and Machine Learning, IML 2017, pp. 8:1\u20138:6 (2017)","key":"35_CR17","DOI":"10.1145\/3109761.3109769"},{"unstructured":"Khan, Y.: Slim - a slicing tool. https:\/\/bit.ly\/2GAGwO1","key":"35_CR18"},{"key":"35_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-642-40894-6_6","volume-title":"Software Engineering for Resilient Systems","author":"YI Khan","year":"2013","unstructured":"Khan, Y.I.: Optimizing verification of structurally evolving algebraic petri nets. In: Gorbenko, A., Romanovsky, A., Kharchenko, V. (eds.) SERENE 2013. LNCS, vol. 8166, pp. 64\u201378. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40894-6_6"},{"unstructured":"Khan, Y., Guelfi, N.: Slicing high-level petri nets. In: International Workshop on Petri Nets and Software Engineering (PNSE 2014), pp. 201\u2013220 (2014)","key":"35_CR20"},{"doi-asserted-by":"crossref","unstructured":"Khan, Y.I., Konios, A., Guelfi, N.: A survey of petri nets slicing. ACM Comput. Surv. 51(5), 109:1\u2013109:32 (2018)","key":"35_CR21","DOI":"10.1145\/3241736"},{"key":"35_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/3-540-44685-0_25","volume-title":"CONCUR 2001 \u2014 Concurrency Theory","author":"V Khomenko","year":"2001","unstructured":"Khomenko, V., Koutny, M.: Towards an efficient algorithm for unfolding petri nets. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 366\u2013380. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44685-0_25"},{"unstructured":"Konios, A.: Ambient systems and taxonomy approaches. Technical report, CS-TR-1281, School of Computing Science, Newcastle University (2011)","key":"35_CR23"},{"unstructured":"Konios, A.:Modelling ambient systems with petri nets. In: Proceedings of the 13th International Conference on Application of Concurrency to System Design (ACSD), pp. 247\u2013251 (2013)","key":"35_CR24"},{"unstructured":"Konios, A.: Modelling and Verification of Ambient Systems using Petri Nets. PhD thesis (2015)","key":"35_CR25"},{"doi-asserted-by":"crossref","unstructured":"Konios, A., Jing, Y., Eastwood, M., Tan, B.: Unifying and analysing activities of daily living in extra care homes. In: 2018 IEEE 16th Intl Conf on Dependable, Autonomic and Secure Computing, 16th International Conference on Pervasive Intelligence and Computing, 4th International Conference on Big Data Intelligence and Computing and Cyber Science and Technology Congress(DASC\/PiCom\/DataCom\/CyberSciTech), pp. 474\u2013479 (2018)","key":"35_CR26","DOI":"10.1109\/DASC\/PiCom\/DataCom\/CyberSciTec.2018.00094"},{"unstructured":"Konios, A., Khan, Y.I.: Modelling and verification of activities in ambient intelligent systems. https:\/\/bit.ly\/2O58iXg","key":"35_CR27"},{"unstructured":"Konios, A., Pietkiewicz-Koutny, M.: Modelling ambient systems with coloured petri nets. Technical report, School of Computing Science, Newcastle University (2013)","key":"35_CR28"},{"issue":"3","key":"35_CR29","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0164-1212(90)90094-3","volume":"13","author":"B Korel","year":"1990","unstructured":"Korel, B., Laski, J.: Dynamic slicing of computer programs. J. Syst. Softw. 13(3), 187\u2013195 (1990)","journal-title":"J. Syst. Softw."},{"key":"35_CR30","first-page":"131","volume":"32","author":"W Lee","year":"2000","unstructured":"Lee, W., Kim, H., Cha, S., Kwon, Y.: A slicing-based approach to enhance petri net reachability analysis. J. Res. Pract. Inform. Technol. 32, 131\u2013143 (2000)","journal-title":"J. Res. Pract. Inform. Technol."},{"doi-asserted-by":"crossref","unstructured":"Liu, F., Heiner, M., Yang, M.: An efficient method for unfolding colored petri nets. In: Proceedings of the 2012 Winter Simulation Conference (WSC), pp. 1\u201312 (2012)","key":"35_CR31","DOI":"10.1109\/WSC.2012.6465203"},{"key":"35_CR32","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.entcs.2008.12.037","volume":"223","author":"M Llorens","year":"2008","unstructured":"Llorens, M., Oliver, J., Silva, J., Tamarit, S., Vidal, G.: Dynamic slicing techniques for petri nets. Electron. Notes Theor. Comput. Sci. 223, 153\u2013165 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"35_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-642-31131-4_15","volume-title":"Application and Theory of Petri Nets","author":"A Rakow","year":"2012","unstructured":"Rakow, A.: Safety slicing petri nets. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 268\u2013287. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31131-4_15"},{"doi-asserted-by":"crossref","unstructured":"Reisig, W.: Simple composition of nets. In: Proceedings of Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009, pp. 23\u201342 (2009)","key":"35_CR34","DOI":"10.1007\/978-3-642-02424-5_4"},{"doi-asserted-by":"crossref","unstructured":"Silva, \u00d3. J.L., Ribeiro, R., Fernandes, J.M., Campos, J.C., Harrison, M.D.: The apex framework: Prototyping of ubiquitous environments based on petri nets. In: Human-Centred Software Engineering, pp. 6\u201321 (2010)","key":"35_CR35","DOI":"10.1007\/978-3-642-16488-0_2"},{"key":"35_CR36","first-page":"491","volume":"1990","author":"A Valmari","year":"1991","unstructured":"Valmari, A.: Stubborn sets for reduced state space generation. Adv. Petri Nets 1990, 491\u2013515 (1991)","journal-title":"Adv. Petri Nets"},{"doi-asserted-by":"crossref","unstructured":"Want, R., Pering, T.: System challenges for ubiquitous & pervasive computing. In: Proceedings of the 27th International Conference on Software Engineering, ICSE 2005, pp. 9\u201314 (2005)","key":"35_CR37","DOI":"10.1145\/1062455.1062463"},{"unstructured":"Weiser, M.: Program slicing. In: Proceedings of the 5th International Conference on Software Engineering, ICSE 1981, pp. 439\u2013449 (1981)","key":"35_CR38"}],"container-title":["Lecture Notes in Computer Science","Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-35748-0_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T18:14:48Z","timestamp":1689012888000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-35748-0_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031357473","9783031357480"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-35748-0_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"9 July 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"HCII","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Human-Computer Interaction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Copenhagen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 July 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 July 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"hcii2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2023.hci.international\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"CMS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7472","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1578","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"396","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}