{"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":1725663812439},"publisher-location":"Berlin, Heidelberg","reference-count":6,"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_22","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:20:54Z","timestamp":1330269654000},"page":"396-415","source":"Crossref","is-referenced-by-count":1,"title":["Data structures and algorithms for extended state space and structural level reduction of the GSPN model"],"prefix":"10.1007","author":[{"given":"Donna S.","family":"Nielsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonard","family":"Kleinrock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"22_CR1","unstructured":"G. Balbo, G. Chiola, G. Franceschinis, and G. Roet. On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets. In Proceedings of the International Workshop on Petri Nets and Performance Models, pages 136\u2013145, August 1987."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Giovanni Chiola, Susanna Donatelli, and Giuliana Franceschinis. GSPNs versus SPNs: What is the Actual Role of Immediate Transitions? In Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, pages 20\u201331, December 1991.","DOI":"10.1109\/PNPM.1991.238785"},{"issue":"2","key":"22_CR3","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1109\/32.214828","volume":"19","author":"G. Chiola","year":"1993","unstructured":"Giovanni Chiola, Marco Marsan, Gianfranco Balbo, and Gianni Conte. Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications. IEEE Transactions on Software Engineering, 19(2):89\u2013107, February 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"12","key":"22_CR4","doi-asserted-by":"crossref","first-page":"1297","DOI":"10.1109\/TSE.1987.233141","volume":"SE-13","author":"M. A. Holliday","year":"1987","unstructured":"Mark A. Holliday and Mary K. Vernon. A Generalized Timed Petri Net Model for Performance Analysis. IEEE Transactions on Software Engineering, SE-13(12):1297\u20131310, December 1987.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR5","volume-title":"PhD thesis","author":"D. S. Nielsen","year":"1994","unstructured":"Donna S. Nielsen. Performance Evaluation of Distributed Systems Using Structural Level Analysis of Performance Petri Nets. PhD thesis, University of California, Los Angeles, June 1994."},{"issue":"3","key":"22_CR6","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1016\/0743-7315(92)90010-K","volume":"15","author":"C. Simone","year":"1992","unstructured":"C. Simone and M. Ajmone Marsan. The Application of EB-Equivalence Rules to the Structural Reduction of GSPN Models. Journal of Parallel and Distributed Computing, 15(3):296\u2013302, July 1992.","journal-title":"Journal of Parallel and Distributed Computing"}],"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_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:11:42Z","timestamp":1619572302000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}