{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:32:15Z","timestamp":1743114735773,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642029752"},{"type":"electronic","value":"9783642029769"}],"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-02976-9_8","type":"book-chapter","created":{"date-parts":[[2009,7,11]],"date-time":"2009-07-11T05:06:29Z","timestamp":1247288789000},"page":"61-70","source":"Crossref","is-referenced-by-count":11,"title":["Modeling Clinical Guidelines through Petri Nets"],"prefix":"10.1007","author":[{"given":"Marco","family":"Beccuti","sequence":"first","affiliation":[]},{"given":"Alessio","family":"Bottrighi","sequence":"additional","affiliation":[]},{"given":"Giuliana","family":"Franceschinis","sequence":"additional","affiliation":[]},{"given":"Stefania","family":"Montani","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Terenziani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"22","key":"8_CR1","first-page":"1","volume":"1","author":"D.B. Fridsma","year":"2001","unstructured":"Fridsma, D.B. (Guest ed.). Special issue on workflow management and clinical guidelines. Journal of the American Medical Informatics Association\u00a01(22), 1\u201380 (2001)","journal-title":"Journal of the American Medical Informatics Association"},{"volume-title":"Computer-based Medical Guidelines and Protocols: A Primer and Current Trends","year":"2008","unstructured":"ten Teije, A., Miksch, S., Lucas, P. (eds.): Computer-based Medical Guidelines and Protocols: A Primer and Current Trends. IOS Press, Amsterdam (2008)","key":"8_CR2"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1197\/jamia.M1264","volume":"10","author":"D.R. Sutton","year":"2003","unstructured":"Sutton, D.R., Fox, J.: The syntax and semantics of the PROforma guideline modeling language. Journal of the American Medical Informatics Association\u00a010, 433\u2013443 (2003)","journal-title":"Journal of the American Medical Informatics Association"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1197\/jamia.M1135","volume":"10","author":"M. Peleg","year":"2003","unstructured":"Peleg, M., et al.: Comparing models of decision and action for guideline-based decision support: a case-study approach. Journal of the American Medical Informatics Association\u00a010, 52\u201368 (2003)","journal-title":"Journal of the American Medical Informatics Association"},{"unstructured":"Balser, M., Duelli, C., Reif, W.: Formal semantics of asbru - an overview. In: Proc. IDPT (2002)","key":"8_CR5"},{"key":"8_CR6","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River (1981)"},{"key":"8_CR7","volume-title":"Computer-based medical guidelines and protocols: A primer and current trends","author":"P. Terenziani","year":"2008","unstructured":"Terenziani, P., Montani, S., Bottrighi, A., Molino, G., Torchio, M.: Applying artificial intelligence to clinical guidelines: the glare approach. In: TenTeije, A., Miksch, S., Lucas, P. (eds.) Computer-based medical guidelines and protocols: A primer and current trends. IOS Press, Amsterdam (2008)"},{"issue":"11","key":"8_CR8","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G. Chiola","year":"1993","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic Well-formed Coloured nets for symmetric modelling applications. IEEE Transactions on Computers\u00a042(11), 1343\u20131360 (1993)","journal-title":"IEEE Transactions on Computers"},{"doi-asserted-by":"crossref","unstructured":"Bernardi, S., Donatelli, S., Horvath, A.: Implementing compositionality for stochastic petri nets. International Journal on Software Tools for Technology Transfer\u00a03(4) (2001)","key":"8_CR9","DOI":"10.1007\/s100090100065"},{"issue":"4","key":"8_CR10","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/1530873.1530876","volume":"36","author":"S. Baarir","year":"2009","unstructured":"Baarir, S., Beccuti, M., Cerotti, D., De Pierro, M., Donatelli, S., Franceschinis, G.: The GreatSPN Tool: Recent Enhancements. ACM Performance Evaluation Review Spec. Issue on Tools for Perf. Eval.\u00a036(4), 4\u20139 (2009)","journal-title":"ACM Performance Evaluation Review Spec. Issue on Tools for Perf. Eval."},{"unstructured":"Parker, C.G., Rocha, R.A., Campbell, J.R., Tu, S.W., Huff, S.M.: Detailed clinical models for sharable, executable guidelines. In: Proc. Medinfo., pp. 45\u2013148 (2004)","key":"8_CR11"},{"unstructured":"Alberti, M., Ciampolini, A., Chesani, F., Gavanelli, M., Mello, P., Montali, M., Storari, S., Torroni, P.: Protocol specification and verification using computational logic. In: Proc. WOA (2005)","key":"8_CR12"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0933-3657(00)00100-7","volume":"22","author":"S. Quaglini","year":"2001","unstructured":"Quaglini, S., Stefanelli, M., Lanzola, G., Caporusso, V., Panzarasa, S.: Flexible guideline-based patient careflow systems. Artificial Intelligence in Medicine\u00a022, 65\u201380 (2001)","journal-title":"Artificial Intelligence in Medicine"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1197\/jamia.M1637","volume":"12","author":"M. Peleg","year":"2005","unstructured":"Peleg, M., Rubin, D., Altman, R.B.: Using petri nets tools to study propertuies and dynamics of bilogical systems. Journal of the American Medical Informatics Association\u00a012, 181\u2013199 (2005)","journal-title":"Journal of the American Medical Informatics Association"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. PROHealth 2008","author":"M.A. Grando","year":"2008","unstructured":"Grando, M.A., Glasspool, D.W., Fox, J.: Petri Nets as a formalism for comparing expressiveness of workflow-based Clinical Guideline Languages. In: Proc. PROHealth 2008. LNCS. Springer, Heidelberg (2008)"},{"unstructured":"Duret-Lutz, A., Poitrenaud, D.: SPOT: an Extensible Model Checking Library Using Transition-Based Generalized B\u00fcchi Automata","key":"8_CR16"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence in Medicine"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02976-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,20]],"date-time":"2020-05-20T13:21:00Z","timestamp":1589980860000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02976-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642029752","9783642029769"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02976-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}