{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:19:34Z","timestamp":1725484774676},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540435396"},{"type":"electronic","value":"9783540460299"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46029-2_3","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T01:26:30Z","timestamp":1180661190000},"page":"51-70","source":"Crossref","is-referenced-by-count":10,"title":["The ProC\/BToolset for the Modelling and Analysis of Process Chains"],"prefix":"10.1007","author":[{"given":"F.","family":"Bause","sequence":"first","affiliation":[]},{"given":"H.","family":"Beilner","sequence":"additional","affiliation":[]},{"given":"M.","family":"Fischer","sequence":"additional","affiliation":[]},{"given":"P.","family":"Kemper","sequence":"additional","affiliation":[]},{"given":"M.","family":"V\u00f6lker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,10]]},"reference":[{"unstructured":"M. Ajmone Marsan G. Balbo G. Conte, S. Donatelli, and G. Franceschinis. Modelling with generalized stochastic Petri nets. Wiley, 1995.","key":"3_CR1"},{"key":"3_CR2","first-page":"1148","volume":"51","author":"A. Arantes","year":"2000","unstructured":"A. Arantes, C. Fernandes, A.P. Guedes, and I. Themido. Logistic costs case study-an ABC approach. J. of the Operational Research Society, Vol. 51, pp. 1148\u20131157, 2000","journal-title":"J. of the Operational Research Society"},{"issue":"2","key":"3_CR3","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1145\/321879.321887","volume":"22","author":"F. Baskett","year":"1975","unstructured":"F. Baskett, K. Chandy, R. Muntz, and F. Palacios. Open, closed and mixed networks of queues with different classes of customers. J. of the ACM, 22(2):248\u2013260, 1975.","journal-title":"J. of the ACM"},{"unstructured":"F. Bause, H. Beilner. Intrinsic Problems in Simulation of Logistic Networks. 11th European Simulation Symposium and Exhibition (ESS\u201999), Simulation in Industry, Erlangen, October 26\u201328, pp. 193\u2013198, 1999.","key":"3_CR4"},{"doi-asserted-by":"crossref","unstructured":"H. Beilner, J. M\u00e4ter, N. Wei\\enberg. Towards a performance modelling environment: News on HIT In: Modeling techniques and tools for computer performance evaluation Editors: R. Puigjaner, D. Potier, pp. 57\u201375, 1989.","key":"3_CR5","DOI":"10.1007\/978-1-4613-0533-0_5"},{"unstructured":"H. Beilner, J. M\u00e4ter, C. Wysocki. The Hierarchical Evaluation Tool HIT In: Short Papers and Tool Descriptions of the 7th InternationalConference on Modelling Techniques and Tools for Computer Performance Evaluation, 1994.","key":"3_CR6"},{"doi-asserted-by":"crossref","unstructured":"G. Bolch, S. Greiner, H. de Meer, S. Trivedi. Queueing Networks and Markov Chains. J. Wiley & Sons, 1998.","key":"3_CR7","DOI":"10.1002\/0471200581"},{"unstructured":"P. Buchholz, M. Fischer, P. Kemper, and C. Tepper. New features in the APNN toolbox. In P. Kemper (ed), Tools of Aachen 2001 Int. Multiconference on Measurement, Modeling and Evaluation of Computer-Communication Systems, pp. 62\u201368. Universit\u00e4t Dortmund, Fachbereich Informatik, Forschungsbericht Nr. 760, 2001.","key":"3_CR8"},{"unstructured":"P. Buchholz, J.P. Katoen, P. Kemper, and C. Tepper. Model-checking large structured Markov-chains. submitted for publication, 2001.","key":"3_CR9"},{"unstructured":"C. Cassandras. Discrete Event Systems: modelling and performance analysis. Irwin, Aksen, 1993.","key":"3_CR10"},{"doi-asserted-by":"crossref","unstructured":"G. Ciardo and A. Miner. SMART: Simulation and Markovian analyzer for reliability and timing. In: Proc. of IEEE Int. Computer Performance and Dependability Symposium. IEEE CS-Press, 1996.","key":"3_CR11","DOI":"10.1109\/IPDS.1996.540204"},{"doi-asserted-by":"crossref","unstructured":"S. Donatelli. Superposed Generalized Stochastic Petri nets: definition and efficient solution. In Proc. 15th int. Conf. Application and Theory of Petri nets, Springer, 1994.","key":"3_CR12","DOI":"10.1007\/3-540-58152-9_15"},{"key":"3_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/3-540-61363-3_8","volume-title":"Application and Theory of Petri Nets 1996","author":"S. Donatelli","year":"1996","unstructured":"S. Donatelli and G. Franceschinis The PSR methodology: integrating hardware and software models. In Billington, J. and Reisig, W. (eds.), Application and Theory of Petri Nets 1996, Springer, LNCS 1091, pp. 133\u2013152, 1996."},{"key":"3_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BFb0024319","volume-title":"Quantitative Evaluation of Computing and Communication Systems","author":"B.R. Haverkort","year":"1995","unstructured":"B.R. Haverkort. Approximate Analysis of Networks of PH\/PH\/1\/K Queues: Theory & Tool Support. In: Quantitative Evaluation of Computing and Communication Systems, Editors: H. Beilner, F. Bause, LNCS 977, Springer, pp. 239\u2013253, 1995."},{"issue":"9","key":"3_CR15","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1109\/32.541433","volume":"22","author":"P. Kemper","year":"1996","unstructured":"P. Kemper. Numerical analysis of superposed GSPNs. IEEE Transactions on Software Engineering, 22(9):615\u2013628, 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"unstructured":"T. K\u00f6pp. Visualization of performance and cost measures for logistic systems derived from process chain paradigms. Master\u2019s thesis, Dept. of Computer Science, University of Dortmund, 2001.","key":"3_CR16"},{"key":"3_CR17","volume-title":"Prozessketten in der Logistik \u2014 Entwicklungstrends und Umsetzungsstrategien","author":"A. Kuhn","year":"1995","unstructured":"A. Kuhn. Prozessketten in der Logistik \u2014 Entwicklungstrends und Umsetzungsstrategien. Verlag Praxiswissen, Dortmund 1995."},{"key":"3_CR18","volume-title":"Prozesskettenmanagement \u2014 Erfolgsbeispiele aus der Praxis","author":"A. Kuhn","year":"1999","unstructured":"A. Kuhn. Prozesskettenmanagement \u2014 Erfolgsbeispiele aus der Praxis. Verlag Praxiswissen, Dortmund 1999."},{"issue":"2","key":"3_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1108\/09574099810805807","volume":"9","author":"D.M. Lambert","year":"1998","unstructured":"D.M. Lambert, M.C. Cooper, and J.D. Pagh. Supply Chain Management: Implementation Issues and Research Opportunities. Int. J. of Logistic Management, 9(2), pp. 1\u201319, 1998.","journal-title":"Int. J. of Logistic Management"},{"doi-asserted-by":"crossref","unstructured":"A.W. Scheer. ARIS-Modellierungsmethoden. Springer, 1998.","key":"3_CR20","DOI":"10.1007\/978-3-642-97731-2"},{"unstructured":"Supply-Chain Operations Reference Model, SCOR version 4.0, 2000.","key":"3_CR21"},{"unstructured":"Collaborative Research Center 559 \u201cModelling of Large Logistics Networks\u201d. http:\/\/www.sfb559.uni-dortmund.de\/eng\/index.htm","key":"3_CR22"},{"doi-asserted-by":"crossref","unstructured":"W. J. Stewart. Introduction to the numerical solution of Markov chains. Princeton University Press, 1994.","key":"3_CR23","DOI":"10.1515\/9780691223384"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation: Modelling Techniques and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46029-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T23:50:25Z","timestamp":1683849025000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46029-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540435396","9783540460299"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-46029-2_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}