{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T03:26:40Z","timestamp":1777519600273,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540008989","type":"print"},{"value":"9783540365778","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36577-x_30","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:12:04Z","timestamp":1269897124000},"page":"425-430","source":"Crossref","is-referenced-by-count":11,"title":["A Set of Performance and Dependability Analysis Components for CADP"],"prefix":"10.1007","author":[{"given":"Holger","family":"Hermanns","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Joubert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"M. Bernardo, W.R. Cleaveland, S.T. Sims, and W.J. Stewart. TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. In Proc. FORTE\/PSTV\u201998, p. 457\u2013467, Kluwer, 1998.","DOI":"10.1007\/978-0-387-35394-4_28"},{"issue":"1","key":"30_CR2","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0166-5316(95)00008-L","volume":"24","author":"G. Chiola","year":"1995","unstructured":"G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN 1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets. Perf. Eval., 24(1\u2013-2):47\u201368, 1995.","journal-title":"Perf. Eval."},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"G. Ciardo, A.S. Miner. SMART: Simulation and Markovian Analyzer for Reliability and Timing. In Proc. IPDS\u201996, p. 60, IEEE CS Press, 1996.","DOI":"10.1109\/IPDS.1996.540204"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"G. Ciardo, J. Muppala, and K. Trivedi. SPNP: stochastic Petri net package. In Proc. PNPM\u201989, p. 142\u2013151, IEEE CS Press, 1989.","DOI":"10.1109\/PNPM.1989.68548"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"G. Ciardo and R. Zijal. Well-defined stochastic Petri nets. In Proc. MASCOTS\u201996, p. 278\u2013284, IEEE CS Press, 1996.","DOI":"10.1109\/MASCOT.1996.501031"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"D.D. Deavours and W.H. Sanders. An efficient well-specified check. In Proc. PNPM\u201999, p. 124\u2013133, IEEE CS Press, 1999.","DOI":"10.1109\/PNPM.1999.796559"},{"issue":"10","key":"30_CR7","doi-asserted-by":"publisher","first-page":"956","DOI":"10.1109\/TSE.2002.1041052","volume":"28","author":"D.D. Deavours","year":"2002","unstructured":"D.D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J.M. Doyle, W. H. Sanders, and P.G. Webster. The M\u00f6bius Framework and Its Implementation. IEEE Trans. on Softw. Eng., 28(10):956\u2013969, 2002.","journal-title":"IEEE Trans. on Softw. Eng."},{"key":"30_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/3-540-45614-7_23","volume-title":"On Combining Functional Verification and Performance Evaluation using CADP","author":"H. Garavel","year":"2002","unstructured":"H. Garavel and H. Hermanns. On Combining Functional Verification and Performance Evaluation using CADP. In Proc. FME\u201902. LNCS 2391:410\u2013429, 2002."},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"H. Garavel and F. Lang. SVL: A Scripting Language for Compositional Verification. In Proc. FORTE\/PSTV 2001, p. 377\u2013394, Kluwer, 2001.","DOI":"10.1007\/0-306-47003-9_24"},{"key":"30_CR10","first-page":"13","volume":"4","author":"H. Garavel","year":"2002","unstructured":"H. Garavel, F. Lang, and R. Mateescu. An Overview of CADP 2001. EASST Newsletter, 4:13\u201324, 2002.","journal-title":"EASST Newsletter"},{"issue":"9","key":"30_CR11","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1109\/32.541432","volume":"22","author":"R. German","year":"1996","unstructured":"R. German, A. van Moorsel, M.A. Qureshi, and W.H. Sanders. Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures. IEEE Trans. on Softw. Eng., 22(9):603\u2013614, 1996.","journal-title":"IEEE Trans. on Softw. Eng."},{"key":"30_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/3-540-58021-2_20","volume-title":"The PEPA Workbench: A Tool to Support a Process Algebra-Based Approach to Performance Modelling","author":"S. Gilmore","year":"1994","unstructured":"S. Gilmore and J. Hillston. The PEPA Workbench: A Tool to Support a Process Algebra-Based Approach to Performance Modelling. In Proc. TOOLS\u201994. LNCS 794:353\u2013368, 1994."},{"key":"30_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Interactive Markov Chains and the Quest for Quantified Quality","author":"H. Hermanns","year":"2002","unstructured":"H. Hermanns. Interactive Markov Chains and the Quest for Quantified Quality. LNCS 2428, 2002."},{"key":"30_CR14","first-page":"135","volume":"74","author":"H. Hermanns","year":"2001","unstructured":"H. Hermanns. Construction and Verification of Performance and Reliability Models. Bulletin of the EATCS, 74:135\u2013154, 2001.","journal-title":"Bulletin of the EATCS"},{"issue":"1","key":"30_CR15","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0166-5316(99)00056-5","volume":"39","author":"H. Hermanns","year":"2000","unstructured":"H. Hermanns, U. Herzog, U. Klehmet, V. Mertsiotakis, and M. Siegle. Compositional performance modelling with the TIPPtool. Perf. Eval., 39(1\u20134):5\u201335, January 2000.","journal-title":"Perf. Eval."},{"issue":"1","key":"30_CR16","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0167-6423(99)00019-2","volume":"36","author":"H. Hermanns","year":"2000","unstructured":"H. Hermanns and J.P. Katoen. Automated compositional Markov chain generation for a plain-old telephony system. Sci. of Comp. Prog., 36(1):97\u2013127, 2000.","journal-title":"Sci. of Comp. Prog."},{"key":"30_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/3-540-46419-0_24","volume-title":"A Markov Chain Model Checker","author":"H. Hermanns","year":"2000","unstructured":"H. Hermanns, J.-P. Katoen, J. Meyer-Kayser, and M. Siegle. A Markov Chain Model Checker. In Proc. TACAS\u201900. LNCS 1785:347\u2013362, 2000."},{"key":"30_CR18","unstructured":"K.S. Kundert. Sparse matrix techniques. In Circuit analysis, Simulation and Design 3, North-Holland, 1986."},{"issue":"2","key":"30_CR19","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"A. Marsan","year":"1984","unstructured":"A. Marsan, G. Balbo, and G. Conte. A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems. ACM Trans. on Comp. Sys., 2(2):93\u2013122, 1984.","journal-title":"ACM Trans. on Comp. Sys."},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"M.L. Puterman. Markov Decision Processes. John Wiley, 1994.","DOI":"10.1002\/9780470316887"},{"key":"30_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/3-540-44667-2_9","volume-title":"Stochastic Activity Networks: Formal Definitions and Concepts","author":"W.H. Sanders","year":"2001","unstructured":"W.H. Sanders and J.F. Meyer. Stochastic Activity Networks: Formal Definitions and Concepts. In Proc. FMPA 2000. LNCS 2090:315\u2013343, 2001."},{"issue":"1","key":"30_CR22","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0166-5316(95)00012-M","volume":"24","author":"W.H. Sanders","year":"1995","unstructured":"W.H. Sanders, W.D. Oball, M.A. Qureshi, and F.K. Widjanarko. The UltraSAN modeling environment. Perf. Eval., 24(1):89\u2013115, 1995.","journal-title":"Perf. Eval."},{"key":"30_CR23","doi-asserted-by":"crossref","unstructured":"W.J. Stewart. Introduction to the numerical solution of Markov chains. Princeton University Press, 1994.","DOI":"10.1515\/9780691223384"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36577-X_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T19:10:12Z","timestamp":1739992212000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36577-X_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008989","9783540365778"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-36577-x_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]}}}