{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:01:44Z","timestamp":1762459304749,"version":"3.41.0"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319222639"},{"type":"electronic","value":"9783319222646"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-22264-6_9","type":"book-chapter","created":{"date-parts":[[2015,8,21]],"date-time":"2015-08-21T10:33:29Z","timestamp":1440153209000},"page":"125-140","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Computing Structural Properties of Symmetric Nets"],"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":[[2015,8,22]]},"reference":[{"unstructured":"Ajmone-Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, Chichester, UK (1995)","key":"9_CR1"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1093\/comjnl\/bxt111","volume":"58","author":"M Beccuti","year":"2015","unstructured":"Beccuti, M., Fornari, C., Franceschinis, G., Halawani, S., Ba-Rukab, O., Ahmad, A., Balbo, G.: From symmetric nets to differential equations exploiting model symmetries. Comput. J. 58(1), 23\u201339 (2015)","journal-title":"Comput. J."},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/11494744_11","volume-title":"Applications and Theory of Petri Nets 2005","author":"L Capra","year":"2005","unstructured":"Capra, L., De Pierro, M., Franceschinis, G.: A high level language for structural relations in well-formed nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 168\u2013187. Springer, Heidelberg (2005)"},{"issue":"11","key":"9_CR4","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."},{"doi-asserted-by":"crossref","unstructured":"Dutheillet, C., Haddad, S.: Conflict sets in colored petri nets. In: Proceedings of Petri Nets and Performance Models, pp. 76\u201385 (1993)","key":"9_CR5","DOI":"10.1109\/PNPM.1993.393433"},{"key":"9_CR6","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)"},{"unstructured":"Evangelista, S.: Syntactical rules for colored petri nets manipulation. Technical report CEDRIC-04-641, CEDRIC-CNAM Paris, January 2004","key":"9_CR7"},{"key":"9_CR8","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)"},{"doi-asserted-by":"crossref","unstructured":"Franceschinis, G., Capra, L., De Pierro, M.: A tool for symbolic manipulation of arc functions in symmetric net models. In: 7th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2013, ICST, January 2014","key":"9_CR9","DOI":"10.4108\/icst.valuetools.2013.254407"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22264-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T03:26:40Z","timestamp":1748575600000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22264-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319222639","9783319222646"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22264-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"22 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}