{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:15:34Z","timestamp":1725488134310},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646778"},{"type":"electronic","value":"9783540691082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-69108-1_3","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T14:45:11Z","timestamp":1186411511000},"page":"28-43","source":"Crossref","is-referenced-by-count":1,"title":["Manual and Automatic Exploitation of Symmetries in SPN Models"],"prefix":"10.1007","author":[{"given":"Giovanni","family":"Chiola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,3]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte. Modeling the software architecture of a prototype parallel machine. In Proc. 1987 SIGMETRICS Conference, Banf, Alberta, Canada, May 1987. ACM.","DOI":"10.1145\/29903.29924"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Transactions on Computer Systems, 2(1), May 1984.","DOI":"10.1145\/190.191"},{"issue":"1","key":"3_CR3","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/TC.1983.1676124","volume":"32","author":"M. A. Marsan","year":"1983","unstructured":"M. Ajmone Marsan, G. Balbo, G. Conte, and F. Gregoretti. Modeling bus contention and memory interference in a multiprocessor system. IEEE Transactions on Computers, 32(1):60\u201372, January 1983.","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan and G. Chiola. Construction of generalized stochastic Petri net models of bus oriented multiprocessor systems by stepwise refinements. In Proc. 2nd Int. Conf. on Modeling Techniques and Tools for Performance Analysis, Sophia Antipolis, France, June 1985. ACM.","DOI":"10.1145\/190.191"},{"key":"3_CR5","unstructured":"M. Ajmone Marsan, G. Chiola, and G. Conte. Performance models of task synchronization in computer systems. In Proc. 1st Int. Conf. on Computers and Applications, Beijing, China, June 1984. IEEE."},{"issue":"2","key":"3_CR6","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1109\/71.127262","volume":"3","author":"G. Balbo","year":"1992","unstructured":"G. Balbo, G. Chiola, S.C. Bruell, and P. Chen. An example of modelling and evaluation of a concurrent program using coloured stochastic Petri nets: Lamport\u2019s fast mutual exclusion algorithm. IEEE Transactions on Parallel and Distributed Systems, 3(2):221\u2013240, March 1992.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"3_CR7","unstructured":"G. Chiola, G. Bruno, and T. Demaria. Introducing a color formalism into generalized stochastic Petri nets. In Proc. 9th Europ. Workshop on Application and Theory of Petri Nets, Venezia, Italy, June 1988."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. On well-formed coloured nets and their symbolic reachability graph. In Proc. 11th International Conference on Application and Theory of Petri Nets, Paris, France, June 1990. Reprinted in High-Level Petri Nets. Theory and Application, K. Jensen and G. Rozenberg (editors), Springer Verlag, 1991.","DOI":"10.1007\/978-3-642-84524-6_13"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed coloured nets and multiprocessor modelling applications. In K. Jensen and G. Rozenberg, editors, High-Level Petri Nets. Theory and Application. Springer Verlag, 1991.","DOI":"10.1007\/978-3-642-84524-6_19"},{"issue":"11","key":"3_CR10","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G. Chiola","year":"1993","unstructured":"G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers, 42(11):1343\u20131360, November 1993.","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0304-3975(96)00010-2","volume":"176","author":"G. Chiola","year":"1997","unstructured":"G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. A symbolic reachability graph for coloured Petri nets. Theoretical Computer Science, 176:39\u201365, 1997.","journal-title":"Theoretical Computer Science"},{"key":"3_CR12","unstructured":"G. Chiola and G. Franceschinis. Colored GSPN models and automatic symmetry detection. In Proc. 3rd Intern. Workshop on Petri Nets and Performance Models, Kyoto, Japan, December 1989. IEEE-CS Press."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"G. Chiola and G. Franceschinis. A structural colour simplification in Well-Formed coloured nets. In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, pages 144\u2013153, Melbourne, Australia, December 1991. IEEE-CS Press.","DOI":"10.1109\/PNPM.1991.238773"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"G. Chiola, G. Franceschinis, and R. Gaeta. Modelling symmetric computer architectures by stochastic well-formed coloured nets. In 15th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain, June 1994.","DOI":"10.1007\/3-540-58152-9_9"},{"key":"3_CR15","unstructured":"C. Dutheillet and S. Haddad. Aggregation and disaggregation of states in colored stochastic Petri nets: Application to a multiprocessor architecture. In Proc. 3rd Intern. Workshop on Petri Nets and Performance Models, Kyoto, Japan, December 1989. IEEE-CS Press."},{"key":"3_CR16","volume-title":"Finite Markov Chains","author":"J.G. Kemeny","year":"1960","unstructured":"J.G. Kemeny and J.L. Snell. Finite Markov Chains. Van Nostrand, Princeton, NJ, 1960."},{"key":"3_CR17","unstructured":"Chuang Lin and Dan C. Marinescu. On stochastic high level Petri nets. In Proc. Int. Workshop on Petri Nets and Performance Models, Madison, WI, USA, August 1987. IEEE-CS Press."},{"issue":"7","key":"3_CR18","doi-asserted-by":"publisher","first-page":"815","DOI":"10.1109\/12.2227","volume":"37","author":"C. Lin","year":"1988","unstructured":"Chuang Lin and Dan C. Marinescu. Stochastic high level Petri nets and applications. IEEE Transactions on Computers, 37(7):815\u2013825, July 1988.","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR19","unstructured":"A. Zenie. Colored stochastic Petri nets. In Proc. Int. Workshop on Timed Petri Nets, pages 262\u2013271, Torino, Italy, July 1985. IEEE-CS Press."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-69108-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,21]],"date-time":"2021-08-21T03:59:35Z","timestamp":1629518375000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-69108-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646778","9783540691082"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-69108-1_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}