{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T07:32:50Z","timestamp":1769931170661,"version":"3.49.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319077338","type":"print"},{"value":"9783319077345","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-07734-5_15","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T09:57:34Z","timestamp":1404208654000},"page":"273-293","source":"Crossref","is-referenced-by-count":11,"title":["Analysis of Petri Net Models through Stochastic Differential Equations"],"prefix":"10.1007","author":[{"given":"Marco","family":"Beccuti","sequence":"first","affiliation":[]},{"given":"Enrico","family":"Bibbona","sequence":"additional","affiliation":[]},{"given":"Andras","family":"Horvath","sequence":"additional","affiliation":[]},{"given":"Roberta","family":"Sirovich","sequence":"additional","affiliation":[]},{"given":"Alessio","family":"Angius","sequence":"additional","affiliation":[]},{"given":"Gianfranco","family":"Balbo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M. Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. J. Wiley, New York (1995)"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-642-13675-7_19","volume-title":"Applications and Theory of Petri Nets","author":"Junaid Babar","year":"2010","unstructured":"Babar, J., Beccuti, M., Donatelli, S., Miner, A.S.: GreatSPN enhanced with decision diagram data structures. In: Proceedings of Applications and Theory of Petri Nets, 31st Int. Conference, Braga, Portugal, June 21-25, pp. 308\u2013317. IEEE Computer Society (2010)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-44667-2_3","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"G. Balbo","year":"2001","unstructured":"Balbo, G.: Introduction to Stochastic Petri Nets. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) FMPA 2000. LNCS, vol.\u00a02090, pp. 84\u2013155. Springer, Heidelberg (2001)"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Beccuti, M., Franceschinis, G.: Efficient simulation of stochastic well-formed nets through symmetry exploitation. In: Proceedings of the Winter Simulation Conference, WSC 2012, pp. 296:1\u2013296:13. IEEE Computer Society (December 2012)","DOI":"10.1109\/WSC.2012.6465256"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Beccuti, M., Fornari, C., Franceschinis, G., Halawani, S.M., Ba-Rukab, O., Ahmad, A.R., Balbo, G.: From symmetric nets to differential equations exploiting model symmetries. The Computer Journal (2013)","DOI":"10.1093\/comjnl\/bxt111"},{"key":"15_CR6","series-title":"Texts in Applied Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3124-8","volume-title":"Markov chains. Gibbs fields, Monte Carlo simulation, and queues","author":"P. Br\u00e9maud","year":"1999","unstructured":"Br\u00e9maud, P.: Markov chains. Gibbs fields, Monte Carlo simulation, and queues. Texts in Applied Mathematics, vol.\u00a031. Springer, New York (1999)"},{"key":"15_CR7","volume-title":"Principles of Discrete Event Simulation","author":"G.S. Fishman","year":"1978","unstructured":"Fishman, G.S.: Principles of Discrete Event Simulation. John Wiley & Sons, Inc., New York (1978)"},{"issue":"9","key":"15_CR8","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1109\/32.541434","volume":"22","author":"R. Gaeta","year":"1996","unstructured":"Gaeta, R.: Efficient Discrete-Event Simulation of Colored Petri Nets. IEEE Transactions on Software Engineering\u00a022(9), 629\u2013639 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1063\/1.481811","volume":"113","author":"D.T. Gillespie","year":"2000","unstructured":"Gillespie, D.T.: The chemical langevin equation. J. Chem. Phys.\u00a0113, 297 (2000)","journal-title":"J. Chem. Phys."},{"issue":"772","key":"15_CR10","doi-asserted-by":"publisher","first-page":"700","DOI":"10.1098\/rspa.1927.0118","volume":"115","author":"W. Kermack","year":"1927","unstructured":"Kermack, W., McKendrick, A.: A contribution to the mathematical theory of epidemics. Proceedings of the Royal Society of London. Series A\u00a0115(772), 700\u2013721 (1927)","journal-title":"Proceedings of the Royal Society of London. Series A"},{"key":"15_CR11","doi-asserted-by":"publisher","DOI":"10.1142\/p821","volume-title":"Introduction to stochastic calculus with applications","author":"F.C. Klebaner","year":"2012","unstructured":"Klebaner, F.C.: Introduction to stochastic calculus with applications, 3rd edn. Imperial College Press, London (2012)","edition":"3"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Kloeden, P.E., Platen, E.: Numerical solution of stochastic differential equations, vol.\u00a023. Springer (1992)","DOI":"10.1007\/978-3-662-12616-5"},{"issue":"7","key":"15_CR13","doi-asserted-by":"publisher","first-page":"49","DOI":"10.2307\/3212147","volume":"1","author":"T.G. Kurtz","year":"1970","unstructured":"Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure jump Markov processes. Journal of Applied Probability\u00a01(7), 49\u201358 (1970)","journal-title":"Journal of Applied Probability"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Kurtz, T.G.: Limit theorems and diffusion approximations for density dependent Markov chains. In: Stochastic Systems: Modeling, Identification and Optimization, I, pp. 67\u201378. Springer (1976)","DOI":"10.1007\/BFb0120765"},{"issue":"3","key":"15_CR15","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-4149(78)90020-0","volume":"6","author":"T.G. Kurtz","year":"1978","unstructured":"Kurtz, T.G.: Strong approximation theorems for density dependent markov chains. Stochastic Processes and Their Applications\u00a06(3), 223\u2013240 (1978)","journal-title":"Stochastic Processes and Their Applications"},{"issue":"9","key":"15_CR16","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"M.K. Molloy","year":"1982","unstructured":"Molloy, M.K.: Performance analysis using stochastic Petri Nets. IEEE Transactions on Computers\u00a031(9), 913\u2013917 (1982)","journal-title":"IEEE Transactions on Computers"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-642-36781-6_11","volume-title":"Computer Performance Engineering","author":"A. Pourranjbar","year":"2013","unstructured":"Pourranjbar, A., Hillston, J., Bortolussi, L.: Don\u2019t just go with the flow: Cautionary tales of fluid flow approximation. In: Tribastone, M., Gilmore, S. (eds.) UKPEW 2012 and EPEW 2012. LNCS, vol.\u00a07587, pp. 156\u2013171. Springer, Heidelberg (2013)"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Tribastone, M.: Scalable differential analysis of large process algebra models. In: 7th Int. Conference on the Quantitative Evaluation of Systems, p. 307. IEEE Computer Society, Williamsburg (2010)","DOI":"10.1109\/QEST.2010.45"},{"issue":"1","key":"15_CR19","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1109\/TSE.2010.82","volume":"38","author":"M. Tribastone","year":"2012","unstructured":"Tribastone, M., Gilmore, S., Hillston, J.: Scalable differential analysis of process algebra models. IEEE Trans. Software Eng.\u00a038(1), 205\u2013219 (2012)","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07734-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T04:01:11Z","timestamp":1565582471000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07734-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319077338","9783319077345"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07734-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}