{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:50:31Z","timestamp":1725565831126},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540225119"},{"type":"electronic","value":"9783540278344"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27834-4_12","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T22:35:05Z","timestamp":1284590105000},"page":"93-97","source":"Crossref","is-referenced-by-count":4,"title":["A Proposal for Petri Net Based Web Service Application Modeling"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Moldt","sequence":"first","affiliation":[]},{"given":"Sven","family":"Offermann","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Ortmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: Workflow pattern homepage. Technical report (2003), http:\/\/tmitwww.tm.tue.nl\/research\/patterns\/"},{"key":"12_CR2","volume-title":"Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications","author":"C. Girault","year":"2003","unstructured":"Girault, C., Valk, R.: Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)"},{"key":"12_CR3","unstructured":"Jacob, T.: Implementierung einer sicheren und rollenbasierten Workflow-Management-Komponente f\u00fcr ein Petrinetzwerkzeug. Diplomarbeit, Universit\u00e4t Hamburg, Fachbereich Informatik (2002)"},{"key":"12_CR4","series-title":"Informatik Fachberichte","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/978-3-642-69028-0_12","volume-title":"Applications and Theory of Petri Nets","author":"K. Jensen","year":"1983","unstructured":"Jensen, K.: High Level Petri Nets. In: Pagoni, A., Rozenberg, G. (eds.) Applications and Theory of Petri Nets. Informatik Fachberichte, vol.\u00a066, pp. 166\u2013180. Springer, Berlin (1983)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/3-540-45740-2_14","volume-title":"Applications and Theory of Petri Nets 2001","author":"M. K\u00f6hler","year":"2001","unstructured":"K\u00f6hler, M., Moldt, D., R\u00f6lke, H.: Modelling the structure and behaviour of Petri net agents. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 224\u2013242. Springer, Heidelberg (2001)"},{"key":"#cr-split#-12_CR6.1","doi-asserted-by":"crossref","unstructured":"Moldt, D., Ortmann, J.: DaGen: A Tool for Automatic Translation from DAML-S to High-level Petri Nets (2004);","DOI":"10.1007\/978-3-540-24721-0_15"},{"key":"#cr-split#-12_CR6.2","unstructured":"To appear, excepted as tool paper to FASE 2004 (2004)"},{"key":"12_CR7","unstructured":"Object Management Group. UML resource page. Technical report (2004)"},{"key":"12_CR8","unstructured":"Offermann, S.: Ein Referenz-Netz-basiertes Modell zur dynamischen Komposition von Web Services. Master\u2019s thesis, Universit\u00e4t Hamburg, Fachbereich Informatik (2003)"},{"key":"12_CR9","unstructured":"Renew \u2013 the reference net workshop. Reference to the program, the source code and the documentation of the Renew simulator, http:\/\/www.renew.de\/"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-69108-1_1","volume-title":"Application and Theory of Petri Nets 1998","author":"R. Valk","year":"1998","unstructured":"Valk, R.: Petri nets as token objects - An introduction to elementary object nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 1\u201325. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Web Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27834-4_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:23:25Z","timestamp":1605759805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27834-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540225119","9783540278344"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27834-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}