{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:54:36Z","timestamp":1725576876243},"publisher-location":"Berlin, Heidelberg","reference-count":25,"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_1","type":"book-chapter","created":{"date-parts":[[2011,1,27]],"date-time":"2011-01-27T09:15:31Z","timestamp":1296119731000},"page":"1-21","source":"Crossref","is-referenced-by-count":2,"title":["The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY"],"prefix":"10.1007","author":[{"given":"H.","family":"Weber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Ehrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Reisig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Borusan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Lembke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Dehnert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Martens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Padberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Ermel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Qemali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"van der Aalst, W.M.P., van Hee, K.M., Houben, G.J.: Modelling workflow management systems with high-level Petri nets. In: De Michelis, G., Ellis, C., Memmi, G. (eds.) Petri nets and related formalism, second Workshop on Computer-Supported Cooperative Work, pp. 31\u201350 (1994)"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1008656726700","volume":"10","author":"N.R. Adam","year":"1998","unstructured":"Adam, N.R., Atluri, V., Huang, W.-K.: Modeling and analysis of workflows using Petri nets. Journal of Intelligent Information Systems\u00a010, 131\u2013158 (1998)","journal-title":"Journal of Intelligent Information Systems"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Braatz, B., Ehrig, H., Urbasek, M.: Petri Net Transformation in the Petri Net Baukasten. In: Ehrig et al. [10] (to appear)","DOI":"10.1007\/978-3-540-40022-6_3"},{"key":"1_CR4","unstructured":"Dehnert, J.: The Common Base of the Petri Net Baukasten. In: Weber et al. [18], pp. 211\u2013229"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Dehnert, J.: Four Steps Towards Sound Process Models. In: Ehrig et al. [10] (to appear)","DOI":"10.1007\/978-3-540-40022-6_4"},{"key":"1_CR6","unstructured":"Dehnert, J., Freiheit, A., Zimmermann, A.: Workflow Modeling and Performance Evaluation with Colored Stochastic Petri Nets. In: Bringing Knowledge to Business Processes, Workshop in the American Association for Artificial Intelligence (AAAI) Spring Symposium Series 2000 (2000) (accepted as poster)"},{"key":"1_CR7","unstructured":"DFG-Forschergruppe Petri Net Technology. Initial realization of the \u226bPetri Net Baukasten\u226a. Informatik-Berichte 129, Humboldt-Universit\u00e4t zu Berlin (October 1999)"},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1142\/9789812814951_0006","volume-title":"Number 3: Concurrency, Parallelism, and Distribution in Handbook of Graph Grammars and Computing by Graph Transformations","author":"H. Ehrig","year":"1999","unstructured":"Ehrig, H., Gajewsky, M., Parisi-Presicce, F.: High-Level Replacement Systems with Applications to Algebraic Specifications and Petri Nets. In: Number 3: Concurrency, Parallelism, and Distribution in Handbook of Graph Grammars and Computing by Graph Transformations, ch. 6, pp. 341\u2013400. World Scientific, Singapore (1999)"},{"key":"1_CR9","unstructured":"Ehrig, H., Juh\u00e1s, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02128, Springer, Heidelberg (2001)"},{"key":"1_CR10","series-title":"LNCS","volume-title":"Advances in Petri Nets: Petri Net Technologies for Modeling Communication Based Systems","year":"2002","unstructured":"Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.): Advances in Petri Nets: Petri Net Technologies for Modeling Communication Based Systems. LNCS. Springer, Heidelberg (2002) (to appear)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Ermel, C., Bardohl, R., Ehrig, H.: Generation of Animation Views for Petri Nets in GENGED. In: Ehrig et al. [10] (to appear)","DOI":"10.1007\/978-3-540-40022-6_5"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/3-540-45541-8_4","volume-title":"Unifying Petri Nets","author":"C. Ermel","year":"2001","unstructured":"Ermel, C., Weber, M.: Implementation of Parametrized Net Classes with the Petri Net Kernel of the Petri Net Baukasten. In: Ehrig, H., Juh\u00e1s, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02128, p. 79. Springer, Heidelberg (2001)"},{"key":"1_CR13","first-page":"222","volume-title":"CON 1994: Workflow Management - Challenges, Paradigms and Products","author":"A. Ferscha","year":"1994","unstructured":"Ferscha, A.: Qualitative and quantitative analysis of business workflows using generalized stochastic petri net. In: Chroust, G., Benczu, A. (eds.) CON 1994: Workflow Management - Challenges, Paradigms and Products, pp. 222\u2013234. Oldenbourg Verlag, Munchen (1994)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Heckel, R.: Open Petri Nets as Semantic Model for Workflow Integration. In: Ehrig et al. [10] (to appear)","DOI":"10.1007\/978-3-540-40022-6_14"},{"key":"1_CR15","unstructured":"Lembke, S.: The Application Developer View of the Petri Net Baukasten. In: Weber et al. [18], pp. 231\u2013241"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Padberg, J., Urbasek, M.: Rule-Based Refinement of Petri Nets: A Survey. In: Ehrig et al. [10] (to appear)","DOI":"10.1007\/978-3-540-40022-6_9"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Parisi-Presicce, F.: A Formal Framework for Petri Net Class Transformations. In: Ehrig et al. [10] (to appear)","DOI":"10.1007\/978-3-540-40022-6_20"},{"key":"1_CR18","unstructured":"Weber, H. Ehrig, H. Reisig, W. (eds.): Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Part II: The \u226bPetri Net Baukasten\u226a. Fraunhofer Gesellschaft ISST (October 1999)"},{"key":"1_CR19","unstructured":"Weber, H., Ehrig, H., Reisig, W. (eds.): 2nd Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Research Group \u226bPetri Net Technology\u226a, Fraunhofer Gesellschaft ISST, Berlin, Germany (2001)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Weber, H., Kindler, E.: The Petri Net Kernel. In: Ehrig et al. [10] (to appear)","DOI":"10.1007\/978-3-540-40022-6_6"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Weber, H., Kindler, E.: The Petri Net Markup Language. In: Ehrig et al. [10] (to appear)","DOI":"10.1007\/978-3-540-40022-6_7"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/3-540-45541-8_3","volume-title":"Unifying Petri Nets","author":"H. Weber","year":"2001","unstructured":"Weber, H., Lembke, S., Borusan, A.: Improving the Usability of Petri Nets with the \u226bPetri Net Baukasten\u226a. In: Ehrig, H., Juh\u00e1s, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02128, p. 54. Springer, Heidelberg (2001) (to appear)"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Weber, H., Lembke, S., Borusan, A.: Improving the Usability of Petri Nets with the Petri Net Baukasten. In: Ehrig et al. [9], pp. 54\u201378","DOI":"10.1007\/3-540-45541-8_3"},{"key":"1_CR24","unstructured":"Weber, M.: The Tool Developer View of the Petri Net Baukasten. In: Weber et al. [18], pp. 267\u2013277"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Wermelinger, M.: Specification of Software Architecture Reconfiguration. PhD thesis, Universidade Nova de Lisboa (1999)","DOI":"10.1145\/318774.319256"}],"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_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T22:14:16Z","timestamp":1592259256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40022-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205388","9783540400226"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40022-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}