{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:42:46Z","timestamp":1725489766059},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430674"},{"type":"electronic","value":"9783540455417"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45541-8_3","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T06:55:33Z","timestamp":1187247333000},"page":"54-78","source":"Crossref","is-referenced-by-count":5,"title":["Improving the Usability of Petri Nets with the \u226bPetri Net Baukasten\u226a"],"prefix":"10.1007","author":[{"given":"Herbert","family":"Weber","sequence":"first","affiliation":[]},{"given":"Sabine","family":"Lembke","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Borusan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"3_CR1","volume-title":"Informatik-Bericht 129","author":"A. Battke","year":"1999","unstructured":"A. Battke, A. Borusan, J. Dehnert, H. Ehrig, C. Ermel, M. Gajewsky, K. Hoffmann, B. Hohberg, G. Juh\u00e1s, S. Lembke, A. Martens, J. Padberg, W. Reisig, T. Vesper, H. Weber, and M. Weber. Initial realization of the \u226bPetri Net Baukasten\u226a. Informatik-Bericht 129, Humboldt-Universit\u00e4t zu Berlin, Berlin, Germany, 1999. DFG-Forschergruppe Petri Net Technology."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"C. Ermel and M. Weber. Implementation of Parameterized Net Classes with the Petri Net Kernel. In G. Rozenberg, H. Ehrig, J. Padberg, and G. Juh\u00e1s, editors, Unifying Petri Nets, Advances in Petri Nets. Springer, 2001. To appear.","DOI":"10.1007\/3-540-45541-8_4"},{"key":"3_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Unifying Petri Nets, Advances in Petri Nets","author":"M. Gajewsky","year":"2001","unstructured":"M. Gajewsky and H. Ehrig. The \u226bPetri Net Baukasten\u226a: An Overview. In G. Rozenberg, H. Ehrig, J. Padberg, and G. Juh\u00e1s, editors, Unifying Petri Nets, Advances in Petri Nets. Springer, LNCS, 2001. To appear."},{"key":"3_CR4","unstructured":"Wolf Garbe. Petri net tool survey, jun 1999. \n                    http:\/\/home.arcor-online.de\/wolf.garbe\/petrisoft.html\n                    \n                  ; last visited: 26\/11\/2000."},{"key":"3_CR5","unstructured":"Ivor Horton. Beginning Java 2. Wrox Press, 1999."},{"key":"3_CR6","volume-title":"Workflow-Management-Entwicklung von Anwendungen und Systemen-Facetten einer neuen Technologie","year":"1997","unstructured":"Stefan Jablonski, Markus B\u00f6hm, and Wolfgang Schulze, editors. Workflow-Management-Entwicklung von Anwendungen und Systemen-Facetten einer neuen Technologie. dpunkt Verlag, Heidelberg, 1. edition, 1997.","edition":"1. edition"},{"key":"3_CR7","unstructured":"Merriam Webster\u2019s Collegiate Dictionary. Online-Version \n                    http:\/\/www.m-w.com\/\n                    \n                  ."},{"key":"3_CR8","unstructured":"Object Management Group (OMG), \n                    http:\/\/www.omg.org\/\n                    \n                  . Unified Modeling Language Specification-Version 1.3, March 2000."},{"key":"3_CR9","unstructured":"Carl Adam Petri. Kommunikation mit Automaten. PhD thesis, Universit\u00e4t Bonn, 1962. Schriften des Instituts f\u00fcr Instrumentelle Mathematik."},{"key":"3_CR10","unstructured":"Rational Software Corporation (\n                    http:\/\/www.rational.com\n                    \n                  ). Rational Rose. Supports Visual Modeling with the Unified Modeling Language."},{"key":"3_CR11","unstructured":"Dietmar Wikarski. Petri net tools\u2014a comparative study. Forschungsberichte des Fachbereichs Informatik 97-4, Technische Universit\u00e4t Berlin, 1997."},{"key":"3_CR12","unstructured":"World of Petri Net. World Wide Web, 2000. \n                    http:\/\/www.daimi.au.dk\/PetriNets\/\n                    \n                  ; last visited: 01\/10\/2000."},{"key":"3_CR13","unstructured":"Workflow Management Coalition, \n                    http:\/\/www.wfmc.org\/\n                    \n                  . The Workflow Reference Model, WFMC-TC-1003, Version 1.1, Jan. 1995."}],"container-title":["Lecture Notes in Computer Science","Unifying Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45541-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T19:00:48Z","timestamp":1550775648000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45541-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430674","9783540455417"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45541-8_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}