{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:32Z","timestamp":1725663812664},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581529"},{"type":"electronic","value":"9783540484622"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58152-9_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:21:04Z","timestamp":1330269664000},"page":"139-158","source":"Crossref","is-referenced-by-count":6,"title":["Modeling symmetric computer architectures by SWNs"],"prefix":"10.1007","author":[{"given":"G.","family":"Chiola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Franceschinis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Gaeta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"9_CR1","unstructured":"H.J. Genrich. Equivalence transformations of Pr\/T nets. In Proc. 9\n\n                  th\n                \nEurop. Workshop on Application and Theory of Petri Nets, Venezia, Italy, June 1988."},{"issue":"7","key":"9_CR2","doi-asserted-by":"crossref","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":"9_CR3","first-page":"93","volume-title":"Automated construction of compound Markov chains from generalized stochastic high-level Petri nets","author":"J. A. Carrasco","year":"1989","unstructured":"J. A. Carrasco. Automated construction of compound Markov chains from generalized stochastic high-level Petri nets. In Proc. 3rd Intern. Workshop on Petri Nets and Performance Models, pages 93\u2013102, Kyoto, Japan, December 1989. IEEE-CS Press."},{"key":"9_CR4","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. 11\n\n                  th\n                \nInternational 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":"9_CR5","doi-asserted-by":"crossref","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), November 1993.","DOI":"10.1109\/12.247838"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"G. Chiola, G. Franceschinis, and R. Gaeta. A symbolic simulation mechanism for well-formed coloured Petri nets. In Proc. 25th SCS Annual Simulation Symposium, Orlando, Florida, April 1992.","DOI":"10.1109\/SIMSYM.1992.227562"},{"key":"9_CR7","first-page":"391","volume-title":"Designing an efficient tool for Stochastic Well-Formed Coloured Petri Nets","author":"G. Chiola","year":"1992","unstructured":"G. Chiola, R. Gaeta, and M. Ribaudo. Designing an efficient tool for Stochastic Well-Formed Coloured Petri Nets. In R. Pooley and J. Hillston, editors, Proc. 6\n\n                  th\n                \nInt. Conference on Modelling Techniques and Tools for Computer Performance Evaluation, pages 391\u2013395, Edinburg, UK, September 1992. Antony Rowe Ltd."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"C.E. Leiserson. Fat-trees: Universal networks for hardware efficient supercomputing. IEEE Transactions on Computers, C-34(10), October 1985.","DOI":"10.1109\/TC.1985.6312192"},{"key":"9_CR9","unstructured":"Kay Hwang. Advanced Computer Architecture with Parallel Programming. McGraw Hill, 1993."},{"key":"9_CR10","first-page":"144","volume-title":"A structural colour simplification in Well-Formed coloured nets","author":"G. Chiola","year":"1991","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."},{"key":"9_CR11","first-page":"20","volume-title":"GSPN versus SPN: what is the actual role of immediate transitions?","author":"G. Chiola","year":"1991","unstructured":"G. Chiola, S. Donatelli, and G. Franceschinis. GSPN versus SPN: what is the actual role of immediate transitions? In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, pages 20\u201331, Melbourne, Australia, December 1991. IEEE-CS Press."},{"key":"9_CR12","first-page":"280","volume-title":"GSPN models of concurrent architectures with mesh topology","author":"S. Caselli","year":"1991","unstructured":"S. Caselli and G. Conte. GSPN models of concurrent architectures with mesh topology. In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, pages 280\u2013289, Melbourne, Australia, December 1991. IEEE-CS Press."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58152-9_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:11:44Z","timestamp":1619572304000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}