{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T04:02:11Z","timestamp":1747627331895,"version":"3.40.5"},"reference-count":87,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1999,2,1]],"date-time":"1999-02-01T00:00:00Z","timestamp":917827200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,2,1]],"date-time":"1999-02-01T00:00:00Z","timestamp":917827200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Software Engineering"],"published-print":{"date-parts":[[1999,2]]},"DOI":"10.1023\/a:1018927430556","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"239-287","source":"Crossref","is-referenced-by-count":2,"title":["Composing, analyzing and validating software models to assess the performability of competing design candidates"],"prefix":"10.1007","volume":"8","author":[{"given":"Frederick T.","family":"Sheldon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Greiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"326228_CR1","volume-title":"Probability, Statistics and Queuing Theory","author":"O. Allen","year":"1978","unstructured":"Allen, O. (1978), Probability, Statistics and Queuing Theory, Academic Press, New York, NY."},{"key":"326228_CR2","volume-title":"Probability, Statistics and Queuing Theory","author":"O. Allen","year":"1990","unstructured":"Allen, O. (1990), Probability, Statistics and Queuing Theory, 2nd Edition, Academic Press, New York, NY.","edition":"2nd Edition"},{"key":"326228_CR3","first-page":"112","volume-title":"7th Int. Workshop on Petri Nets and Performance Models","author":"S.C. Allmaier","year":"1997","unstructured":"Allmaier, S.C., M. Kowarschik, and G. Horton (1997), \u201cState Space Construction and Steady-State Solution of GSPNs on a Shared-Memory Multiprocessor,\u201d In 7th Int. Workshop on Petri Nets and Performance Models, IEEE Computer Society Press, Los Alamitos, CA, pp. 112\u2013121."},{"key":"326228_CR4","first-page":"1","volume-title":"Messung, Modellierung und Bewertung von Rechen-und Kommunikationssystemen","author":"G. Balbo","year":"1993","unstructured":"Balbo, G. (1993), \u201cPerformance Evaluation and Concurrent Programming,\u201d In Messung, Modellierung und Bewertung von Rechen-und Kommunikationssystemen, Springer-Verlag, Berlin, pp. 1\u201313."},{"key":"326228_CR5","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/PNPM.1995.524310","volume-title":"Int. Workshop on Petri Nets and Performance Modeling","author":"G. Balbo","year":"1995","unstructured":"Balbo, G. (1995), \u201cOn the Success of Stochastic Petri Nets,\u201d In Int. Workshop on Petri Nets and Performance Modeling, IEEE CS Press, Los Alamitos, CA, pp. 2\u20139."},{"issue":"3","key":"326228_CR6","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0743-7315(92)90002-5","volume":"15","author":"G. Balbo","year":"1992","unstructured":"Balbo, G., S. Donatelli, and G. Franceschinis (1992), \u201cUnderstanding Parallel Program Behavior through Petri Net Models,\u201d Journal of Parallel and Distributed Computing 15,3, 171\u2013187.","journal-title":"Journal of Parallel and Distributed Computing"},{"issue":"18","key":"326228_CR7","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0166-5316(94)90039-6","volume":"19","author":"G. Balbo","year":"1994","unstructured":"Balbo, G., S. Donatelli, G. Granceschinis, A. Mazzeo, N. Mazzocca, and M. Ribaudo (1994), \u201cOn the Computation of Performance Characteristics of Concurrent Programs Using GSPNs,\u201d Performance Evaluation 19,18, 195\u2013222.","journal-title":"Performance Evaluation"},{"key":"326228_CR8","volume-title":"Entwicklung, Implementierung und Validierung von Analytischen Verfahren zur Anlyse von Prioritatsnetzen","author":"J. Earner","year":"1994","unstructured":"Earner, J. (1994), \u201cEntwicklung, Implementierung und Validierung von Analytischen Verfahren zur Anlyse von Prioritatsnetzen,\u201d Masters thesis, Computer Science Department IMMD IV, University of Erlangen-N\u00fcrnberg, Germany."},{"key":"326228_CR9","first-page":"177","volume-title":"SIGMETRICS","author":"J.T. Blake","year":"1988","unstructured":"Blake, J.T., A.L. Reibman, and K.S. Trivedi (1988), \u201cSensitivity Analysis of Reliability and Performability Measures for Multiprocessor Systems,\u201d In SIGMETRICS, ACM, New York, NY, pp. 177\u2013186."},{"key":"326228_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-96667-4","volume-title":"Leitungsbewertung von Rechensystemen","author":"G. Bolch","year":"1989","unstructured":"Bolch, G. (1989), \u201cLeitungsbewertung von Rechensystemen,\u201d TR-1989-IMMD IV, Leitfaden und Monographien der Informatik-B.G. Teubner Verlagsgesellschaft, Stuttgart."},{"key":"326228_CR11","unstructured":"Buchholz, P. (1994), \u201cCompositional Analysis of a Markovian Process Algebra,\u201d In Proceedings PAPM, CLUP, pp. 233\u2013245."},{"issue":"42","key":"326228_CR12","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J.R. Burch","year":"1992","unstructured":"Burch, J.R., E.M. Clarke, and K.L. McMillan (1992), \u201cSymbolic Modeling Checking: 1020 States and Beyond,\u201d Information and Computation 98,42, 142\u2013170.","journal-title":"Information and Computation"},{"key":"326228_CR13","volume-title":"Queuing Network Models of Multiprogramming","author":"J. Buzen","year":"1971","unstructured":"Buzen, J. (1971), \u201cQueuing Network Models of Multiprogramming,\u201d Dissertation (Ph.D.), Division of Engineering and Applied Physics, Harvard, Cambridge, MA."},{"key":"326228_CR14","unstructured":"Calzarossa, M., and M. Massari (1991), \u201cWorkload Analyzer Tool \u2014 WAT \u2014 User Guide,\u201d In Fifth Int. Conf. on Modeling Techniques and Tools for Computer Performance Evaluation, Univ. di Milano, Diparimento di Scienza dell'Informazione, pp. 1\u201315."},{"key":"326228_CR15","first-page":"82","volume-title":"Winter Simulation Conference (Group on Simulation)","author":"J. Carson","year":"1992","unstructured":"Carson, J. (1992), \u201cModeling,\u201d Winter Simulation Conference (Group on Simulation), SIGSIM, ACM, New York, NY, pp. 82\u201387."},{"key":"326228_CR16","first-page":"136","volume-title":"Int. Workshop on Timed Petri Nets","author":"G. Chiola","year":"1985","unstructured":"Chiola, G. (1985), \u201cA Software Package for the Analysis of Generalized Stochastic Petri Net Models,\u201d In Int. Workshop on Timed Petri Nets, IEEE Computer Society Press, Los Alamitos, CA, pp. 136\u2013143."},{"key":"326228_CR17","unstructured":"Choi, H., V. Mainkar, and K.S. Trivedi (1993), \u201cSensitivity Analysis of Deterministic and Stochastic Petri Nets,\u201d In MASCOTS'93 International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, pp. 271\u2013276."},{"key":"326228_CR18","first-page":"54","volume-title":"Int. Workshop on Petri Nets and Performance Models","author":"G. Ciardo","year":"1987","unstructured":"Ciardo, G. (1987), \u201cToward a Definition of Modeling Power for Stochastic Petri Net Models,\u201d In Int. Workshop on Petri Nets and Performance Models, IEEE Computer Society Press, Los Alamitos, CA, pp. 54\u201362."},{"issue":"1","key":"326228_CR19","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0166-5316(93)90026-Q","volume":"18","author":"G. Ciardo","year":"1993","unstructured":"Ciardo, G. and K.S. Trivedi (1993), \u201cA decomposition approach for stochastic reward net models,\u201d Performance Evaluation 18,1, 37\u201359.","journal-title":"Performance Evaluation"},{"key":"326228_CR20","volume-title":"SPNP Users Manual Version 4.0","author":"G. Ciardo","year":"1994","unstructured":"Ciardo, G., R. Pricks, J. Muppala, and K.S. Trivedi (1994), \u201cSPNP Users Manual Version 4.0,\u201d TR-1993\u201310, Duke University, Department of EE, Durham, NC."},{"key":"326228_CR21","first-page":"144","volume-title":"3rd Int. Workshop on Petri Nets and Performance Models","author":"G. Ciardo","year":"1989","unstructured":"Ciardo, G., J. Muppala, and K.S. Trivedi (1989), \u201cSPNP: Stochastic Petri Net Package,\u201d In 3rd Int. Workshop on Petri Nets and Performance Models, IEEE Computer Society Press, Los Alamitos, CA, pp. 144\u2013151."},{"key":"326228_CR22","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0166-5316(91)90003-L","volume":"12","author":"G. Ciardo","year":"1991","unstructured":"Ciardo, G., J. Muppala, and K.S. Trivedi (1991), \u201cOn the Solution of GSPN Reward Models,\u201d Performance Evaluation 12, 237\u2013253.","journal-title":"Performance Evaluation"},{"key":"326228_CR23","doi-asserted-by":"crossref","unstructured":"Ciardo, G., J. Muppala, and K.S. Trivedi (1992a), \u201cAnalyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets,\u201d Journal of Parallel and Distributed Computations 255\u2013269.","DOI":"10.1016\/0743-7315(92)90007-A"},{"issue":"10","key":"326228_CR24","first-page":"121","volume":"39","author":"G. Ciardo","year":"1992","unstructured":"Ciardo, G., R. Marie, S. Bruell, and K. Trivedi (1992b), \u201cPerformability Analysis Using Semi-Markov Reward Processes,\u201d IEEE Transactions on Computers 39,10, 121\u20131264.","journal-title":"IEEE Transactions on Computers"},{"key":"326228_CR25","first-page":"145","volume-title":"IMA Volumes in Mathematics and its Applications","author":"G. Ciardo","year":"1993","unstructured":"Ciardo, G., A. Blakemore, P.F. Chimento, J.K. Muppala, and K.S. Trivedi (1993), \u201cAutomated Generation and Analysis of Markov Reward Models Using Stochastic Rewards Nets,\u201d In IMA Volumes in Mathematics and its Applications, C. Meyer and R.J. Plemmons, Eds, Springer-Verlag, Berlin, Germany, pp. 145\u2013191."},{"key":"326228_CR26","unstructured":"Dedie, G. (1988), \u201cNucleus BS2000 \u2014 Technical Description,\u201d TR-BS200\u201388."},{"key":"326228_CR27","volume-title":"An Introduction to Operating Systems","author":"H.M. Deitel","year":"1990","unstructured":"Deitel, H.M. (1990), An Introduction to Operating Systems, Addison-Wesley, Reading, MA."},{"key":"326228_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/3-540-58021-2_19","volume-title":"7th Int. Conference on Performance Evaluation, Modeling Techniques and Tools","author":"S. Donatelli","year":"1994","unstructured":"Donatelli, S., G. Franceschinis, N. Mazzocca, and S. Russo (1994), \u201cSoftware Architecture of the EPOCA Integrated Environment,\u201d In 7th Int. Conference on Performance Evaluation, Modeling Techniques and Tools, Lecture Notes in Computer Science, Vol. 794, Springer-Verlag, Berlin, pp. 335\u2013352."},{"key":"326228_CR29","first-page":"158","volume-title":"5th Int. Workshop PNPM","author":"S. Donatelli","year":"1995","unstructured":"Donatelli, S., M. Ribaudo, and J. Hillston (1995), \u201cA Comparison of Performance Evaluation Process Algebra and Generalized Stochastic Petri Nets,\u201d In 5th Int. Workshop PNPM, IEEE Computer Society Press, Los Alamitos, CA, pp. 158\u2013168."},{"key":"326228_CR30","volume-title":"Structures of Discrete Event Simulation: An Introduction to the Engagement Strategy","author":"J. Evan","year":"1988","unstructured":"Evan, J. (1988), Structures of Discrete Event Simulation: An Introduction to the Engagement Strategy, Ellis Horwood Limited, Chicester (W. Sussex), UK."},{"key":"326228_CR31","volume-title":"Modellierung und Bewertung Paralleler Programme","author":"G. Fleischmann","year":"1989","unstructured":"Fleischmann, G. (1989), \u201cModellierung und Bewertung Paralleler Programme,\u201d Ph.D. dissertation, Computer Science IMMD IV, University of Erlangen-Nurnberg, Erlangen, Germany."},{"key":"326228_CR32","first-page":"103","volume-title":"8th Symp. on Simulation Techniques","author":"P. Gangl","year":"1993","unstructured":"Gangl, P. (1993), \u201cSimulation \u2014 eine Schlusseltechnologie der 90er Jahre: Hoher Nutzen aber geringer Kentnisstand in der Wirtschaft,\u201d In 8th Symp. on Simulation Techniques, Vieweg-Verlag, Germany, pp. 103\u2013106."},{"issue":"2","key":"326228_CR33","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1287\/opre.15.2.245","volume":"15","author":"W. Gordon","year":"1967","unstructured":"Gordon, W. and G. Newell (1967), \u201cClosed Queuing Systems with Exponential Servers,\u201d Operations Research 15,2, 245\u2013265.","journal-title":"Operations Research"},{"key":"326228_CR34","volume-title":"Leistungsbewertung des Betriebssystems UNIX mil Hilfe approximativer analytischer Methoden","author":"S. Greiner","year":"1993","unstructured":"Greiner, S. (1993), \u201cLeistungsbewertung des Betriebssystems UNIX mil Hilfe approximativer analytischer Methoden,\u201d TR-1993\u20139, University of Erlangen, Computer Science Department IMMD IV, Erlangen, Germany."},{"key":"326228_CR35","volume-title":"5th Int. Workshop PNPM","author":"S. Greiner","year":"1995","unstructured":"Greiner, S. (1995a), \u201cPerformance Evaluation of Dynamic Priority Operating Systems,\u201d In 5th Int. Workshop PNPM, IEEE Computer Society Press, Los Alamitos, CA, pp. ?."},{"key":"326228_CR36","volume-title":"An Analytical Model for the Operating System BS2000","author":"S. Greiner","year":"1995","unstructured":"Greiner, S. (1995b), \u201cAn Analytical Model for the Operating System BS2000,\u201d Computer Science Department IMMD IV, University of Erlangen, Erlangen, Germany."},{"key":"326228_CR37","volume-title":"Stochastic Analysis of Computer Science Applications: Theory, Models and Solution Methods","author":"S. Greiner","year":"1999","unstructured":"Greiner, S. (1999), \u201cStochastic Analysis of Computer Science Applications: Theory, Models and Solution Methods,\u201d Ph.D. dissertation, Computer Science Department IMMD IV, University of Erlangen-Nurnberg, Germany."},{"key":"326228_CR38","unstructured":"Greiner, S. and G. Horton (1996), \u201cAnalysis of Stiff Markov Chains with the Multi-level Method,\u201d In European Simulation Symposium, pp. 801\u2013805."},{"key":"326228_CR39","first-page":"93","volume-title":"Computer Performance and Reliability, Proc. of the 2nd Int. MCPR Workshop","author":"P. Heidelberger","year":"1988","unstructured":"Heidelberger, P. and A. Goyal (1988), \u201cSensitivity Analysis of Continuous Time Markov Chains Using Uniformization,\u201d In Computer Performance and Reliability, Proc. of the 2nd Int. MCPR Workshop, North-Holland, Amsterdam, pp. 93\u2013104."},{"key":"326228_CR40","first-page":"68","volume-title":"Advances in Simulation","author":"A. Hein","year":"1996","unstructured":"Hein, A. and K.K. Goswami (1996), \u201cConjoint Simulation \u2014 A Technique for the Combined Performance and Dependability Analysis of Large-Scale Computer Systems,\u201d In Advances in Simulation, IEEE Computer Society Press, Los Alamitos, CA, pp. 68\u201377."},{"key":"326228_CR41","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R. (1985), Communicating Sequential Processes, Prentice-Hall, London."},{"key":"326228_CR42","doi-asserted-by":"publisher","first-page":"981","DOI":"10.1016\/0169-7552(93)90095-L","volume":"25","author":"G.J. Holzmann","year":"1993","unstructured":"Holzmann, G.J. (1993), \u201cDesign and Validation of Protocols: A Tutorial,\u201d Computer Networks and ISDN Systems 25, 981\u20131017.","journal-title":"Computer Networks and ISDN Systems"},{"issue":"5","key":"326228_CR43","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J. (1997), \u201cThe Model Checker SPIN,\u201d IEEE Transactions on Software Engineering 23,5, 279\u2013295.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326228_CR44","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1145\/183018.183040","volume-title":"SIGMETRICS","author":"J. Horton","year":"1994","unstructured":"Horton, J. and S. Leutenegger (1994), \u201cA Multi-Level Algorithm for Steady State Markov Chains,\u201d In SIGMETRICS, ACM, New York, NY, pp. 191\u2013200."},{"key":"326228_CR45","first-page":"425","volume-title":"Second Int. Workshop on the Numerical Solution of Markov Chains","author":"G. Horton","year":"1995","unstructured":"Horton, G. and S. Leutenegger (1995), \u201cOn the Utility of the Multi-Level Algorithm for the Solution of Nearly Completely Decomposable Markov Chains,\u201d In Second Int. Workshop on the Numerical Solution of Markov Chains, Kluwer, Boston, pp. 425\u2013442."},{"issue":"1","key":"326228_CR46","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1287\/mnsc.10.1.131","volume":"10","author":"J. Jackson","year":"1963","unstructured":"Jackson, J. (1963), \u201cJobshop-Like Queuing Systems,\u201d Management Science 10,1, 131\u2013142.","journal-title":"Management Science"},{"key":"326228_CR47","first-page":"288","volume-title":"Int. Conference on Parallel and Distributed Systems","author":"K.M. Kavi","year":"1994","unstructured":"Kavi, K.M. and F.T. Sheldon (1994), \u201cSpecification of Stochastic Properties with CSP,\u201d In Int. Conference on Parallel and Distributed Systems, IEEE Computer Society Press, Los Alamitos, CA, pp. 288\u2013293."},{"key":"326228_CR48","volume-title":"Queuing Systems, Vol. 1: Theory","author":"L. Kleinrock","year":"1975","unstructured":"Kleinrock, L. (1975), Queuing Systems, Vol. 1: Theory, Wiley, New York, NY."},{"key":"326228_CR49","unstructured":"Koller, D., D. McAllester, and A. Pfeffer (1997), \u201cEffective Bayesian Inference for Stochastic Programs,\u201d In Fourteenth Nat. Conf. AAAI, AAAI, Menlo Park, CA, pp. 740\u2013747."},{"key":"326228_CR50","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1109\/PNPM.1995.524338","volume-title":"Int. Workshop on Petri Nets and Performance Models","author":"J.C. Laprie","year":"1995","unstructured":"Laprie, J.C., M. Kaaniche, and K. Kanoun (1995), \u201cModeling Computer Systems Evolutions: Non-Stationary Processes and Stochastic Petri Nets \u2014 Application to Dependability Growth,\u201d In Int. Workshop on Petri Nets and Performance Models, IEEE Computer Society Press, Los Alamitos, CA, pp. 221\u2013230."},{"key":"326228_CR51","volume-title":"Quantitative System Performance \u2014 Computer System Analysis Using Queuing Network Models","author":"E.D. Lazowska","year":"1984","unstructured":"Lazowska, E.D., J. Zahorjan, G.S. Graham, and K.C. Sevcik (1984), Quantitative System Performance \u2014 Computer System Analysis Using Queuing Network Models, Prentice-Hall, London."},{"issue":"3","key":"326228_CR52","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/TSE.1987.233170","volume":"13","author":"N.G. Levenson","year":"1987","unstructured":"Levenson, N.G. and J.L. Stolzy (1987), \u201cSafety Analysis Using Petri Nets,\u201d IEEE Transactions on Software Engineering 13,3, 386\u2013397.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326228_CR53","volume-title":"Petri Net Modeling and Software Safety Analysis: Methodology for an Embedded Military Application","author":"A.D. Lewis","year":"1988","unstructured":"Lewis, A.D. (1988), \u201cPetri Net Modeling and Software Safety Analysis: Methodology for an Embedded Military Application,\u201d Masters thesis, Computer Science, Naval Postgraduate School, Monterey, CA."},{"key":"326228_CR54","doi-asserted-by":"crossref","DOI":"10.1515\/9783486788747","volume-title":"Simulation","author":"F. Liebl","year":"1995","unstructured":"Liebl, F. (1995), Simulation, Oldenbourg, Munich."},{"issue":"2","key":"326228_CR55","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1023\/A:1018722928191","volume":"5","author":"D. Logothetis","year":"1997","unstructured":"Logothetis, D. and K.S. Trivedi (1997), \u201cThe Effect of Detection and Restoration Times for an Error Recovery in Communication Networks,\u201d Journal of Network and Systems Management 5,2, 173\u2013195.","journal-title":"Journal of Network and Systems Management"},{"key":"326228_CR56","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1109\/PNPM.1993.393452","volume-title":"5th Int. Workshop on Petri Nets and Performance Modeling","author":"V. Mainkar","year":"1993","unstructured":"Mainkar, V., H. Choi, and K. Trivedi (1993), \u201cSensitivity Analysis of Markov Regenerative Stochastic Petri Nets,\u201d In 5th Int. Workshop on Petri Nets and Performance Modeling, IEEE Computer Society Press, Los Alamitos, CA, pp. 180\u2013189."},{"key":"326228_CR57","first-page":"258","volume-title":"Fifth Int. Workshop on PNPM","author":"M. Malhotra","year":"1993","unstructured":"Malhotra, M. and K.S. Trivedi (1993), \u201cA Methodology for Formal Expression of Hierarchy in Model Solution,\u201d In Fifth Int. Workshop on PNPM, IEEE Computer Society Press, Los Alamitos, CA, pp. 258\u2013267."},{"key":"326228_CR58","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/PNPM.1993.393440","volume-title":"Fifth Int. Workshop on Petri-Nets and Performance Modeling","author":"R. Marie","year":"1993","unstructured":"Marie, R. and A. Jean-Marie (1993), \u201cQuantitative Evaluation of Discrete-Event Systems: Models, Performance and Techniques,\u201d In Fifth Int. Workshop on Petri-Nets and Performance Modeling, IEEE Computer Society Press, Los Alamitos, CA, pp. 2\u201311."},{"issue":"1","key":"326228_CR59","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M.A. Marsan","year":"1984","unstructured":"Marsan, M.A., G. Balbo, and G. Conte (1984), \u201cA Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems,\u201d ACM Transactions on Computer Systems 2,1, 93\u2013122.","journal-title":"ACM Transactions on Computer Systems"},{"key":"326228_CR60","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R. (1989), Communication and Concurrency, Prentice-Hall, London."},{"issue":"9","key":"326228_CR61","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"M.K. Molloy","year":"1982","unstructured":"Molloy, M.K. (1982), \u201cPerformance Analysis Using Stochastic Petri Nets,\u201d IEEE Transactions on Computers 31,9, 913\u2013917.","journal-title":"IEEE Transactions on Computers"},{"key":"326228_CR62","volume-title":"Stochastic Reward Nets for Reliability Prediction","author":"J.K. Muppala","year":"1994","unstructured":"Muppala, J.K., G. Ciardo, and K.S. Trivedi (1994a), \u201cStochastic Reward Nets for Reliability Prediction,\u201d TR-1994\u201312, Duke University, EE Department, Durham, NC."},{"key":"326228_CR63","series-title":"Fnl. Rpt. NSF Grant","volume-title":"Dependability Evaluation Through Measurements and Models","author":"J.K. Muppala","year":"1994","unstructured":"Muppala, J.K., W. Wang, and K.S. Trivedi (1994b), \u201cDependability Evaluation Through Measurements and Models,\u201d Fnl. Rpt. NSF Grant CCR-9108114, Duke University, EE Department, Durham, NC."},{"issue":"4","key":"326228_CR64","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T. (1989), \u201cPetri Nets: Properties, Analysis and Applications,\u201d Proceedings of the IEEE 77,4, 541\u2013580.","journal-title":"Proceedings of the IEEE"},{"key":"326228_CR65","doi-asserted-by":"crossref","unstructured":"Olderog, E.-R. (1986), \u201cTCSP \u2014 Theory of communicating sequential processes,\u201d In Lecture Notes in Computer Science Vol. 255, pp. 441\u2013465.","DOI":"10.1007\/3-540-17906-2_34"},{"key":"326228_CR66","doi-asserted-by":"crossref","unstructured":"Olderog, E.-R. (1987), \u201cOperational Petri Net Semantics for CCSP,\u201d In Lecture Notes in Computer Science Vol. 266, pp. 196\u2013223.","DOI":"10.1007\/3-540-18086-9_27"},{"issue":"2","key":"326228_CR67","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0377-2217(89)90335-4","volume":"40","author":"A. Reibman","year":"1989","unstructured":"Reibman, A., R. Smith, and K. Trivedi (1989), \u201cMarkov and Markov Reward Model Transient Analysis: An Overview of Numerical Approaches,\u201d European Journal of Operational Research 40,2, 257\u2013267.","journal-title":"European Journal of Operational Research"},{"issue":"4","key":"326228_CR68","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/2.76262","volume":"24","author":"A. Reibman","year":"1991","unstructured":"Reibman, A. and M. Veeraraghavan (1991), \u201cReliability Modeling: A Modeling Overview for System designers,\u201d Computer 24,4, 49\u201357.","journal-title":"Computer"},{"key":"326228_CR69","volume-title":"Stochastic Process Algebras with Timeless Activities and Probabilistic Branching Probabilities","author":"M. Rettelbach","year":"1996","unstructured":"Rettelbach, M. (1996), \u201cStochastic Process Algebras with Timeless Activities and Probabilistic Branching Probabilities,\u201d Dissertation (Ph.D.), Computer Science Department, Friedrich Alexander Universitaet Erlangen-N\u00fcrnberg, Erlangen, Germany."},{"key":"326228_CR70","volume-title":"Performance and Reliability Analysis of Computer Systems \u2014 An Example-Based Approach Using the SHARPS Software Package","author":"R. Sahner","year":"1996","unstructured":"Sahner, R., K.S. Trivedi and A. Puliafito (1996), Performance and Reliability Analysis of Computer Systems \u2014 An Example-Based Approach Using the SHARPS Software Package, Kluwer Academic, Boston, MA."},{"key":"326228_CR71","volume-title":"Reliability Modeling Using SHARPE","author":"R. Sahner","year":"1986","unstructured":"Sahner, R. and K.S. Trivedi (1986), \u201cReliability Modeling Using SHARPE,\u201d TR-1986\u201319, Computer Science, Duke University, Durham, NC."},{"issue":"1","key":"326228_CR72","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/13.204817","volume":"36","author":"R.A. Sahner","year":"1993","unstructured":"Sahner, R.A. and K.S. Trivedi (1993), \u201cA Software Tool for Learning About Stochastic Models,\u201d IEEE Transactions on Education 36,1, 56\u201361.","journal-title":"IEEE Transactions on Education"},{"issue":"1","key":"326228_CR73","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0166-5316(95)00012-M","volume":"24","author":"W. Sanders","year":"1995","unstructured":"Sanders, W., W. Obal, A. Qureshi, and F. Widjanarko (1995), \u201cThe UltraSAN Modeling Environment,\u201d Performance Evaluation 24,1, 89\u2013115.","journal-title":"Performance Evaluation"},{"issue":"1","key":"326228_CR74","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/49.64901","volume":"9","author":"W.H. Sanders","year":"1991","unstructured":"Sanders, W.H. and J.F. Meyer (1991), \u201cReduced Base Model Construction Methods for Stochastic Activity Networks,\u201d IEEE Journal on Selected Areas in Communications 9,1, 25\u201336.","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"326228_CR75","first-page":"150","volume-title":"Numerical Solution of Markov Chains","author":"P. Schweitzer","year":"1991","unstructured":"Schweitzer, P. (1991), \u201cA Survey of Aggregation-Disaggregation in Large Markov Chains,\u201d In Numerical Solution of Markov Chains, W. Stewart, Ed., Marcel Dekker, New York, NY, pp. 150\u2013230."},{"key":"326228_CR76","volume-title":"Specification and Analysis of Stochastic Properties for Concurrent Systems Expressed Using CSP","author":"F.T. Sheldon","year":"1996","unstructured":"Sheldon, F.T. (1996), \u201cSpecification and Analysis of Stochastic Properties for Concurrent Systems Expressed Using CSP,\u201d Ph.D. dissertation, UMI and CSE Department, University of TX at Arlington, Ann Arbor, MI."},{"key":"326228_CR77","first-page":"776","volume-title":"12th European Simulation Multi-Conference","author":"F.T. Sheldon","year":"1998","unstructured":"Sheldon, F.T. (1998), \u201cAnalysis of Real-Time Concurrent System Models Based on CSP Using Stochastic Petri Nets,\u201d In 12th European Simulation Multi-Conference, SCS Int., Amsterdam, pp. 776\u2013783."},{"key":"326228_CR78","volume-title":"4th Int. Workshop on Evaluation Techniques for Dependable Systems","author":"F.T. Sheldon","year":"1995","unstructured":"Sheldon, F.T. and K.M. Kavi (1995), \u201cLinking Software Failure Behavior to Specification Characteristics II,\u201d In 4th Int. Workshop on Evaluation Techniques for Dependable Systems, IEEE Computer Society Press, Los Alamitos, CA."},{"key":"326228_CR79","first-page":"317","volume-title":"Computing in Aerospace","author":"F.T. Sheldon","year":"1995","unstructured":"Sheldon, F.T., K.M. Kavi, and F.A. Kamangar (1995), \u201cReliability Analysis of CSP Specifications: A New Method Using Petri Nets,\u201d Computing in Aerospace 10, AIAA, Reston, VA, pp. 317\u2013326."},{"key":"326228_CR80","volume-title":"Bescgreibung und Analyse von Makovmodellen mil Grossem Zustandsraum","author":"M. Siegle","year":"1995","unstructured":"Siegle, M. (1995), \u201cBescgreibung und Analyse von Makovmodellen mil Grossem Zustandsraum,\u201d Ph.D. dissertation, Computer Science Department IMMD IV, University Erlangen-N\u00fcrnberg, Germany."},{"key":"326228_CR81","volume-title":"Software Engineering","author":"I. Sommerville","year":"1996","unstructured":"Sommerville, I. (1996), Software Engineering, Fifth Edition, Addison-Wesley, Reading, MA.","edition":"Fifth Edition"},{"key":"326228_CR82","volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"W.J. Stewart","year":"1994","unstructured":"Stewart, W.J. (1994), Introduction to the Numerical Solution of Markov Chains, Princeton University Press, Princeton, NJ."},{"key":"326228_CR83","volume-title":"System Overview BS2000 \u2014 Technical Description","author":"H. Stiegler","year":"1988","unstructured":"Stiegler, H. (1988), \u201cSystem Overview BS2000 \u2014 Technical Description,\u201d 15\u20131988, Siemens Corp., Munich, Germany."},{"key":"326228_CR84","volume-title":"Probability and Statistics with Reliability, Queuing and Computer Science Applications","author":"K.S. Trivedi","year":"1982","unstructured":"Trivedi, K.S. (1982), Probability and Statistics with Reliability, Queuing and Computer Science Applications, Prentice-Hall, Englewood Cliffs, NJ."},{"key":"326228_CR85","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/978-3-642-78495-8_3","volume-title":"Messung, Modellierung und Bewertung von Rechen-und Kommunikationssystemen","author":"K. Trivedi","year":"1993","unstructured":"Trivedi, K. and M. Malhotra (1993), \u201cReliability and Performability Techniques and Tools: A Survey,\u201d Messung, Modellierung und Bewertung von Rechen-und Kommunikationssystemen, Springer-Verlag, Berlin, pp. 27\u201348."},{"key":"326228_CR86","volume-title":"Reliability, Availability, Maintainability and Safety Assessment","author":"A. Villemeur","year":"1992","unstructured":"Villemeur, A. (1992), Reliability, Availability, Maintainability and Safety Assessment, Wiley, New York, NY."},{"issue":"4","key":"326228_CR87","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/2.666840","volume":"31","author":"I.-L. Yen","year":"1998","unstructured":"Yen, I.-L., R. Paul, and K. Mori (1998), \u201cToward Integrated Methods for High-Assurance Systems,\u201d IEEE Computer 31,4, 32\u201334 (including pp. 35\u201346 by others).","journal-title":"IEEE Computer"}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018927430556.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018927430556\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018927430556.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:20:51Z","timestamp":1747578051000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018927430556"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,2]]},"references-count":87,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1999,2]]}},"alternative-id":["326228"],"URL":"https:\/\/doi.org\/10.1023\/a:1018927430556","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"type":"print","value":"1022-7091"},{"type":"electronic","value":"1573-7489"}],"subject":[],"published":{"date-parts":[[1999,2]]}}}