{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T13:42:38Z","timestamp":1777902158104,"version":"3.51.4"},"reference-count":31,"publisher":"SAGE Publications","issue":"10","license":[{"start":{"date-parts":[[2009,6,29]],"date-time":"2009-06-29T00:00:00Z","timestamp":1246233600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[2010,10]]},"abstract":"<jats:p>We introduce an extension of the classic Discrete Event System Specification (DEVS) formalism that includes stochastic features. Based on the use of the probability spaces theory we define the stochastic DEVS (STDEVS) specification, which provides a formal framework for modeling and simulation of general non-deterministic discrete event systems. The main theoretical properties of the STDEVS framework are treated, including a new definition of legitimacy of models in the stochastic context and a proof of STDEVS closure under coupling. We also illustrate the new stochastic modeling capabilities introduced by STDEVS and their relation with those found in classic DEVS. Practical simulation examples are given involving performance analysis of computer systems and hybrid modeling of networked control systems, applications where the modeling of stochastic components is vital.<\/jats:p>","DOI":"10.1177\/0037549709104482","type":"journal-article","created":{"date-parts":[[2009,6,29]],"date-time":"2009-06-29T20:26:25Z","timestamp":1246307185000},"page":"587-611","source":"Crossref","is-referenced-by-count":20,"title":["A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation"],"prefix":"10.1177","volume":"86","author":[{"given":"Rodrigo","family":"Castro","sequence":"first","affiliation":[{"name":"Universidad Nacional de Rosario, Riobamba 245 bis, Rosario 2000, Santa Fe, Argentina,"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Kofman","sequence":"additional","affiliation":[{"name":"Universidad Nacional de Rosario, Riobamba 245 bis, Rosario 2000, Santa Fe,"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Wainer","sequence":"additional","affiliation":[{"name":"Carleton University, 1125 Colonel By Drive, Ottawa, ON, K1S 5B6 Canada,"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2009,6,29]]},"reference":[{"key":"atypb1","volume-title":"Theory of Modeling and Simulation","author":"Zeigler, B.","year":"1976"},{"key":"atypb2","volume-title":"Theory of Modeling and Simulation","author":"Zeigler, B.","year":"2000","edition":"2"},{"key":"atypb3","volume-title":"Proceedings of the 25th Winter Simulation Conference","author":"Zeigler, B."},{"key":"atypb4","volume-title":"Continuous System Simulation","author":"Cellier, F.E.","year":"2006"},{"issue":"3","key":"atypb5","first-page":"120","volume":"17","author":"Giambiasi, N.","year":"2000","journal-title":"Transactions of the SCS"},{"key":"atypb6","volume-title":"Parallel Discrete Event Simulation with Application to Continuous Systems. PhD Thesis","author":"Nutaro, J.","year":"2003"},{"key":"atypb7","volume-title":"Introduction to DEVS Modeling and Simulation with JAVA: A Simplified Approach to HLA-Compliant Distributed Simulations","author":"Zeigler, B.","year":"2000"},{"key":"atypb8","unstructured":"Wainer, G., G. Christen and A. Dobniewski. 2001. Defining DEVS Models with the CD++ Toolkit. In Proceedings of ESS2001, Marseille, France. SCS Publisher, pp. 633-637."},{"key":"atypb9","unstructured":"Filippi, J.B. , M. Delhom and F. Bernardi. 2002. The JDEVS Environmental Modeling and Simulation Environment. In Proceedings of IEMSS 2002, Vol. 3, pp. 283-288."},{"key":"atypb10","volume-title":"Technical Report LSD0306, LSD, UNR","author":"Kofman, E."},{"key":"atypb11","volume-title":"Proceedings of the 12th Winter Conference on Simulation","author":"Cutler, M.M."},{"key":"atypb12","volume-title":"Discrete Event Systems: Modeling and Performance Analysis","author":"Cassandras, C.","year":"1993"},{"key":"atypb13","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"Ajmone Marsan, M.","year":"1995"},{"key":"atypb14","volume-title":"Ergodic Machines-Probabilistic and Approximate Homomorphic Simplifications. PhD Thesis","author":"Aggarwal, S.","year":"1975"},{"key":"atypb15","volume-title":"Analysis and Simplifications of Discrete Event Systems and Jackson Queuing Networks","author":"Melamed, B.","year":"1976"},{"key":"atypb16","volume-title":"Proceedings of the 7th Conference on AI, Simulation, and Planning in High Autonomy Systems (AIS\u201996)","author":"Joslyn, C."},{"key":"atypb17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801372"},{"key":"atypb18","volume-title":"Probability and Measure","author":"Billingsley, P.","year":"1995","edition":"3"},{"key":"atypb19","volume-title":"Sul problema della mesura dei gruppi di punti di una retta","author":"Vitali, G.","year":"1905"},{"key":"atypb20","volume-title":"Art of Computer Programming, Volume 2: Seminumerical Algorithms","author":"Knuth, D.E.","year":"1997","edition":"3"},{"key":"atypb21","volume-title":"ARVAG Project-Automatic nonuniform Random VAriate Generation","author":"Institute for Statistics of the Vienna University of Economics and Business Administration.","year":"2009"},{"key":"atypb22","volume-title":"Queuing Systems, Vol. 1: Theory","author":"Kleinrock, L.","year":"1975"},{"key":"atypb23","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(97)00170-2"},{"key":"atypb24","doi-asserted-by":"publisher","DOI":"10.1109\/37.898792"},{"key":"atypb25","volume-title":"Technical Report LSD0808, LSD, UNR","author":"Castro, R."},{"key":"atypb26","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177706645"},{"key":"atypb27","volume-title":"Numerical Recipes: The Art of Scientific Computing","author":"Press, W.H.","year":"2007"},{"key":"atypb28","volume-title":"Technical Report LSD0809, LSD, UNR","author":"Castro, R."},{"key":"atypb29","volume-title":"Feedback Control of Dynamic Systems","author":"Franklin, G.F.","year":"1994"},{"key":"atypb30","doi-asserted-by":"publisher","DOI":"10.1137\/S1064827502418379"},{"issue":"2","key":"atypb31","first-page":"55","volume":"13","author":"Chow, A.C.","year":"1996","journal-title":"Transactions of the Society for Computer Simulations International"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549709104482","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549709104482","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:21:38Z","timestamp":1777634498000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0037549709104482"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,29]]},"references-count":31,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2010,10]]}},"alternative-id":["10.1177\/0037549709104482"],"URL":"https:\/\/doi.org\/10.1177\/0037549709104482","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"value":"0037-5497","type":"print"},{"value":"1741-3133","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,6,29]]}}}