{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:18:56Z","timestamp":1725488336762},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649496"},{"type":"electronic","value":"9783540680611"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-68061-6_14","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T06:02:15Z","timestamp":1186466535000},"page":"165-179","source":"Crossref","is-referenced-by-count":12,"title":["Probability, Parallelism and the State Space Exploration Problem"],"prefix":"10.1007","author":[{"given":"William","family":"Knottenbelt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Mestern","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Harrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pieter","family":"Kritzinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,16]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. Ajmone-Marsan","year":"1984","unstructured":"M. Ajmone-Marsan, G. Conte, and G. Balbo. A class of Generalised Stochastic Petri Nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems, 2:93\u2013122, 1984.","journal-title":"ACM Transactions on Computer Systems"},{"key":"14_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Parallel shared-memory state-space exploration in stochastic modeling","author":"S.C. Allmaier","year":"1997","unstructured":"S.C. Allmaier and G. Horton. Parallel shared-memory state-space exploration in stochastic modeling. Lecture Notes in Computer Science, 1253, 1997."},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1145\/321879.321887","volume":"22","author":"F. Basket","year":"1975","unstructured":"F. Basket, K.M. Chandy, R.R. Muntz, and F.G. Palacios. Open, closed and mixed networks of queues with different classes of customers. Journal of the ACM, 22:248\u2013260, 1975.","journal-title":"Journal of the ACM"},{"doi-asserted-by":"crossref","unstructured":"F. Bause. Queueing Petri nets: A formalism for the combined qualitative and quantitative analysis of systems. In Proceedings of the 5th International Workshop on Petri nets and Performance Models. IEEE, October 1993.","key":"14_CR4","DOI":"10.1109\/PNPM.1993.393439"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0166-5316(93)E0040-C","volume":"22","author":"P. Buchholz","year":"1995","unstructured":"P. Buchholz. Hierarchical Markovian models: Symmetries and aggregation. Performance Evaluation, 22:93\u2013110, 1995.","journal-title":"Performance Evaluation"},{"key":"14_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 16th International Conference on the Application and Theory and Petri Nets","author":"S. Caselli","year":"1995","unstructured":"S. Caselli, G. Conte, and P. Marenzoni. Parallel state exploration for GSPN models. In Lecture Notes in Computer Science 935: Proceedings of the 16th International Conference on the Application and Theory and Petri Nets. Springer Verlag, Turin, Italy, June 1995."},{"doi-asserted-by":"crossref","unstructured":"G. Ciardo, J. Gluckman, and D. Nicol. Distributed state-space generation of discrete-state stochastic models. INFORMS J. Comp. To appear.","key":"14_CR7","DOI":"10.1287\/ijoc.10.1.82"},{"issue":"4","key":"14_CR8","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0166-5316(91)90003-L","volume":"12","author":"G. Ciardo","year":"1991","unstructured":"G. Ciardo, J.K. Muppula, and K.S. Trivedi. On the solution of GSPN reward models. Performance Evaluation, 12(4):237\u2013253, 1991.","journal-title":"Performance Evaluation"},{"issue":"1","key":"14_CR9","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0166-5316(93)90026-Q","volume":"18","author":"G. Ciardo","year":"1993","unstructured":"G. Ciardo and K.S. Trivedi. A decomposition approach for stochastic reward net models. Performance Evaluation, 18(1):37\u201359, 1993.","journal-title":"Performance Evaluation"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0020-0190(83)90092-3","volume":"16","author":"E.W. Dijkstra","year":"1983","unstructured":"E.W. Dijkstra, W.H.J. Feijen, and A.J.M. van Gasteren. Derivation of a termination detection algorithm for distributed computations. Information Processing letters, 16:217\u2013219, June 1983.","journal-title":"Information Processing letters"},{"key":"14_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5712.001.0001","volume-title":"PVM Parallel Virtual Machine: A Users\u2019 Guide and Tutorial for Networked Parallel Computing","author":"A. Geist","year":"1994","unstructured":"A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Manchek, and V. Sunderam. PVM Parallel Virtual Machine: A Users\u2019 Guide and Tutorial for Networked Parallel Computing. MIT Press, Cambridge, Massachussetts, 1994."},{"key":"14_CR12","volume-title":"Using MPI: Portable Parallel Programming with the Message Passing Interface","author":"W. Gropp","year":"1994","unstructured":"W. Gropp, E. Lusk, and A. Skjellum. Using MPI: Portable Parallel Programming with the Message Passing Interface. MIT Press, Cambridge, Massachussetts, 1994."},{"unstructured":"G.J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991.","key":"14_CR13"},{"key":"14_CR14","volume-title":"Proceedings of IFIP\/PSTV95: Conference on Protocol Specification, Testing and Verification","author":"G.J. Holzmann","year":"1995","unstructured":"G.J. Holzmann. An analysis of bitstate hashing. In Proceedings of IFIP\/PSTV95: Conference on Protocol Specification, Testing and Verification. Chapman & Hall, Warsaw, Poland, June 1995."},{"issue":"1","key":"14_CR15","first-page":"24","volume":"33","author":"H. Ishihata","year":"1997","unstructured":"H. Ishihata, M. Takahashi, and H. Sato. Hardware of AP3000 scalar parallel server. Fujitsu Scientific and Technical Journal, 33(1):24\u201330, June 1997.","journal-title":"Fujitsu Scientific and Technical Journal"},{"doi-asserted-by":"crossref","unstructured":"P. Kemper. Numerical analysis of superposed GSPNs. In Proc. of the Sixth International Workshop on Petri Nets and Perfromance Models, pages 52\u201362. IEEE Computer Society Press, 1995.","key":"14_CR16","DOI":"10.1109\/PNPM.1995.524315"},{"unstructured":"W.J. Knottenbelt. Generalised Markovian analysis of timed transition systems. Master\u2019s thesis, University of Cape Town, 1996.","key":"14_CR17"},{"doi-asserted-by":"crossref","unstructured":"U. Stern and D.L. Dill. Improved probabilistic verification by hash compaction. In IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, 1995.","key":"14_CR18","DOI":"10.1007\/3-540-60385-9_13"},{"key":"14_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/3-540-56922-7_6","volume-title":"Reliable hashing without collision detection","author":"P. Wolper","year":"1993","unstructured":"P. Wolper and D. Leroy. Reliable hashing without collision detection. In Lecture Notes in Computer Science 697, pages 59\u201370. Springer-Verlag, 1993."}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-68061-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T06:27:56Z","timestamp":1550730476000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-68061-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649496","9783540680611"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-68061-6_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}