{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T06:58:32Z","timestamp":1648796312962},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1993,7,1]],"date-time":"1993-07-01T00:00:00Z","timestamp":741484800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[1993,7]]},"DOI":"10.1007\/bf01439851","type":"journal-article","created":{"date-parts":[[2006,7,7]],"date-time":"2006-07-07T22:41:47Z","timestamp":1152312107000},"page":"249-270","source":"Crossref","is-referenced-by-count":10,"title":["Modeling discrete event systems with state-dependent deterministic service times"],"prefix":"10.1007","volume":"3","author":[{"given":"Christoph","family":"Lindemann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"German","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01439851_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1109\/32.29483","volume":"15","author":"M. Ajmone Marsan","year":"1989","unstructured":"Ajmone Marsan, M., Balbo, G., Bobbio, A., Chiola, G., Conte, G., and Cumani A. 1989. The effect of execution policies on the semantics and analysis of stochastic Petri nets.IEEE Trans. Software Eng. 15, pp. 832\u2013846.","journal-title":"IEEE Trans. Software Eng."},{"key":"BF01439851_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/3-540-18086-9_23","volume-title":"Advances in Petri Nets 1987","author":"M. Ajmone Marsan","year":"1987","unstructured":"Ajmone Marsan, M., and Chiola, G. 1987. On Petri nets with deterministic and exponentially distributed firing times.Advances in Petri Nets 1987 (G. Rozenberg, ed.). Lecture Notes in Computer Science, vol. 266, New York: Springer, pp. 132\u2013145."},{"key":"BF01439851_CR3","first-page":"457","volume-title":"Proc. 9th Int. Symp. Computer Performance Modeling","author":"F. Bacelli","year":"1983","unstructured":"Bacelli, F., and Trivedi, K.S. 1983. Analysis of a M\/G\/2 standby redundant system.Proc. 9th Int. Symp. Computer Performance Modeling (A.K. Agarwala and S.K. Tripathi, eds.. Amsterdam: North-Holland, pp. 457\u2013476."},{"key":"BF01439851_CR4","unstructured":"Chiola, G. 1991. GreatSPN 1.5 software architecture.Proc. 5th Int. Conf. Modeling Techniques and Tools for Performance analysis, Torino Italy, pp. 117\u2013132."},{"key":"BF01439851_CR5","doi-asserted-by":"crossref","first-page":"1183","DOI":"10.1109\/TCOM.1979.1094529","volume":"27","author":"I. Chlamtac","year":"1979","unstructured":"Chlamtac, I., Franta, W.R., and Levin, K.D. 1979. BRAM: the broadcast recognition access method.IEEE Trans. Comm., 27, pp. 1183\u20131189.","journal-title":"IEEE Trans. Comm."},{"key":"BF01439851_CR6","unstructured":"Choi, H., Mainkar, V., and Trivedi, K.S. 1993. Sensitivity analysis of deterministic and stochastic Petri nets.Proc. Int. Conf. Modeling Analysis and Simulation of Computer and Telecommunication Systems, San Diego, CA, pp. 271\u2013276."},{"key":"BF01439851_CR7","volume-title":"Linear Algebra, Markov Chains, and Queuing Models","author":"G. Ciardo","year":"1992","unstructured":"Ciardo, G., Blakemore, A., Chimento P.F., Muppala, J.K., and Trivedi, K.S. 1992. Automated generation of Markov reward models using stochastic reward nets.Linear Algebra, Markov Chains, and Queuing Models (C. Meyer and R.J. Plemmons, eds.), Vol. 48 of IMA Volumes in Mathematics and its Applications New York: Springer-Verlag."},{"key":"BF01439851_CR8","unstructured":"Ciardo, G., Muppala, J., and Trivedi, K.S. 1989. SPNP: stochastic Petri net package.Proc. 3rd Int. Workshop Petri Nets and Performance Models, Kyoto, Japan, pp. 142\u2013151."},{"key":"BF01439851_CR9","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1109\/52.84218","volume":"8","author":"J. Couvillion","year":"1991","unstructured":"Couvillion, J., Freire, R., Johnson, R., Obal, W.D., Qureshi, M.A., Rai, M., Sanders, W.H., and Twedt, J.E. 1991. Performability modeling with UltraSAN.IEEE Software, 8, pp. 69\u201380","journal-title":"IEEE Software"},{"key":"BF01439851_CR10","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1287\/opre.32.2.343","volume":"32","author":"D. Gross","year":"1984","unstructured":"Gross, D., and Miller, D.R., 1984. The randomization technique as a modeling tool and solution procedure for transient Markov processes.Oper. Res., 32, pp. 345\u2013361.","journal-title":"Oper. Res."},{"key":"BF01439851_CR11","doi-asserted-by":"crossref","first-page":"932","DOI":"10.2307\/1427109","volume":"19","author":"V.G. Kulkarni","year":"1987","unstructured":"Kulkarni, V.G., Nicola, V.F., and Trivedi, K.S. 1987. The completion time of a job on multimode systems.Adv. Appl. Probab., 19, pp. 932\u2013954.","journal-title":"Adv. Appl. Probab."},{"key":"BF01439851_CR12","volume-title":"The Design and Implementation of the 4.3BSD UNIX Operation System","author":"S.J. Leffler","year":"1989","unstructured":"Leffler, S.J., McKusick, M.K., Karels, M.J., and Quarterman, J.S. 1989.The Design and Implementation of the 4.3BSD UNIX Operation System. Reading, MA: Addison-Wesley."},{"key":"BF01439851_CR13","doi-asserted-by":"crossref","unstructured":"Lindemann, C. 1993. An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models.Perf. Eval. 18, (in print).","DOI":"10.1016\/0166-5316(93)90028-S"},{"key":"BF01439851_CR14","doi-asserted-by":"crossref","unstructured":"Lindemann, C. 1992a. A stochastic performance modeling technique for deterministic medium access schemes.Proc. 3rd IEEE Workshop Future Trends in Distributed Computing Systems, Taipei, Republic of China, pp. 346\u2013353.","DOI":"10.1109\/FTDCS.1992.217474"},{"key":"BF01439851_CR15","unstructured":"Lindemann, C. 1992b. DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets.Proc. 6th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluations. Edinburgh, GB, pp. 15\u201329."},{"key":"BF01439851_CR16","doi-asserted-by":"crossref","unstructured":"Lindemann, C., Ciardo, G., German, R., and Hommel, G., 1993. Performability modeling of an automated manufacturing system with deterministic and stochastic Petri nets.Proc. IEEE Int. Conf. Robotics and Automation. Atlanta, GA, pp. 576\u2013581.","DOI":"10.1109\/ROBOT.1993.291843"},{"key":"BF01439851_CR17","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1109\/TC.1980.1675654","volume":"29","author":"J.F. Meyer","year":"1980","unstructured":"Meyer, J.F. 1980. On evaluating the performability of degradable computing systems.IEEE Trans. Comput., 29, pp. 720\u2013731.","journal-title":"IEEE Trans. Comput."},{"key":"BF01439851_CR18","unstructured":"Meyer, J.F., Movaghar, A., and Sanders, W.H. 1985. Stochastic activity networks: structure, behavior and application.Proc. 1st Int. Workshop Timed Petri Nets Torino, Italy, pp. 106\u2013115."},{"key":"BF01439851_CR19","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T. 1989. Petri nets: properties, analysis and applications.proc. IEEE, 77, pp. 541\u2013580.","journal-title":"proc. IEEE"},{"key":"BF01439851_CR20","unstructured":"O'Reilly and Associates Inc. 1990.The Definition Guides to the X Window System, Vol. 5, X Toolkit Intrinsics Reference Manual."},{"key":"BF01439851_CR21","first-page":"216","volume-title":"Dependable Computing for Critical Applications","author":"W.H. Sanders","year":"1991","unstructured":"Sanders, W.H. and Meyer, J.F. 1991. A unified approach for specifying measures of performance, dependability, and performability. InDependable Computing for Critical Applications (A. Avizienis and J. Laprie, eds.). New York: Springer-Verlag, pp. 216\u2013237."}],"container-title":["Discrete Event Dynamic Systems: Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01439851.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01439851\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01439851","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T18:01:45Z","timestamp":1556820105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01439851"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,7]]},"references-count":21,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1993,7]]}},"alternative-id":["BF01439851"],"URL":"https:\/\/doi.org\/10.1007\/bf01439851","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,7]]}}}