{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:05:30Z","timestamp":1725465930233},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540242741"},{"type":"electronic","value":"9783540276791"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/3-540-27679-3_16","type":"book-chapter","created":{"date-parts":[[2005,12,31]],"date-time":"2005-12-31T00:44:25Z","timestamp":1135989865000},"page":"127-135","source":"Crossref","is-referenced-by-count":1,"title":["Functional Analysis of Process-Oriented Systems"],"prefix":"10.1007","author":[{"given":"Peter","family":"Buchholz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carsten","family":"Tepper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"F. Bause, H. Beilner, M. Fischer, P. Kemper, and M. V\u00f6lker. The Proc\/B Toolset for the Modelling and Analysis of Process Chains. In T. Field, P. G. Harrison, J. Bradley, U. Harder (eds.) Computer Performance Evaluation Modelling Techniques and Tools (Proc. Performance TOOLS 2002), Springer, LNCS 2324:51\u201370, 2002.","DOI":"10.1007\/3-540-46029-2_3"},{"key":"16_CR2","unstructured":"P. Buchholz, M. Fischer, P. Kemper, and C. Tepper. Modeling checking of CTMCs and Discrete Event Simulation integrated into the APNN Toolbox. In F. Bause (ed): Tools of the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems, 2003."},{"issue":"3","key":"16_CR3","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1023\/A:1015669415634","volume":"12","author":"P. Buchholz","year":"2002","unstructured":"P. Buchholz and P. Kemper. Efficient computation and representation of large reachability sets for composed automata. Discrete Event Dynamic Systems Theory and Applications 12(3), pages 265\u2013286, 2002.","journal-title":"Discrete Event Dynamic Systems Theory and Applications"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"S. Donatelli and J. Franceschinis. The PSR Methodology: Integrating hardware and software models, in: J. Billington and W. Reisig (Ed.) Application and Theory of Petri Nets 1996, Springer, LNCS 1091:133\u2013152, 1996.","DOI":"10.1007\/3-540-61363-3_8"},{"key":"16_CR5","volume-title":"Prozessketten in der Logistik, Entwicklungstrends und Umsetzungsstrategien","author":"A. Kuhn","year":"1995","unstructured":"A. Kuhn. Prozessketten in der Logistik, Entwicklungstrends und Umsetzungsstrategien (in German). Verlag Praxiswissen, Dortmund, 1995."},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata. Petri nets: properties, analysis and applications. Proc. of the IEEE 77 (1989), pages 541\u2013580.","journal-title":"Proc. of the IEEE"},{"issue":"1","key":"16_CR7","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W. M. P. Aalst van der","year":"1998","unstructured":"W. M. P. van der Aalst. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computer 8(1), pages 21\u201366, 1998.","journal-title":"The Journal of Circuits, Systems and Computer"}],"container-title":["Operations Research Proceedings","Operations Research Proceedings 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-27679-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T21:49:00Z","timestamp":1586641740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-27679-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540242741","9783540276791"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-27679-3_16","relation":{},"ISSN":["0721-5924"],"issn-type":[{"type":"print","value":"0721-5924"}],"subject":[],"published":{"date-parts":[[2005]]}}}