{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T17:05:06Z","timestamp":1762103106390,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031614323"},{"type":"electronic","value":"9783031614330"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-61433-0_1","type":"book-chapter","created":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T16:02:01Z","timestamp":1718208121000},"page":"3-23","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Harnessing Structure Theory of\u00a0Petri Nets in\u00a0Discrete Event System Simulation"],"prefix":"10.1007","author":[{"given":"Jos\u00e9-Manuel","family":"Colom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,6,13]]},"reference":[{"key":"1_CR1","unstructured":"IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) \u2013 Federate Interface Specification. IEEE Std 1516.1-2010 (Revision of IEEE Std 1516.1-2000), pp. 1\u2013378 (2010)"},{"key":"1_CR2","unstructured":"IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) \u2013 Framework and Rules. IEEE Std 1516-2010 (Revision of IEEE Std 1516-2000), pp. 1\u201338 (2010)"},{"key":"1_CR3","unstructured":"IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) \u2013 Object Model Template (OMT) Specification. IEEE Std 1516.2-2010 (Revision of IEEE Std 1516.2-2000), pp. 1\u2013110 (2010)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-030-63058-4_9","volume-title":"Economics of Grids, Clouds, Systems, and Services","author":"U Arronategui","year":"2020","unstructured":"Arronategui, U., Ba\u00f1ares, J.\u00c1., Colom, J.M.: A MDE approach for modelling and distributed simulation of health systems. In: Djemame, K., Altmann, J., Ba\u00f1ares, J.\u00c1., Agmon Ben-Yehuda, O., Stankovski, V., Tuffin, B. (eds.) GECON 2020. LNCS, vol. 12441, pp. 89\u2013103. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-63058-4_9"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Briz, J., Colom, J., Silva, M.: Simulation of Petri nets and linear enabling functions. In: Proceedings of IEEE International Conference on Systems, Man and Cybernetics, vol.\u00a02, pp. 1671\u20131676 (1994)","DOI":"10.1109\/ICSMC.1994.400088"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-58152-9_7","volume-title":"Application and Theory of Petri Nets 1994","author":"JL Briz","year":"1994","unstructured":"Briz, J.L., Colom, J.M.: Implementation of weighted place\/transition nets based on linear enabling functions. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815, pp. 99\u2013118. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/3-540-58152-9_7"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Chandy, K., Misra, J.: Distributed simulation: a case study in design and verification of distributed programs. IEEE Trans. Softw. Eng. SE-5(5), 440\u2013452 (1979)","DOI":"10.1109\/TSE.1979.230182"},{"key":"1_CR8","unstructured":"Colom, J., Silva, M., Villarroel, J.: On software implementation of Petri Nets and colored Petri Nets using high level concurrent languages. In: Proceedings of 7th European Workshop on Application and Theory of Petri nets, Oxford, England, pp. 207\u2013241 (1986)"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1177\/10943420020160010101","volume":"16","author":"J Dongarra","year":"2002","unstructured":"Dongarra, J.: Basic linear algebra subprograms technical (BLAST) forum standard II. Int. J. High Perform. Comput. Appl. (IJHPCA) 16, 1\u2013111 (2002)","journal-title":"Int. J. High Perform. Comput. Appl. (IJHPCA)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"D\u2019Angelo, G.: The simulation model partitioning problem: an adaptive solution based on self-Clustering. Simul. Model. Pract. Theory 70, 1\u201320 (2017)","DOI":"10.1016\/j.simpat.2016.10.001"},{"key":"1_CR11","unstructured":"Fujimoto, R.: Parallel and Distributed Simulation Systems. Wiley Interscience (2000)"},{"issue":"4","key":"1_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2866577","volume":"26","author":"R Fujimoto","year":"2016","unstructured":"Fujimoto, R.: Research challenges in parallel and distributed simulation. ACM Trans. Model. Comput. Simul. 26(4), 1\u201329 (2016). Article 22","journal-title":"ACM Trans. Model. Comput. Simul."},{"issue":"4","key":"1_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3329125","volume":"52","author":"RV Glabbeek","year":"2020","unstructured":"Glabbeek, R.V., H\u00f6fner, P.: Progress, justness, and fairness. ACM Comput. Surv. 52(4), 1\u201338 (2020). Article 69","journal-title":"ACM Comput. Surv."},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-030-13342-9_7","volume-title":"Economics of Grids, Clouds, Systems, and Services","author":"J\u00c1 Ba\u00f1ares","year":"2019","unstructured":"Ba\u00f1ares, J.\u00c1., Colom, J.M.: Model and simulation engines for distributed simulation of discrete event systems. In: Coppola, M., Carlini, E., D\u2019Agostino, D., Altmann, J., Ba\u00f1ares, J.\u00c1. (eds.) GECON 2018. LNCS, vol. 11113, pp. 77\u201391. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-13342-9_7"},{"issue":"2","key":"1_CR15","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"RM Karp","year":"1969","unstructured":"Karp, R.M., Miller, R.E.: Parallel program schemata. J. Comput. Syst. Sci. 3(2), 147\u2013195 (1969)","journal-title":"J. Comput. Syst. Sci."},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-319-43177-2_10","volume-title":"Economics of Grids, Clouds, Systems, and Services","author":"A Merino","year":"2016","unstructured":"Merino, A., Tolosana-Calasanz, R., Ba\u00f1ares, J.\u00c1., Colom, J.-M.: A specification language for performance and economical analysis of short term data intensive energy management services. In: Altmann, J., Silaghi, G.C., Rana, O.F. (eds.) GECON 2015. LNCS, vol. 9512, pp. 147\u2013163. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-43177-2_10"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Perumalla, K.S.: $$\\mu $$sik - a micro-kernel for parallel\/distributed simulation systems. In: Workshop on Principles of Advanced and Distributed Simulation (PADS 2005), pp. 59\u201368 (2005)","DOI":"10.1109\/PADS.2005.1"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Piedrafita, R., Tardioli, D., Villarroel, J.L.: Distributed implementation of discrete event control systems based on Petri Nets. In: Proceedings of the IEEE International Symposium on Industrial Electronics, pp. 1738\u20131745 (2008)","DOI":"10.1109\/ISIE.2008.4676963"},{"issue":"2","key":"1_CR19","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/s10626-010-0090-7","volume":"21","author":"R Piedrafita","year":"2011","unstructured":"Piedrafita, R., Villarroel, J.: Performance evaluation of Petri nets centralized implementation. The execution time controller. Discrete Event Dyn. Syst. 21(2), 139\u2013169 (2011)","journal-title":"Discrete Event Dyn. Syst."},{"key":"1_CR20","unstructured":"Silva, M.: Las Redes de Petri en la Inform\u00e1tica y en la Autom\u00e1tica. AC, Madrid (1985)"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/3-540-50580-6_39","volume-title":"Advances in Petri Nets 1988","author":"M Silva","year":"1988","unstructured":"Silva, M., Colom, J.M.: On the computation of structural synchronic invariants in P\/T nets. In: Rozenberg, G. (ed.) APN 1987. LNCS, vol. 340, pp. 386\u2013417. Springer, Heidelberg (1988). https:\/\/doi.org\/10.1007\/3-540-50580-6_39"},{"issue":"4","key":"1_CR22","first-page":"369","volume":"13","author":"M Silva","year":"1979","unstructured":"Silva, M., David, R.: Synth\u00e8se programm\u00e9e des automatismes logiques d\u00e9crits par r\u00e9seaux de Petri: une m\u00e9thode de mise en oeuvre sur microcalculateurs. Rairo-Automatique 13(4), 369\u2013393 (1979)","journal-title":"Rairo-Automatique"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/3-540-65306-6_19","volume-title":"Lectures on Petri Nets I: Basic Models","author":"M Silva","year":"1998","unstructured":"Silva, M., Teruel, E., Colom, J.M.: Linear algebraic and linear programming techniques for the analysis of place\/transition net systems. In: Reisig, W., Rozenberg, G. (eds.) ACPN 1996. LNCS, vol. 1491, pp. 309\u2013373. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/3-540-65306-6_19"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Silva, M., Velilla, S.: Programmable logic controllers and Petri Nets: a comparative study. In: Proceedings of the Third IFAC\/IFIP Symposium. Software for Computer Control 1982, pp. 83\u201388. Pergamon Press (1982)","DOI":"10.1016\/B978-0-08-029352-3.50013-1"},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"888","DOI":"10.1016\/j.future.2017.12.046","volume":"87","author":"R Tolosana","year":"2018","unstructured":"Tolosana, R., Ba\u00f1ares, J., Colom, J.: Model-driven development of data intensive applications over cloud resources. Future Gener. Comput. Syst. 87, 888\u2013909 (2018)","journal-title":"Future Gener. Comput. Syst."},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/3-540-17906-2_26","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"R Valette","year":"1987","unstructured":"Valette, R.: Nets in production systems. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 255, pp. 191\u2013217. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/3-540-17906-2_26"},{"key":"1_CR27","unstructured":"Zeigler, B., Praehofer, H., Kim, T.: Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems. Academic Press (2000)"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-61433-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,21]],"date-time":"2024-11-21T18:03:18Z","timestamp":1732212198000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-61433-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031614323","9783031614330"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-61433-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"13 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PETRI NETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications and Theory of Petri Nets and Concurrency","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Geneva","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Switzerland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"45","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.unige.ch\/petrinets2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}