{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T07:30:08Z","timestamp":1771659008663,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T00:00:00Z","timestamp":1603065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,19]]},"DOI":"10.1145\/3419804.3421452","type":"proceedings-article","created":{"date-parts":[[2020,10,18]],"date-time":"2020-10-18T10:23:21Z","timestamp":1603016601000},"page":"144-153","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["SDL Cellular Automaton COVID-19 conceptualization"],"prefix":"10.1145","author":[{"given":"Pau","family":"Fonseca i Casas","sequence":"first","affiliation":[{"name":"Statistics and Operation Research, Universitat Polit\u00e8cnica de Catalunya -- Barcelona Tech Barcelona, Catalunya, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joan","family":"Garcia i Subirana","sequence":"additional","affiliation":[{"name":"Statistics and Operation Research, Universitat Polit\u00e8cnica de Catalunya -- Barcelona Tech Barcelona, Catalunya, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Garcia i Carrasco","sequence":"additional","affiliation":[{"name":"Modeling, Polyhedra Tech, Barcelona, Catalunya, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge Luiz","family":"Silva de Barcellos","sequence":"additional","affiliation":[{"name":"Universitat Rovira i Virgili, Moscow, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josep","family":"Roma","sequence":"additional","affiliation":[{"name":"Departament de Salut P\u00fablica, Generalitat de Catalunya, Barcelona, Catalunya, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xavier","family":"Pi","sequence":"additional","affiliation":[{"name":"Computer Science, Multimedia and Telecommunications, Universitat Oberta de Catalunya, Barcelona, Catalunya, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"THEORY OF MODELING AND SIMULATION HANDBOOK OF SIMULATOR-BASED TRAINING CREATING COMPUTER SIMULATION SYSTEMS: An Introduction to the High Level Architecture","author":"Zeigler B.P.","year":"2000","unstructured":"B.P. Zeigler , H. Praehofer , T.G. Kim , THEORY OF MODELING AND SIMULATION HANDBOOK OF SIMULATOR-BASED TRAINING CREATING COMPUTER SIMULATION SYSTEMS: An Introduction to the High Level Architecture , 2000 . https:\/\/doi.org\/10.1002\/rnc.610. 10.1002\/rnc.610 B.P. Zeigler, H. Praehofer, T.G. Kim, THEORY OF MODELING AND SIMULATION HANDBOOK OF SIMULATOR-BASED TRAINING CREATING COMPUTER SIMULATION SYSTEMS: An Introduction to the High Level Architecture, 2000. https:\/\/doi.org\/10.1002\/rnc.610."},{"key":"e_1_3_2_1_2_1","volume-title":"IGI Global","author":"Kapos G.-D.","year":"2013","unstructured":"G.-D. Kapos , V. Dalakas , M. Nikolaidou , D. Anagnostopoulos , Formal Languages for Computer Simulation , IGI Global , 2013 . https:\/\/doi.org\/10.4018\/978-1-4666-4369-7. 10.4018\/978-1-4666-4369-7 G.-D. Kapos, V. Dalakas, M. Nikolaidou, D. Anagnostopoulos, Formal Languages for Computer Simulation, IGI Global, 2013. https:\/\/doi.org\/10.4018\/978-1-4666-4369-7."},{"key":"e_1_3_2_1_3_1","volume-title":"Form. Lang. Forcomputer Simul. Transdiscipl. Model. Appl.","author":"Guasch A.","year":"2013","unstructured":"A. Guasch , J. Figueras , J. Casanovas , Conceptual modeling using Petri Nets ., in: Form. Lang. Forcomputer Simul. Transdiscipl. Model. Appl. , 2013 . A. Guasch, J. Figueras, J. Casanovas, Conceptual modeling using Petri Nets., in: Form. Lang. Forcomputer Simul. Transdiscipl. Model. Appl., 2013."},{"key":"e_1_3_2_1_4_1","first-page":"191","volume":"433","author":"Cabasino M.P.","year":"2013","unstructured":"M.P. Cabasino , A. Giua , C. Seatzu , Introduction to petri nets , Lect. Notes Control Inf. Sci. 433 ( 2013 ) 191 -- 211 . https:\/\/doi.org\/10.1007\/978-1-4471-4276-8-10. 10.1007\/978-1-4471-4276-8-10 M.P. Cabasino, A. Giua, C. Seatzu, Introduction to petri nets, Lect. Notes Control Inf. Sci. 433 (2013) 191--211. https:\/\/doi.org\/10.1007\/978-1-4471-4276-8-10.","journal-title":"Lect. Notes Control Inf. Sci."},{"key":"e_1_3_2_1_5_1","volume-title":"SDL Illustrated - visually design executable models","author":"Doldi L.","year":"2001","unstructured":"L. Doldi , SDL Illustrated - visually design executable models , 1 st ed., TMSO Systems, Old Main , Pennsilv\u00e0nia , 2001 . L. Doldi, SDL Illustrated - visually design executable models, 1st ed., TMSO Systems, Old Main, Pennsilv\u00e0nia, 2001.","edition":"1"},{"key":"e_1_3_2_1_6_1","volume-title":"Specification and Description Language -- Overview of SDL-","author":"ITU-T, ITU-T.","year":"2010","unstructured":"ITU-T, ITU-T. 2019. Specification and Description Language -- Overview of SDL- 2010 . ITU-T Recommendation Z. 100, 2019. ITU-T, ITU-T. 2019. Specification and Description Language -- Overview of SDL- 2010. ITU-T Recommendation Z. 100, 2019."},{"key":"e_1_3_2_1_7_1","volume-title":"2013 3rd Int. Conf. Inf. Technol. e-Services, IEEE","author":"Boukelkoul S.","unstructured":"S. Boukelkoul , M. Redjimi , Mapping between Petri nets and DEVS models , in: 2013 3rd Int. Conf. Inf. Technol. e-Services, IEEE , 2013: pp. 1--6. https:\/\/doi.org\/10.1109\/ICITeS.2013.6624067. 10.1109\/ICITeS.2013.6624067 S. Boukelkoul, M. Redjimi, Mapping between Petri nets and DEVS models, in: 2013 3rd Int. Conf. Inf. Technol. e-Services, IEEE, 2013: pp. 1--6. https:\/\/doi.org\/10.1109\/ICITeS.2013.6624067."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1177\/0037549715571623"},{"key":"e_1_3_2_1_9_1","unstructured":"PragmaDev SARL PragmaDev Studio PragmaDev Stud. (2016). http:\/\/www.pragmadev.com\/product\/index.html (accessed January 9 2016).  PragmaDev SARL PragmaDev Studio PragmaDev Stud. (2016). http:\/\/www.pragmadev.com\/product\/index.html (accessed January 9 2016)."},{"key":"e_1_3_2_1_10_1","first-page":"419","volume-title":"Proc. 2010 Summer Simul. Multiconference, SummerSim 2010","author":"Casas P. Fonseca","year":"2010","unstructured":"P. Fonseca i Casas , Using Specification and Description Language to define and implement discrete simulation models , in: Proc. 2010 Summer Simul. Multiconference, SummerSim 2010 , Ottawa , 2010 : pp. 419 -- 426 . P. Fonseca i Casas, Using Specification and Description Language to define and implement discrete simulation models, in: Proc. 2010 Summer Simul. Multiconference, SummerSim 2010, Ottawa, 2010: pp. 419--426."},{"key":"e_1_3_2_1_11_1","first-page":"1","volume":"4","author":"Reed Rick","year":"2000","unstructured":"Rick Reed , SDL-2000 for new millennium systems , Telektronikk. 4 ( 2000 ) 1 -- 14 . Rick Reed, SDL-2000 for new millennium systems, Telektronikk. 4 (2000) 1--14.","journal-title":"Telektronikk."},{"key":"e_1_3_2_1_12_1","volume-title":"An Introduction to Infectious Disease Modelling","author":"Vynnycky E.","year":"2010","unstructured":"E. Vynnycky , R. White , An Introduction to Infectious Disease Modelling , Oxford University Press , 2010 . E. Vynnycky, R. White, An Introduction to Infectious Disease Modelling, Oxford University Press, 2010."},{"key":"#cr-split#-e_1_3_2_1_13_1.1","doi-asserted-by":"crossref","unstructured":"P. Fonseca i Casas V. Garc\u00eda i Carrasco J. Garcia i Subirana SEIRD COVID-19 Formal Characterization and Model Comparison Validation Appl. Sci. 10 (2020) 5162. https:\/\/doi.org\/10.3390\/app10155162. 10.3390\/app10155162","DOI":"10.3390\/app10155162"},{"key":"#cr-split#-e_1_3_2_1_13_1.2","doi-asserted-by":"crossref","unstructured":"P. Fonseca i Casas V. Garc\u00eda i Carrasco J. Garcia i Subirana SEIRD COVID-19 Formal Characterization and Model Comparison Validation Appl. Sci. 10 (2020) 5162. https:\/\/doi.org\/10.3390\/app10155162.","DOI":"10.3390\/app10155162"},{"key":"e_1_3_2_1_14_1","volume-title":"InsighMaker.","author":"Casas P. Fonseca","year":"2020","unstructured":"P. Fonseca i Casas , Simple SEIRD model with containment mesures , InsighMaker. ( 2020 ). https:\/\/insightmaker.com\/insight\/192085\/COVID-19-spread-with-containment-measures. P. Fonseca i Casas, Simple SEIRD model with containment mesures, InsighMaker. (2020). https:\/\/insightmaker.com\/insight\/192085\/COVID-19-spread-with-containment-measures."},{"key":"e_1_3_2_1_15_1","first-page":"163","volume-title":"P. Fonseca i Casas, M.-R","author":"Casas P. Fonseca","year":"2019","unstructured":"P. Fonseca i Casas , Towards a Representation of Cellular Automaton Using Specification and Description Language , in: P. Fonseca i Casas, M.-R . Sancho, E. Sherratt (Eds.), Syst. Anal. Model. Lang. Methods, Tools Ind. 4.0, Springer , 2019 : pp. 163 -- 179 . https:\/\/doi.org\/10.1007\/978-3-030-30690-8_10. 10.1007\/978-3-030-30690-8_10 P. Fonseca i Casas, Towards a Representation of Cellular Automaton Using Specification and Description Language, in: P. Fonseca i Casas, M.-R. Sancho, E. Sherratt (Eds.), Syst. Anal. Model. Lang. Methods, Tools Ind. 4.0, Springer, 2019: pp. 163--179. https:\/\/doi.org\/10.1007\/978-3-030-30690-8_10."},{"key":"e_1_3_2_1_16_1","volume-title":"Socrata.","author":"Tyler","year":"2020","unstructured":"Tyler , Socrata Open Data Server , Socrata. ( 2020 ). https:\/\/open-source.socrata.com\/ (accessed June 2, 2020). Tyler, Socrata Open Data Server, Socrata. (2020). https:\/\/open-source.socrata.com\/ (accessed June 2, 2020)."},{"key":"e_1_3_2_1_17_1","unstructured":"Generalitat Dades obertes (2020). http:\/\/governobert.gencat.cat\/ca\/dades_obertes\/ (accessed July 2 2020).  Generalitat Dades obertes (2020). http:\/\/governobert.gencat.cat\/ca\/dades_obertes\/ (accessed July 2 2020)."},{"key":"#cr-split#-e_1_3_2_1_18_1.1","doi-asserted-by":"crossref","unstructured":"I. Benenson P.M. Torrens Geosimulation John Wiley & Sons Ltd Chichester UK 2004. https:\/\/doi.org\/10.1002\/0470020997. 10.1002\/0470020997","DOI":"10.1002\/0470020997"},{"key":"#cr-split#-e_1_3_2_1_18_1.2","doi-asserted-by":"crossref","unstructured":"I. Benenson P.M. Torrens Geosimulation John Wiley & Sons Ltd Chichester UK 2004. https:\/\/doi.org\/10.1002\/0470020997.","DOI":"10.1002\/0470020997"},{"key":"#cr-split#-e_1_3_2_1_19_1.1","doi-asserted-by":"crossref","unstructured":"G.A. Wainer Advanced Cell-DEVS modeling applications: a legacy of Norbert Giambiasi Simulation. (2018) 003754971876159. https:\/\/doi.org\/10.1177\/0037549718761596. 10.1177\/0037549718761596","DOI":"10.1177\/0037549718761596"},{"key":"#cr-split#-e_1_3_2_1_19_1.2","doi-asserted-by":"crossref","unstructured":"G.A. Wainer Advanced Cell-DEVS modeling applications: a legacy of Norbert Giambiasi Simulation. (2018) 003754971876159. https:\/\/doi.org\/10.1177\/0037549718761596.","DOI":"10.1177\/0037549718761596"},{"key":"e_1_3_2_1_20_1","unstructured":"G. Andrews Cellular automata and applications (2008) 29.  G. Andrews Cellular automata and applications (2008) 29."},{"key":"e_1_3_2_1_21_1","volume-title":"A new kind of science","author":"Wolfram S.","year":"2003","unstructured":"S. Wolfram , A new kind of science , 2003 . S. Wolfram, A new kind of science, 2003."},{"key":"e_1_3_2_1_22_1","volume-title":"7th Symp. Fire For. Meteorol.","author":"Andrews P.","year":"2007","unstructured":"P. Andrews , BehavePlus fire modeling system: past, present, and future , ... 7th Symp. Fire For. Meteorol. ( 2007 ). P. Andrews, BehavePlus fire modeling system: past, present, and future, ... 7th Symp. Fire For. Meteorol. (2007)."},{"key":"e_1_3_2_1_23_1","volume-title":"Eur. Model. Simul. Symp. EMSS 2005","author":"Fonseca P.","year":"2005","unstructured":"P. Fonseca , J. Casanovas, Simplifying GIS data use inside discrete event simulation model through M:N-AC cellular automaton, Int. Mediterr. Model. Multiconference, I3M 2005 , Eur. Model. Simul. Symp. EMSS 2005 . ( 2005 ) 7--15. P. Fonseca, J. Casanovas, Simplifying GIS data use inside discrete event simulation model through M:N-AC cellular automaton, Int. Mediterr. Model. Multiconference, I3M 2005, Eur. Model. Simul. Symp. EMSS 2005. (2005) 7--15."},{"key":"e_1_3_2_1_24_1","volume-title":"SDL - the IoT language","author":"Sherratt E.","year":"2015","unstructured":"E. Sherratt , I. Ober , E. Gaudin , P. Fonseca I Casas , F. Kristoffersen , SDL - the IoT language , 2015 . https:\/\/doi.org\/10.1007\/978-3-319-24912-4_3. 10.1007\/978-3-319-24912-4_3 E. Sherratt, I. Ober, E. Gaudin, P. Fonseca I Casas, F. Kristoffersen, SDL - the IoT language, 2015. https:\/\/doi.org\/10.1007\/978-3-319-24912-4_3."},{"key":"e_1_3_2_1_25_1","volume-title":"Using the Industrie 4.0 Maturity Index in Industry. Current challenges, case studies and trends","author":"Schuh G.","year":"2020","unstructured":"G. Schuh , R. Anderl , R. Dumitrescu , A. Kr\u00fcger , M. ten Hompel , Using the Industrie 4.0 Maturity Index in Industry. Current challenges, case studies and trends , 2020 . G. Schuh, R. Anderl, R. Dumitrescu, A. Kr\u00fcger, M. ten Hompel, Using the Industrie 4.0 Maturity Index in Industry. Current challenges, case studies and trends, 2020."},{"key":"e_1_3_2_1_26_1","unstructured":"D.T. Consortium Digital Twin Consortium Charter (2020).  D.T. Consortium Digital Twin Consortium Charter (2020)."},{"key":"e_1_3_2_1_27_1","volume-title":"Softw. Syst. Model.","author":"Sifakis J.","year":"2017","unstructured":"J. Sifakis , S. Bliudze , S. Furic , A. Viel , Rigorous Design of Cyber-Physical Systems: Linking Physicality and Computation , Softw. Syst. Model. ( 2017 ). https:\/\/doi.org\/10.1007\/s10270-017-0642-5. 10.1007\/s10270-017-0642-5 J. Sifakis, S. Bliudze, S. Furic, A. Viel, Rigorous Design of Cyber-Physical Systems: Linking Physicality and Computation, Softw. Syst. Model. (2017). https:\/\/doi.org\/10.1007\/s10270-017-0642-5."},{"key":"e_1_3_2_1_28_1","volume-title":"Reference Architecture Model Industrie 4.0 (RAMI4.0)","author":"VDI, VDE","year":"2015","unstructured":"VDI, VDE , ZVEI , Reference Architecture Model Industrie 4.0 (RAMI4.0) , 2015 . VDI, VDE, ZVEI, Reference Architecture Model Industrie 4.0 (RAMI4.0), 2015."},{"key":"e_1_3_2_1_29_1","volume-title":"Definition of virtual reality simulation models using specification and description language diagrams","author":"Casas P. Fonseca","year":"2013","unstructured":"P. Fonseca i Casas , X. Pi Palom\u00e9s , J. Casanovas Garcia , J. Jov\u00e9 , Definition of virtual reality simulation models using specification and description language diagrams , Springer Berlin Heidelberg , Berlin, Heidelberg , 2013 . https:\/\/doi.org\/10.1007\/978-3-642-38911-5. 10.1007\/978-3-642-38911-5 P. Fonseca i Casas, X. Pi Palom\u00e9s, J. Casanovas Garcia, J. Jov\u00e9, Definition of virtual reality simulation models using specification and description language diagrams, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013. https:\/\/doi.org\/10.1007\/978-3-642-38911-5."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1177\/0037549709341582"}],"event":{"name":"SAM '20: 12th System Analysis and Modelling Conference","location":"Virtual Event Canada","acronym":"SAM '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 12th System Analysis and Modelling Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3419804.3421452","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3419804.3421452","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:32:03Z","timestamp":1750195923000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3419804.3421452"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,19]]},"references-count":33,"alternative-id":["10.1145\/3419804.3421452","10.1145\/3419804"],"URL":"https:\/\/doi.org\/10.1145\/3419804.3421452","relation":{},"subject":[],"published":{"date-parts":[[2020,10,19]]},"assertion":[{"value":"2020-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}