{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T09:28:58Z","timestamp":1769851738945,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540263012","type":"print"},{"value":"9783540315599","type":"electronic"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11494744_27","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T02:31:09Z","timestamp":1279074669000},"page":"465-474","source":"Crossref","is-referenced-by-count":10,"title":["Protos 7.0: Simulation Made Accessible"],"prefix":"10.1007","author":[{"given":"Eric","family":"Verbeek","sequence":"first","affiliation":[]},{"given":"Maarte","family":"van Hattem","sequence":"additional","affiliation":[]},{"given":"Hajo","family":"Reijers","sequence":"additional","affiliation":[]},{"given":"Wendy","family":"de Munk","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/3-540-44988-4_26","volume-title":"Application and Theory of Petri Nets 2000","author":"W.M.P. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P., de Crom, P., Goverde, R., van Hee, K.M., Hofman, W., Reijers, H., van der Toorn, R.A.: ExSpect 6.4: An executable specification tool for hierarchical colored Petri nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 455\u2013464. Springer, Heidelberg (2000)"},{"key":"27_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44895-0_1","volume-title":"Business Process Management","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business process management: A survey. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 1\u201312. Springer, Heidelberg (2003)"},{"key":"27_CR3","unstructured":"Altova. XMLSpy online manual: Content model view (last visited on November 2, 2004), \n                    \n                      http:\/\/link.xmlspy.com\/manual2005\/xmlspy\/spyprofessional\/contentmodelview.htm"},{"key":"27_CR4","unstructured":"Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E.: eXtensible Markup Language (XML) 1.0, 2nd edn. (2000), \n                    \n                      http:\/\/www.w3.org\/TR\/REC-xml"},{"key":"27_CR5","unstructured":"Clark, J.: XSL Transformations (XSLT) version 1.0 (1999), \n                    \n                      http:\/\/www.w3.org\/TR\/1999\/REC-xslt-19991116"},{"key":"27_CR6","unstructured":"Fallside, D.C., Walmsley, P.: XML Schema part 0, primer, 2nd edn. (2004), \n                    \n                      http:\/\/www.w3.org\/TR\/2004\/REC-xmlschema-0-20041028"},{"key":"27_CR7","first-page":"139","volume-title":"Proceedings of the IFIP TC 8 \/ WG 8.1 Working Conference on Information System Concepts: An In-depth Analysis","author":"K.M. Hee van","year":"1989","unstructured":"van Hee, K.M., Somers, L.J., Voorhoeve, M.: Executable specifications for distributed information systems. In: Falkenberg, E.D., Lindgreen, P. (eds.) Proceedings of the IFIP TC 8 \/ WG 8.1 Working Conference on Information System Concepts: An In-depth Analysis, Namur, Belgium, pp. 139\u2013156. Elsevier Science Publishers, Amsterdam (1989)"},{"key":"27_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45594-9_1","volume-title":"Business Process Management","author":"G.K. Janssens","year":"2000","unstructured":"Janssens, G.K., Verelst, J., Weyn, B.: Techniques for modeling workflows and their support of reuse. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 1\u201315. Springer, Heidelberg (2000)"},{"key":"27_CR9","unstructured":"Moder, J.J., Phlips, C.R.: Project Management with CPM and PERT, 2nd edn., Van Nostrand Reinhold, New York (1970)"},{"key":"27_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/3-540-44919-1_28","volume-title":"Applications and Theory of Petri Nets 2003","author":"A.V. Ratzer","year":"2003","unstructured":"Ratzer, A.V., Wells, L., Lassen, H.M., Laursen, M., Qvortrup, J.F., Stissing, M.S., Westergaard, M., Christensen, S., Jensen, K.: CPN tools for editing, simulating, and analysing coloured Petri nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 450\u2013462. Springer, Heidelberg (2003)"},{"key":"27_CR11","volume-title":"Workflow Modeling: Tools for Process Improvement and Application Development","author":"A. Sharp","year":"2001","unstructured":"Sharp, A., McDermott, P.: Workflow Modeling: Tools for Process Improvement and Application Development. Artech House Publishers, Boston (2001)"},{"issue":"4","key":"27_CR12","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1093\/comjnl\/44.4.246","volume":"44","author":"H.M.W. Verbeek","year":"2001","unstructured":"Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnozing workflow processes using Woflan. The Computer Journal\u00a044(4), 246\u2013279 (2001)","journal-title":"The Computer Journal"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2005"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494744_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:03:52Z","timestamp":1558296232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494744_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540263012","9783540315599"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11494744_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}