{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:57:35Z","timestamp":1743127055419,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642003271"},{"type":"electronic","value":"9783642003288"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00328-8_35","type":"book-chapter","created":{"date-parts":[[2009,6,6]],"date-time":"2009-06-06T05:17:14Z","timestamp":1244265434000},"page":"348-360","source":"Crossref","is-referenced-by-count":3,"title":["Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages"],"prefix":"10.1007","author":[{"given":"Mar\u00eda Adela","family":"Grando","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David W.","family":"Glasspool","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Fox","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","unstructured":"Agostini, A., De Michelis, G., Petruni, K.: Keeping Workflow Models as Simple as Possible. In: Proceeding of the workshop on CSCW, Petri Nets and related formalism, pp. 11\u201329 (1994)"},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"Chen, B., Avrunin, G.S., Henneman, E.A., Clarke, L.A., Osterweil, L.J., Henneman, P.L.: Analyzing medical processes. In: ICSE 2008: Proceedings of the 30th international conference on Software engineering, pp. 623\u2013632 (2008)","DOI":"10.1145\/1368088.1368175"},{"key":"35_CR3","unstructured":"Edinburgh Concurrency Workbench, \n                    \n                      http:\/\/homepages.inf.ed.ac.uk\/perdita\/cwb\/\/"},{"key":"35_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-56863-8_36","volume-title":"Application and Theory of Petri Nets 1993","author":"C.A. Ellis","year":"1993","unstructured":"Ellis, C.A., Nutt, G.J.: Modelling and Enactment of Workflow Systems. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 1\u201316. Springer, Heidelberg (1993)"},{"key":"35_CR5","doi-asserted-by":"publisher","first-page":"1223","DOI":"10.1001\/jama.293.10.1223","volume":"293","author":"A.X. Garg","year":"2005","unstructured":"Garg, A.X., Adhikari, N.K.J., McDonald, H.: Effects of computerized clinical decision support systems on practitioner performance and patient outcomes: a systematic review. JAMIA\u00a0293, 1223\u20131238 (2005)","journal-title":"JAMIA"},{"key":"35_CR6","doi-asserted-by":"publisher","first-page":"1317","DOI":"10.1016\/0140-6736(93)92244-N","volume":"342","author":"J.M. Grimshaw","year":"1993","unstructured":"Grimshaw, J.M., Russel, I.T.: Effect of clinical guidelines on medical practice: A systematic review of rigorous evaluations. Lancet\u00a0342, 1317\u20131322 (1993)","journal-title":"Lancet"},{"key":"35_CR7","volume-title":"Communicating and Mobile Systems: the Pi-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge Univ. Press, Cambridge (1999)"},{"issue":"6","key":"35_CR8","first-page":"781","volume":"14","author":"N. Mulyar","year":"2007","unstructured":"Mulyar, N., van der Aalst, W.M.P., Peleg, M.: A pattern-based analysis of clinical computer-interpretable guideline modeling languages. JAMIA\u00a014(6), 781\u2013787 (2007)","journal-title":"JAMIA"},{"key":"35_CR9","unstructured":"Petri, C.A.: Kommunikation mit Automaten, Bonn: Institut f\u00fcr Instrumentelle Mathematik, Schriften des IIM Nr. 2 (1962)"},{"issue":"1","key":"35_CR10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0933-3657(00)00050-6","volume":"20","author":"S. Quaglini","year":"2000","unstructured":"Quaglini, S., Stefanelli, M., Cavallini, A., Micieli, G., Fassino, C., Mossa, C.: Guideline-based careflow systems. Artif. Intell. Med.\u00a020(1), 5\u201322 (2000)","journal-title":"Artif. Intell. Med."},{"key":"35_CR11","unstructured":"Russell, N., ter Hofstede, A.H.M., van der Aalst, W.M.P., Mulyar, N.: Workflow Control-Flow Patterns: A Revised View, BPM Center Report BPM-06-22 (2006)"},{"issue":"5","key":"35_CR12","first-page":"433","volume":"10","author":"D.R. Sutton","year":"2003","unstructured":"Sutton, D.R., Fox, J.: The Syntax and Semantics of the PROforma guideline modelling language. JAMIA\u00a010(5), 433\u2013443 (2003)","journal-title":"JAMIA"},{"issue":"3","key":"35_CR13","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/j.artmed.2005.10.006","volume":"36","author":"A. Teije ten","year":"2006","unstructured":"ten Teije, A., Marcos, M., Balser, M., van Croonenborg, J., Duelli, C., van Harmelen, F., Lucas, P., Miksch, S., Reif, W., Rosenbrand, K., Seyfang, A.: Improving medical protocols by formal methods. Artificial Intell. in Medicine\u00a036(3), 193\u2013209 (2006)","journal-title":"Artificial Intell. in Medicine"},{"key":"35_CR14","unstructured":"van der Aalst, W.M.P., van Hee, K.M., Houben, G.J.: Modelling and analysing workflow using Petri Net based approach. In: Proceedings of Second Workshop on Computer-suppported Cooperative work, Petri nets related formalisms, pp. 31\u201350 (1994)"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00328-8_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T18:43:39Z","timestamp":1558377819000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00328-8_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642003271","9783642003288"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00328-8_35","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}