{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T16:11:20Z","timestamp":1778256680134,"version":"3.51.4"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319663340","type":"print"},{"value":"9783319663357","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-66335-7_19","type":"book-chapter","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T03:53:48Z","timestamp":1502337228000},"page":"300-303","source":"Crossref","is-referenced-by-count":64,"title":["Modelling and Performance Evaluation with TimeNET 4.4"],"prefix":"10.1007","author":[{"given":"Armin","family":"Zimmermann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,11]]},"reference":[{"key":"19_CR1","unstructured":"Bernardi, S., Bertoncello, C., Donatelli, S., Franceschinis, G., Gaeta, G., Gribaudo, M., Horv\u00e0th, A.: GreatSPN in the new millenium. In: International Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems, Research Report 760, 2001, Universit\u00e4t Dortmund, Germany: tools of Aachen 2001, pp. 17\u201323 (2001)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Bodenstein, C., Zimmermann, A.: TimeNET optimization environment - batch simulation and heuristic optimization of SCPNs with TimeNET 4.2. In: 8th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2014), Bratislava, Slovakia, December 2014","DOI":"10.4108\/icst.valuetools.2014.258193"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Courtney, T., Gaonkar, S., Keefe, K., Rozier, E., Sanders, W.: M\u00f6bius 2.3: an extensible tool for dependability, security, and performance evaluation of large and complex system models. In: IEEE\/IFIP International Conference on Dependable Systems Networks, pp. 353\u2013358 (2009)","DOI":"10.1109\/DSN.2009.5270318"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/3-540-46429-8_30","volume-title":"Computer Performance Evaluation. Modelling Techniques and Tools","author":"C Hirel","year":"2000","unstructured":"Hirel, C., Tuffin, B., Trivedi, K.S.: SPNP: stochastic Petri nets. Version 6.0. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol. 1786, pp. 354\u2013357. Springer, Heidelberg (2000). doi: 10.1007\/3-540-46429-8_30"},{"issue":"3\u20134","key":"19_CR5","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, K.L., Wells, L.: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. (STTT) 9(3\u20134), 213\u2013254 (2007)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-642-40196-1_31","volume-title":"Quantitative Evaluation of Systems","author":"D Reijsbergen","year":"2013","unstructured":"Reijsbergen, D., de Boer, P.-T., Scheinhardt, W., Haverkort, B.: Automated rare event simulation for stochastic Petri nets. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 372\u2013388. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40196-1_31"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Shorin, D., Zimmermann, A.: Extending the software tool TimeNET by power consumption estimation of UML MARTE models. In: Proceeding of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014), pp. 83\u201391, Vienna, Austria, August 2014","DOI":"10.5220\/0005096700830091"},{"key":"19_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74173-2","volume-title":"Stochastic Discrete Event Systems","author":"A Zimmermann","year":"2007","unstructured":"Zimmermann, A.: Stochastic Discrete Event Systems. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-74173-2"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Zimmermann, A.: Modeling and evaluation of stochastic Petri nets with TimeNET 4.1. In: Proceeding 6th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS), pp. 54\u201363, Corse, France (2012)","DOI":"10.4108\/valuetools.2012.250263"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-3-319-66335-7_7","volume-title":"QEST 2017","author":"A Zimmermann","year":"2017","unstructured":"Zimmermann, A., Hotz, T., Canabal Lavista, A.: A hybrid multi-trajectory simulation algorithm for the performance evaluation of stochastic Petri nets. In: Bertrand, N., Bortolussi, L. (eds.) QEST 2017. LNCS, vol. 10503, pp. 107\u2013122. Springer, Cham (2017)"},{"key":"19_CR11","unstructured":"Zimmermann, A., J\u00e4ger, S., Geyer, F.: Towards reliability evaluation of AFDX avionic communication systems with rare-event simulation. In: Proceeding Probabilistic Safety Assessment & Management Conference 2014 (PSAM 12), pp. 1\u201312, Honolulu, Hawaii, USA, June 2014"},{"key":"19_CR12","unstructured":"Zimmermann, A., Maciel, P.: Importance function derivation for RESTART simulations of Petri nets. In: 9th International Workshop on Rare Event Simulation (RESIM 2012), pp. 8\u201315, Trondheim, Norway, June 2012"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66335-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T06:39:03Z","timestamp":1569998343000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66335-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319663340","9783319663357"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66335-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}