{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T17:05:33Z","timestamp":1745946333005,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031290558"},{"type":"electronic","value":"9783031290565"}],"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-29056-5_29","type":"book-chapter","created":{"date-parts":[[2023,3,19]],"date-time":"2023-03-19T15:02:23Z","timestamp":1679238143000},"page":"319-331","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Reduced Distributed Sate Space for\u00a0Modular Petri Nets"],"prefix":"10.1007","author":[{"given":"Sawsen","family":"Khlifa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiheb Ameur","family":"Abid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Belhassen","family":"Zouari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,3,20]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Ouni, H., Abid, C.A., Zouari, B.: A distributed state space for modular Petri nets. In: 7th International Conference on Modelling, Identification and Control (2015)","DOI":"10.1109\/ICMIC.2015.7409394"},{"key":"29_CR2","first-page":"224","volume":"43","author":"S Christensen","year":"2000","unstructured":"Christensen, S., Petrucci, L.: Modular analysis of Petri nets. Br Comput. Soc: Comput. J. 43, 224\u2013242 (2000)","journal-title":"Br Comput. Soc: Comput. J."},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Lakos, C., Petrucci, L.: Modular analysis of systems composed of semiautonomous. In: International Conference on Application of Concurrency to System Design, pp.185-196 (2004)","DOI":"10.1109\/CSD.2004.1309131"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Valmari, A.: Compositional state space generation, Lecture Notes in Computer Science, pp. 427-457 (1993)","DOI":"10.1007\/3-540-56689-9_54"},{"key":"29_CR5","unstructured":"Valmari, A., Tienari, M.: An improved failures equivalence for finite state systems with a reduction algorithm, North-Holland Publishing Co.: Proceedings of the IFIP WG6. In: International Symposium on Protocol Specification, Testing and Verification XI, pp. 318 (1991)"},{"key":"29_CR6","unstructured":"Ouzara, F., Boukaka, M., Petrucci, L.: Verification of modular systems. In: Proceedings of the International Conference on Information Technology for Organization Development, pp. 240-245 (2014)"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Ouni, H., klai, K., Abid, C.A., Zouari, B.: Parallel Symbolic Observation Graph. In: IEEE International Symposium on Parallel and Distributed Processing with Applications and IEEE International Conference on Ubiquitous Computing and Communications (ISPA\/IUCC), pp. 770-777 (2017)","DOI":"10.1109\/ISPA\/IUCC.2017.00118"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Mahmood, I., Askari, S.H., Sarjoughian, H.S.: Composability Verification of Complex Systems Using Colored Petri Nets, IEEE Publisher: Winter Simulation Conference (WSC) (2021)","DOI":"10.1109\/WSC52266.2021.9715302"},{"issue":"3","key":"29_CR9","first-page":"208","volume":"12","author":"TF Costa","year":"2022","unstructured":"Costa, T.F., et al.: Coloured petri nets-based modeling and validation of insulin infusion pump systems. Appl. Sci. 12(3), 208\u2013223 (2022)","journal-title":"Appl. Sci."},{"key":"29_CR10","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/978-3-319-63516-3_12","volume-title":"Handbook of Parallel Constraint Reasoning","author":"J Barnat","year":"2018","unstructured":"Barnat, J., et al.: Parallel model checking algorithms for linear-time temporal logic. In: Handbook of Parallel Constraint Reasoning, pp. 457\u2013507. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-63516-3_12"},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"klai, K., PEtrucci, L., Reniers, M.: An incremental and modular technique for checking ltl-x properties of petri nets. In: FORTE \u201907 : Proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, (Berlin, Heidelberg), pp. 280-295 (2007)","DOI":"10.1007\/978-3-540-73196-2_18"},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J.: Parallelizing the spin model checker. In: International SPIN Workshop on Model Checking of Software, pp. 155-171 (2012)","DOI":"10.1007\/978-3-642-31759-0_12"},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Filippidis, I., Holzmann, G.J.: An improvement of the piggyback algorithm for parallel model checking. In: Proceedings of the 2014 International SPIN Symposium on Model Checking of Software, pp. 48-57 (2014)","DOI":"10.1145\/2632362.2632375"},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"Ouni, H., klai, K., Abid, C.A., Zouari, B.: A parallel construction of the symbolic observation graph: the basis for efficient model checking of concurrent systems. In: The 8th International Symposium on Symbolic Computation in Software Science, pp. 107\u2013119 (2017)","DOI":"10.29007\/7b44"},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J.: Proving properties of concurrent programs, International SPIN Workshop on Model Checking of Software, pp. 18\u201323 (2013)","DOI":"10.1007\/978-3-642-39176-7_2"},{"key":"29_CR16","first-page":"1","volume":"125","author":"CA Abid","year":"2013","unstructured":"Abid, C.A., Zouari, B.: Local verification using a distributed state space. IOS Press: Fundamenta Informaticae 125, 1\u201320 (2013)","journal-title":"IOS Press: Fundamenta Informaticae"}],"container-title":["Lecture Notes in Networks and Systems","Advanced Information Networking and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-29056-5_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,16]],"date-time":"2024-10-16T17:01:42Z","timestamp":1729098102000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-29056-5_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031290558","9783031290565"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-29056-5_29","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"20 March 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AINA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Networking and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Juiz de Fora","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","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":"29 March 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 March 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aina2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/voyager.ce.fit.ac.jp\/conf\/aina\/2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}