{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:54:50Z","timestamp":1725576890428},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205388"},{"type":"electronic","value":"9783540400226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40022-6_8","type":"book-chapter","created":{"date-parts":[[2011,1,27]],"date-time":"2011-01-27T14:15:31Z","timestamp":1296137731000},"page":"145-160","source":"Crossref","is-referenced-by-count":0,"title":["Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets"],"prefix":"10.1007","author":[{"given":"Kathrin","family":"Hoffmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1142\/S021819409400012X","volume":"4","author":"W. Deiters","year":"1994","unstructured":"Deiters, W., Gruhn, V.: The FunSoft Net Approach to Software Process Management. International Journal on Software Engineering and Knowledge Engineering\u00a04(2), 229\u2013256 (1994)","journal-title":"International Journal on Software Engineering and Knowledge Engineering"},{"key":"8_CR2","series-title":"EATGS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATGS Monographs on Theoretical Computer Science, vol.\u00a06. Springer, Berlin (1985)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/3-540-57867-6_11","volume-title":"Recent Trends in Data Type Specification","author":"H. Ehrig","year":"1994","unstructured":"Ehrig, H., Padberg, J., Ribeiro, L.: Algebraic High-Level Nets: Petri Nets Revisited. In: Ehrig, H., Orejas, F. (eds.) Abstract Data Types 1992 and COMPASS 1992. LNCS, vol.\u00a0785, pp. 188\u2013206. Springer, Heidelberg (1994)"},{"key":"8_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-642-84524-6_1","volume-title":"High-Level Petri Nets: Theory and Application","author":"H.J. Genrich","year":"1991","unstructured":"Genrich, H.J.: Predicate\/Transition Nets. In: High-Level Petri Nets: Theory and Application, pp. 3\u201343. Springer, Heidelberg (1991)"},{"key":"8_CR5","unstructured":"Han, Y.: Software Infrastructure for Configurable Workflow System, - A Model-Driven Approach Based on Higher-Order Nets and CORBA. PhD thesis, Technical University of Berlin (1997)"},{"key":"8_CR6","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-94-015-9608-4_5","volume-title":"Communication-Based Systems, Proceedings of the 3rd International Workshop","author":"K. Hoffmann","year":"2000","unstructured":"Hoffmann, K.: Runtime Modifikation between Algebraic High Level Nets and Algebraic Higher Order Nets using Folding and Unfolding Construction. In: Hommel, G. (ed.) Communication-Based Systems, Proceedings of the 3rd International Workshop, TU, Berlin, pp. 55\u201372. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"8_CR7","unstructured":"Hoffmann, K., Schreiter, T.: Case study logistics using algebraic higher-order nets. Technical report, Technical University Berlin (2002)"},{"key":"8_CR8","series-title":"Basic Concepts, EATCS Monographs in Theoretical Computer Science edition","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts, EATCS Monographs in Theoretical Computer Science edition, vol.\u00a01. Springer, Heidelberg (1992)"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-540-44616-3_8","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"2000","unstructured":"Mossakowski, T., Haxthausen, A., Krieg-Bruckner, B.: Subsorted Partial Higher-Order Logic as an Extension of CASL. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol.\u00a01827, pp. 126\u2013145. Springer, Heidelberg (2000)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Montanari, U., Rossi, F.: Contextual nets. Acta Informatica\u00a032 (1995)","DOI":"10.1007\/BF01178907"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1017\/S0960129500000724","volume":"5","author":"J. Padberg","year":"1995","unstructured":"Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic High-Level Net Transformation Systems. Mathematical Structures in Computer Science\u00a05, 217\u2013256 (1995)","journal-title":"Mathematical Structures in Computer Science"},{"key":"8_CR12","volume-title":"Business Process Engineering, Reference Models for Industrial Enterprises","author":"A.-W. Scheer","year":"1994","unstructured":"Scheer, A.-W.: Business Process Engineering, Reference Models for Industrial Enterprises. Springer, Heidelberg (1994)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Valk, R.: Petri Nets as Token Objects: An Introduktion to Elementary Object Nets. In: Proc. of the International Conference on Application and Theory of Petri Nets (1998)","DOI":"10.1007\/3-540-69108-1_1"}],"container-title":["Lecture Notes in Computer Science","Petri Net Technology for Communication-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40022-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T04:53:55Z","timestamp":1559969635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40022-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205388","9783540400226"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40022-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}