{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T06:57:30Z","timestamp":1758265050042,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403180"},{"type":"electronic","value":"9783540448952"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44895-0_26","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T05:06:27Z","timestamp":1186895187000},"page":"380-389","source":"Crossref","is-referenced-by-count":17,"title":["Modelling and Validation with VipTool"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Desel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Juh\u00e1s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Lorenz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Neumair","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"26_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Business Process Management","year":"2000","unstructured":"W.M.P. van der Aalst, J. Desel and A. Oberweis (Eds.). Business Process Management. Springer, LNCS 1806, 2000."},{"key":"26_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management, Models Methods. and Systems","author":"W.M.P. Aalst van der","year":"2002","unstructured":"W.M.P. van der Aalst and K. van Hee. Workflow Management, Models Methods. and Systems. The MIT Press, Cambridge, Massachusetts, 2002."},{"key":"26_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/3-540-45594-9_8","volume-title":"Business Process Management","author":"J. Desel","year":"2000","unstructured":"J. Desel. Validation of Process Models by Construction of Process Nets. In J. Desel and A. Oberweis (Eds.). Business Process Management. Springer, LNCS 1806, 2000 [1], pp. 110\u2013128."},{"key":"26_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/3-540-48068-4_2","volume-title":"Proc. of ICATPN 2002","author":"J. Desel","year":"2002","unstructured":"J. Desel. Model Validation \u2014 A Theoretical Issue? In J. Esparza, C. Lakos (Eds.). Proc. of ICATPN 2002, LNCS 2360, Springer 2002, pp. 23\u201343."},{"issue":"5","key":"26_CR5","first-page":"291","volume":"15","author":"J. Desel","year":"2000","unstructured":"J. Desel and T. Erwin. Hybrid specifications: looking at workflows from a run-time perspective. International Journal of Computer System Science & Engineering, 15 Nr. 5, pp. 291\u2013302 (2000).","journal-title":"International Journal of Computer System Science & Engineering"},{"key":"26_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/3-540-61042-1_40","volume-title":"Proceedings of Tools and Algorithms for the Construction and Analysis of Systems, TACAS\u2019 96","author":"J. Esparza","year":"1996","unstructured":"J. Esparza, S. R\u00f6mer and W. Vogler: An Improvement of McMillan\u2019s Unfolding Algorithm. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems, TACAS\u2019 96, LNCS 1055, pp. 87\u2013106. Berlin, Heidelberg, New York: Springer (1996)."},{"key":"26_CR7","unstructured":"T. Freytag. Softwarevaliedierung durch Auswertung von Petrinetz-Abl\u00e4ufen. Dissertation, University of Karlsruhe 2001."},{"key":"26_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/3-540-45594-9_24","volume-title":"Business Process Management","author":"A.-W. Scheer","year":"2000","unstructured":"A.-W. Scheer and M. N\u00fcttgens. ARIS Architecture and Reference Models for Business Process Management. In J. Desel and A. Oberweis (Eds.). Business Process Management. Springer, LNCS 1806, 2000 [1] pp. 376\u2013390."},{"key":"26_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Petri Net Technology for Communication Based Systems","author":"M. Weber","year":"2003","unstructured":"M. Weber, E. Kindler. The Petri Net Markup Language. To appear in H. Ehrig, W. Reisig, G. Rozenberg, H. Weber (Eds.). Petri Net Technology for Communication Based Systems. LNCS 2472, Springer 2003."}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44895-0_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T08:39:20Z","timestamp":1737362360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44895-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403180","9783540448952"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-44895-0_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}