{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,15]],"date-time":"2026-02-15T21:29:49Z","timestamp":1771190989470,"version":"3.50.1"},"reference-count":36,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1995,11,1]],"date-time":"1995-11-01T00:00:00Z","timestamp":815184000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Performance Evaluation"],"published-print":{"date-parts":[[1995,11]]},"DOI":"10.1016\/0166-5316(95)00010-u","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T19:20:22Z","timestamp":1027624822000},"page":"69-87","source":"Crossref","is-referenced-by-count":118,"title":["TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets"],"prefix":"10.1016","volume":"24","author":[{"given":"Reinhard","family":"German","sequence":"first","affiliation":[]},{"given":"Christian","family":"Kelling","sequence":"additional","affiliation":[]},{"given":"Armin","family":"Zimmermann","sequence":"additional","affiliation":[]},{"given":"G\u00fcnter","family":"Hommel","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0166-5316(95)00010-U_BIB1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1109\/32.29483","article-title":"The effect of execution policies on the semantics of stochastic Petri nets","volume":"15","author":"Marsan","year":"1989","journal-title":"IEEE Trans. Softw. Engrg."},{"key":"10.1016\/0166-5316(95)00010-U_BIB2","series-title":"Advances in Petri Nets 1986","first-page":"132","article-title":"On Petri nets with deterministic and exponentially distributed firing times","volume":"266","author":"Marsan","year":"1987"},{"key":"10.1016\/0166-5316(95)00010-U_BIB3","series-title":"Proc. 2nd Int. Workshop on Petri Nets and Performance Models","first-page":"85","article-title":"On the efficient construction of the tangible reachability graph of generalized stochastic Petri nets","author":"Balbo","year":"1987"},{"key":"10.1016\/0166-5316(95)00010-U_BIB4","series-title":"Proc. 3rd Int. Conf. on Modeling Techniques and Tools for Performance Analysis","first-page":"323","article-title":"A graphical Petri net tool for performance analysis","author":"Chiola","year":"1987"},{"key":"10.1016\/0166-5316(95)00010-U_BIB5","series-title":"Proc. 4th Int. Conf. on Modeling Techniques and Tools for Computer Performance Evaluation","first-page":"11","article-title":"Compiling techniques for the analysis of stochastic Petri nets","author":"Chiola","year":"1988"},{"key":"10.1016\/0166-5316(95)00010-U_BIB6","series-title":"Proc. 5th Int. Conf. on Modeling Techniques and Tools for Performance Analysis","first-page":"117","article-title":"GreatSPN 1.5 software architecture","author":"Chiola","year":"1991"},{"key":"10.1016\/0166-5316(95)00010-U_BIB7","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1109\/32.214828","article-title":"Generalized stochastic Petri nets: a definition at the net level and its implications","volume":"19","author":"Chiola","year":"1993","journal-title":"IEEE Trans. Softw. Engrg."},{"key":"10.1016\/0166-5316(95)00010-U_BIB8","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/0166-5316(94)90021-3","article-title":"Markov regenerative stochastic Petri nets","volume":"20","author":"Choi","year":"1994","journal-title":"Perf. Eval."},{"key":"10.1016\/0166-5316(95)00010-U_BIB9","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1109\/32.297939","article-title":"A characterization of the stochastic process underlying a stochastic Petri net","volume":"20","author":"Ciardo","year":"1994","journal-title":"IEEE Trans. on Softw. Engrg."},{"key":"10.1016\/0166-5316(95)00010-U_BIB10","series-title":"Proc. 3rd Int. Workshop on Petri Nets and Performance Models","first-page":"142","article-title":"SPNP: stochastic Petri net package","author":"Ciardo","year":"1989"},{"key":"10.1016\/0166-5316(95)00010-U_BIB11","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1109\/52.84218","article-title":"Performability modeling with UltraSAN","volume":"8","author":"Couvillion","year":"1991","journal-title":"IEEE Software"},{"key":"10.1016\/0166-5316(95)00010-U_BIB12","series-title":"Proc. 1st Int. Workshop Timed Petri Nets","first-page":"144","article-title":"ESP \u2014 a package for the evaluation of stochastic Petri nets with phase-type distributed transition times","author":"Cumani","year":"1985"},{"key":"10.1016\/0166-5316(95)00010-U_BIB13","series-title":"Short Papers and Tools Descriptions 7th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation","first-page":"91","article-title":"A new approach to the approximation of deterministic time in continuous time stochastic models","author":"German","year":"1994"},{"key":"10.1016\/0166-5316(95)00010-U_BIB14","series-title":"Proc. Int. Performance and Dependability Symp. (IPDS '95)","first-page":"114","article-title":"New results for the analysis of deterministic and stochastic Petri nets","author":"German","year":"1995"},{"key":"10.1016\/0166-5316(95)00010-U_BIB15","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0166-5316(94)90020-5","article-title":"Analysis of stochastic Petri nets by the method of supplementary variables","volume":"20","author":"German","year":"1994","journal-title":"Perf. Eval."},{"key":"10.1016\/0166-5316(95)00010-U_BIB16","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1287\/opre.32.2.343","article-title":"The randomization technique as a modeling tool and solution procedure for transient Markov processes","volume":"32","author":"Gross","year":"1984","journal-title":"Op. Res."},{"key":"10.1016\/0166-5316(95)00010-U_BIB17","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1145\/358598.358630","article-title":"A spectral method for confidence interval generation and run length control in simulations","volume":"24","author":"Heidelberger","year":"1981","journal-title":"Comm. ACM"},{"key":"10.1016\/0166-5316(95)00010-U_BIB18","series-title":"Proc. 7th GI\/ITG Conf. on Modeling, Measurement and Evaluation of Computing Systems (MMB '93)","first-page":"37","article-title":"A new method to determine the initial checkpoint of the spectral variance analysis","author":"Kelling","year":"1993"},{"key":"10.1016\/0166-5316(95)00010-U_BIB19","series-title":"Proc. 2nd Int. Workshop on Parallel and Distributed Real-Time Systems","article-title":"Modeling priority schemes with timed Petri nets.","author":"Kelling","year":"1994"},{"key":"10.1016\/0166-5316(95)00010-U_BIB20","unstructured":"also Int. J. Mini- and Microcomputers."},{"key":"10.1016\/0166-5316(95)00010-U_BIB21","series-title":"Proc. European Simulation Symp. 1994","first-page":"73","article-title":"Control variate selection strategies for timed Petri nets","author":"Kelling","year":"1994"},{"key":"10.1016\/0166-5316(95)00010-U_BIB22","series-title":"Proc. 28th Annual Simulation Symp.","first-page":"250","article-title":"TimeNET-SIM \u2014 a parallel simulator for stochastic Petri nets","author":"Kelling","year":"1995"},{"key":"10.1016\/0166-5316(95)00010-U_BIB23","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1145\/356004.356009","article-title":"ITPACK 2C: a Fortran package for solving large sparse linear systems by adaptive accelerated iterative methods","volume":"8","author":"Kincaid","year":"1982","journal-title":"ACM Trans. Math. Softw."},{"key":"10.1016\/0166-5316(95)00010-U_BIB24","series-title":"Proc. 6th Annual European Computer Conf.","first-page":"618","article-title":"TOMSPIN, a tool for modeling with stochastic Petri nets","author":"Klas","year":"1992"},{"key":"10.1016\/0166-5316(95)00010-U_BIB25","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0166-5316(93)90028-S","article-title":"An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models","volume":"18","author":"Lindemann","year":"1993","journal-title":"Perf. Eval."},{"key":"10.1016\/0166-5316(95)00010-U_BIB26_1","series-title":"Proc. 6th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluations","first-page":"15","article-title":"DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets","author":"Lindemann","year":"1992"},{"key":"10.1016\/0166-5316(95)00010-U_BIB26_2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0166-5316(93)E0035-4","volume":"22","author":"Lindemann","year":"1995","journal-title":"Perf. Eval."},{"key":"10.1016\/0166-5316(95)00010-U_BIB27","series-title":"Proc. IEEE Int. Conf. on Robotics and Automation","first-page":"576","article-title":"Performability modeling of an automated manufacturing system with deterministic and stochastic Petri nets","author":"Lindemann","year":"1993"},{"key":"10.1016\/0166-5316(95)00010-U_BIB28","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/BF01439851","article-title":"Modeling discrete event systems with state-dependent deterministic service times","volume":"3","author":"Lindemann","year":"1993","journal-title":"Discrete Event Dynamical Systems: Theory and Applications"},{"key":"10.1016\/0166-5316(95)00010-U_BIB29","series-title":"Proc. 26th Hawaii Int. Conf. on System Sciences","article-title":"Performance evaluation of memory consistency models for multiprocessor systems with virtually shared memory","author":"Lindemann","year":"1993"},{"key":"10.1016\/0166-5316(95)00010-U_BIB30","article-title":"An adaptive algorithm for the efficient generation of the tangible reachability graph of a stochastic Petri net","author":"Lindemann","year":"1994"},{"key":"10.1016\/0166-5316(95)00010-U_BIB31","first-page":"301","article-title":"A simple and fast algorithm to obtain all invariants of a generalized Petri net","volume":"52","author":"Martinez","year":"1982"},{"key":"10.1016\/0166-5316(95)00010-U_BIB32","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/78919.78921","article-title":"Steady-state simulation of queueing processes: a survey of problems and solutions","volume":"22","author":"Pawlikowski","year":"1990","journal-title":"ACM Comput. Surveys"},{"key":"10.1016\/0166-5316(95)00010-U_BIB33","doi-asserted-by":"crossref","first-page":"1167","DOI":"10.1287\/opre.31.6.1167","article-title":"Optimal tests for initialization bias in simulation output","volume":"31","author":"Schruben","year":"1983","journal-title":"Op. Res."},{"key":"10.1016\/0166-5316(95)00010-U_BIB34","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1145\/356502.356494","article-title":"Algorithms for sparse Gaussian elimination with partial pivoting","volume":"4","author":"Sherman","year":"1978","journal-title":"ACM Trans. Math. Softw."},{"key":"10.1016\/0166-5316(95)00010-U_BIB35","series-title":"Proc. 11th Int. Conf. on Analysis and Optimization of Systems","first-page":"198","article-title":"A new approach to discrete time stochastic Petri nets","author":"Zijal","year":"1994"}],"container-title":["Performance Evaluation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016653169500010U?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016653169500010U?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,18]],"date-time":"2019-04-18T02:22:08Z","timestamp":1555554128000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016653169500010U"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,11]]},"references-count":36,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1995,11]]}},"alternative-id":["016653169500010U"],"URL":"https:\/\/doi.org\/10.1016\/0166-5316(95)00010-u","relation":{},"ISSN":["0166-5316"],"issn-type":[{"value":"0166-5316","type":"print"}],"subject":[],"published":{"date-parts":[[1995,11]]}}}