{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:51:15Z","timestamp":1742388675509,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642029233"},{"type":"electronic","value":"9783642029240"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02924-0_4","type":"book-chapter","created":{"date-parts":[[2009,7,1]],"date-time":"2009-07-01T05:28:56Z","timestamp":1246426136000},"page":"44-58","source":"Crossref","is-referenced-by-count":15,"title":["Applying Symbolic Techniques to the Representation of Non-Markovian Models with Continuous PH Distributions"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Longo","sequence":"first","affiliation":[]},{"given":"Marco","family":"Scarpa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Bobbio, A., Scarpa, M.: Kronecker representation of stochastic Petri nets with discrete PH distributions. In: Proc. Third IEEE Ann. Int\u2019l Computer Performance and Dependability Symp. (IPDS 1998) (1998)"},{"issue":"4","key":"4_CR2","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1109\/19.650766","volume":"46","author":"A. Bobbio","year":"1997","unstructured":"Bobbio, A., Tavella, P., Montefusco, A., Costamagna, S.: Monitoring the calibration status of a measuring instrument by a stochastic model. IEEE Transactions on Instrumentation and Measurement\u00a046(4), 747\u2013751 (1997)","journal-title":"IEEE Transactions on Instrumentation and Measurement"},{"key":"4_CR3","first-page":"92","volume-title":"Fault Tolerant Systems and Software","author":"A. Bobbio","year":"1995","unstructured":"Bobbio, A., Telek, M.: Combined preemption policies in MRSPN. In: Mittal, R., et al. (eds.) Fault Tolerant Systems and Software, pp. 92\u201398. Narosa Pub. House, New Dehli (1995)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. In: Fifth Annual IEEE Symposium on Logic in Computer Science, LICS 1990, June 1990, pp. 428\u2013439 (1990)","DOI":"10.1109\/LICS.1990.113767"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/3-540-45319-9_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Ciardo","year":"2001","unstructured":"Ciardo, G., Luttgen, G., Siminiceanu, R.: Saturation: an efficient iteration strategy for symbolic state space generation. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 328\u2013342. Springer, Heidelberg (2001)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/3-540-36577-X_27","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Ciardo","year":"2003","unstructured":"Ciardo, G., Marmorstein, R., Siminiceanu, R.: Saturation unbound. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 379\u2013393. Springer, Heidelberg (2003)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-540-45069-6_4","volume-title":"Computer Aided Verification","author":"G. Ciardo","year":"2003","unstructured":"Ciardo, G., Siminiceanu, R.: Structural symbolic CTL model checking of asynchronous systems. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 40\u201353. Springer, Heidelberg (2003)"},{"key":"4_CR8","volume-title":"Introduction to Stochastic Processes","author":"A. Cinlar","year":"1975","unstructured":"Cinlar, A.: Introduction to Stochastic Processes. Prentice-Hall, Englewood Cliffs (1975)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Logics of Programs","author":"E.M. Clarke","year":"1982","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol.\u00a0131, pp. 52\u201371. Springer, Heidelberg (1982)"},{"issue":"3","key":"4_CR10","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S0305004100030437","volume":"51","author":"D.R. Cox","year":"1955","unstructured":"Cox, D.R.: The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables. Proceedings Cambridge Philosophical Society\u00a051(3), 433\u2013441 (1955)","journal-title":"Proceedings Cambridge Philosophical Society"},{"key":"4_CR11","volume-title":"Modeling and Analysis of Stochastic Systems","author":"V.G. Kulkarni","year":"1995","unstructured":"Kulkarni, V.G.: Modeling and Analysis of Stochastic Systems. Chapman and Hall, Boca Raton (1995)"},{"issue":"7","key":"4_CR12","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1109\/32.29483","volume":"15","author":"M.A. Marsan","year":"1989","unstructured":"Marsan, M.A., Balbo, G., Bobbio, A., Chiola, G., Conte, G., Cumani, A.: The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Trans. Softw. Eng.\u00a015(7), 832\u2013846 (1989)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-24611-4_9","volume-title":"Validation of Stochastic Systems","author":"A.S. Miner","year":"2004","unstructured":"Miner, A.S.: Symbolic representations and analysis of large probabilistic systems. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol.\u00a02925, pp. 296\u2013338. Springer, Heidelberg (2004)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/3-540-48745-X_2","volume-title":"Application and Theory of Petri Nets 1999","author":"A.S. Miner","year":"1999","unstructured":"Miner, A.S., Ciardo, G.: Efficient reachability set generation and storage using decision diagrams. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol.\u00a01639, pp. 6\u201325. Springer, Heidelberg (1999)"},{"key":"4_CR15","unstructured":"Neuts, M.: Probability distributions of phase type. In: Liber Amicorum Prof. Emeritus H. Florin, pp. 173\u2013206. University of Louvain (1975)"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/3-540-46429-8_13","volume-title":"Computer Performance Evaluation. Modelling Techniques and Tools","author":"A. Puliafito","year":"2000","unstructured":"Puliafito, A., Horvath, A., Scarpa, M., Telek, M.: Analysis and Evaluation of non-Markovian Stochastic Petri Nets. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol.\u00a01786, pp. 171\u2013187. Springer, Heidelberg (2000)"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Srinivasan, A., Ham, T., Malik, S., Brayton, R.K.: Algorithms for discrete function manipulation. In: IEEE International Conference on Computer-Aided Design, ICCAD 1990. Digest of Technical Papers, November 1990, pp. 92\u201395 (1990)","DOI":"10.1109\/ICCAD.1990.129849"},{"key":"4_CR18","first-page":"124","volume-title":"International Computer Performance and Dependability Symposium, IPDS 1995","author":"M. Telek","year":"1995","unstructured":"Telek, M., Bobbio, A.: Markov regenerative SPN with non-overlapping activity cycles. In: International Computer Performance and Dependability Symposium, IPDS 1995, pp. 124\u2013133. IEEE Computer Society Press, Los Alamitos (1995)"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02924-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T15:07:49Z","timestamp":1739200069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02924-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642029233","9783642029240"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02924-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}