{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T21:31:47Z","timestamp":1757626307495,"version":"3.44.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031954962"},{"type":"electronic","value":"9783031954979"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-95497-9_12","type":"book-chapter","created":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T13:15:41Z","timestamp":1749906941000},"page":"193-201","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["SNexpression: A\u00a0New Component for\u00a0SN Matrix-Based Structural Analysis"],"prefix":"10.1007","author":[{"given":"Lorenzo","family":"Capra","sequence":"first","affiliation":[]},{"given":"Massimiliano","family":"De Pierro","sequence":"additional","affiliation":[]},{"given":"Giuliana","family":"Franceschinis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,6,11]]},"reference":[{"unstructured":"Model checking contest models (2025). https:\/\/mcc.lip6.fr\/2025\/models.php","key":"12_CR1"},{"unstructured":"SNexpression home page (2025). http:\/\/www.di.unito.it\/~depierro\/SNexpression","key":"12_CR2"},{"unstructured":"The COSMOS tool (2025). https:\/\/cosmos.lacl.fr\/","key":"12_CR3"},{"unstructured":"The GreatSPN sources (2025). https:\/\/github.com\/greatspn\/SOURCES","key":"12_CR4"},{"unstructured":"The Library for Symbolic Calculus (2025). https:\/\/github.com\/lgcapra\/SNlib-stable","key":"12_CR5"},{"unstructured":"The Model Checking Contest home page (2025). https:\/\/mcc.lip6.fr","key":"12_CR6"},{"key":"12_CR7","series-title":"Springer Series in Reliability Engineering","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-319-30599-8_9","volume-title":"Principles of Performance and Reliability Modeling and Evaluation","author":"EG Amparore","year":"2016","unstructured":"Amparore, E.G., Balbo, G., Beccuti, M., Donatelli, S., Franceschinis, G.: 30 years of GreatSPN. In: Fiondella, L., Puliafito, A. (eds.) Principles of Performance and Reliability Modeling and Evaluation. SSRE, pp. 227\u2013254. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-30599-8_9"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-319-57861-3_15","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"EG Amparore","year":"2017","unstructured":"Amparore, E.G., Donatelli, S., Landini, E.: Modelling and evaluation of a control room application. In: van der Aalst, W., Best, E. (eds.) PETRI NETS 2017. LNCS, vol. 10258, pp. 243\u2013263. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57861-3_15"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.peva.2015.04.003","volume":"90","author":"P Ballarini","year":"2015","unstructured":"Ballarini, P., Barbot, B., Duflot, M., Haddad, S., Pekergin, N.: HASL: a new approach for performance evaluation and model checking from concepts to experimentation. Perform. Eval. 90, 53\u201377 (2015)","journal-title":"Perform. Eval."},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/978-3-030-51831-8_19","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"L Capra","year":"2020","unstructured":"Capra, L., De Pierro, M., Franceschinis, G.: SNexpression: a symbolic calculator for symmetric net expressions. In: Janicki, R., Sidorova, N., Chatain, T. (eds.) PETRI NETS 2020. LNCS, vol. 12152, pp. 381\u2013391. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-51831-8_19"},{"unstructured":"Capra, L., De\u00a0Pierro, M., Franceschinis, G.: Symbolic dependency relations calculation in Symmetric Nets. Transactions on Petri Nets and Other Models of Concurrency (2025). (accepted for publication)","key":"12_CR11"},{"unstructured":"Capra, L., De\u00a0Pierro, M.: Efficient enabling test in simulation of SWN. In: The 2006 European Simulation and Modelling Conference - Modelling and Simulation 2006 - ESM 2006, pp. 367\u2013374. EUROSIS-ETI Publication (2006)","key":"12_CR12"},{"issue":"11","key":"12_CR13","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G Chiola","year":"1993","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Trans. Comput. 42(11), 1343\u20131360 (1993)","journal-title":"IEEE Trans. Comput."},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/11562948_17","volume-title":"Automated Technology for Verification and Analysis","author":"S Evangelista","year":"2005","unstructured":"Evangelista, S., Haddad, S., Pradat-Peyre, J.-F.: Syntactical colored petri nets reductions. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol. 3707, pp. 202\u2013216. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11562948_17"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/11767589_9","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"S Evangelista","year":"2006","unstructured":"Evangelista, S., Pradat-Peyre, J.-F.: On the computation of stubborn sets of colored petri nets. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 146\u2013165. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11767589_9"},{"unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing, John Wiley and Sons (1995)","key":"12_CR16"},{"doi-asserted-by":"publisher","unstructured":"Pennisi, M., Amparore, E.G., Franceschinis, G.: Exploiting structural dependency relations for efficient agent based model simulation. In: Iacono, M., Scarpa, M., Barbierato, E., Serrano, S., Cerotti, D., Longo, F. (eds.) Computer Performance Engineering and Stochastic Modelling. EPEW ASMTA 2023 2023. LNCS, vol. 14231, pp. 353\u2013368. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-43185-2_24","key":"12_CR17","DOI":"10.1007\/978-3-031-43185-2_24"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-95497-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T21:43:38Z","timestamp":1757454218000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-95497-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031954962","9783031954979"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-95497-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"11 June 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Techniques for Distributed Objects, Components, and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lille","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 June 2025","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":"forte2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}