{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:16:27Z","timestamp":1743106587377,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390876"},{"type":"electronic","value":"9783642390883"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39088-3_2","type":"book-chapter","created":{"date-parts":[[2013,6,4]],"date-time":"2013-06-04T01:26:20Z","timestamp":1370309180000},"page":"19-36","source":"Crossref","is-referenced-by-count":9,"title":["Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets"],"prefix":"10.1007","author":[{"given":"Cristiano","family":"Bertolini","sequence":"first","affiliation":[]},{"given":"Zhiming","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Ji\u0159\u00ed","family":"Srba","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Blood transfusion medical benchmark, https:\/\/collab.cs.umass.edu\/groups\/laser_library\/wiki\/daf17\/Blood_Transfusion_Medical_Benchmark.html"},{"key":"2_CR2","unstructured":"Abou El Kalam, A., Baida, R.E., Balbiani, P., Benferhat, S., Cuppens, F., Deswarte, Y., Mi\u00e8ge, A., Saurel, C., Trouessin, G.: Organization based access control. In: Policy 2003 (June 2003)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-36046-6_8","volume-title":"Mathematical and Engineering Methods in Computer Science","author":"M. Andersen","year":"2013","unstructured":"Andersen, M., Gatten Larsen, H., Srba, J., Grund S\u00f8rensen, M., Haahr Taankvist, J.: Verification of liveness properties on closed timed-arc petri nets. In: Ku\u010dera, A., Henzinger, T.A., Ne\u0161et\u0159il, J., Vojnar, T., Anto\u0161, D. (eds.) MEMICS 2012. LNCS, vol.\u00a07721, pp. 69\u201381. Springer, Heidelberg (2013)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-32355-3_4","volume-title":"Foundations of Health Informatics Engineering and Systems","author":"C. Bertolini","year":"2012","unstructured":"Bertolini, C., Sch\u00e4f, M., Stolz, V.: Towards a Formal Integrated Model of Collaborative Healthcare Workflows. In: Liu, Z., Wassyng, A. (eds.) FHIES 2011. LNCS, vol.\u00a07151, pp. 57\u201374. Springer, Heidelberg (2012)"},{"key":"2_CR5","first-page":"1","volume-title":"10th International Symposium on Protocol Specification, Testing and Verification","author":"T. Bolognesi","year":"1990","unstructured":"Bolognesi, T., Lucidi, F., Trigila, S.: From timed Petri nets to timed LOTOS. In: 10th International Symposium on Protocol Specification, Testing and Verification, pp. 1\u201314. North-Holland, Amsterdam (1990)"},{"key":"2_CR6","first-page":"623","volume-title":"ICSE 2008","author":"B. Chen","year":"2008","unstructured":"Chen, B., Avrunin, G.S., Henneman, E.A., Clarke, L.A., Osterweil, L.J., Henneman, P.L.: Analyzing Medical Processes. In: ICSE 2008, pp. 623\u2013632. ACM, New York (2008)"},{"issue":"4","key":"2_CR7","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1016\/j.scico.2008.08.003","volume":"74","author":"Z. Chen","year":"2009","unstructured":"Chen, Z., Liu, Z., Ravn, A.P., Stolz, V., Zhan, N.: Refinement and verification in component-based model-driven design. Sci. Comp. Program.\u00a074(4), 168\u2013196 (2009)","journal-title":"Sci. Comp. Program."},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/1809085.1809092","volume-title":"Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, SEHC 2010","author":"S. Christov","year":"2010","unstructured":"Christov, S., Avrunin, G., Clarke, A., Osterweil, L., Henneman, E.: A benchmark for evaluating software engineering techniques for improving medical processes. In: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, SEHC 2010, pp. 50\u201356. ACM, New York (2010)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/978-3-642-28756-5_36","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. David","year":"2012","unstructured":"David, A., Jacobsen, L., Jacobsen, M., J\u00f8rgensen, K.Y., M\u00f8ller, M.H., Srba, J.: TAPAAL 2.0: Integrated development environment for timed-arc Petri nets. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol.\u00a07214, pp. 492\u2013497. Springer, Heidelberg (2012)"},{"key":"2_CR10","unstructured":"del Foyo, P.M.G., Silva, J.R.: Using time Petri nets for modelling and verification of timed constrained workflow systems. In: ABCM Symposium Series in Mechatronics, vol.\u00a03, pp. 471\u2013478. ABCM (2008)"},{"key":"2_CR11","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-642-00328-8_35","volume-title":"Business Process Management Workshops","author":"M.A. Grando","year":"2009","unstructured":"Grando, M.A., Glasspool, D.W., Fox, J.: Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008 Workshops. LNBIP, vol.\u00a017, pp. 348\u2013360. Springer, Heidelberg (2009)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/3-540-56863-8_52","volume-title":"Application and Theory of Petri Nets 1993","author":"H.-M. Hanisch","year":"1993","unstructured":"Hanisch, H.-M.: Analysis of place\/transition nets with timed-arcs and its application to batch process control. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 282\u2013299. Springer, Heidelberg (1993)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-18381-2_4","volume-title":"SOFSEM 2011: Theory and Practice of Computer Science","author":"L. Jacobsen","year":"2011","unstructured":"Jacobsen, L., Jacobsen, M., M\u00f8ller, M.H., Srba, J.: Verification of timed-arc Petri nets. In: \u010cern\u00e1, I., Gyim\u00f3thy, T., Hromkovi\u010d, J., Jefferey, K., Kr\u00e1lovi\u0107, R., Vukoli\u0107, M., Wolf, S. (eds.) SOFSEM 2011. LNCS, vol.\u00a06543, pp. 46\u201372. Springer, Heidelberg (2011)"},{"key":"2_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03241-1","volume-title":"Coloured Petri Nets: Basic concepts, analysis methods and practical use","author":"K. Jensen","year":"1996","unstructured":"Jensen, K.: Coloured Petri Nets: Basic concepts, analysis methods and practical use. Springer, Berlin (1996)"},{"issue":"1","key":"2_CR15","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/s11704-012-2901-5","volume":"6","author":"W. Ke","year":"2012","unstructured":"Ke, W., Li, X., Liu, Z., Stolz, V.: rCOS: a formal model-driven engineering method for component-based software. Frontiers of Computer Science in China\u00a06(1), 17\u201339 (2012)","journal-title":"Frontiers of Computer Science in China"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/11560548_14","volume-title":"Correct Hardware Design and Verification Methods","author":"L. Lamport","year":"2005","unstructured":"Lamport, L.: Real-time model checking is really simple. In: Borrione, D., Paul, W. (eds.) CHARME 2005. LNCS, vol.\u00a03725, pp. 162\u2013175. Springer, Heidelberg (2005)"},{"key":"2_CR17","unstructured":"Ling, S., Schmidt, H.: Time Petri nets for workflow modelling and analysis. In: IEEE International Conference on Systems, Man and, Cybernetics, vol.\u00a04, pp. 3039\u20133044. IEEE (2000)"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-642-32355-3_5","volume-title":"Foundations of Health Informatics Engineering and Systems","author":"W. MacCaull","year":"2012","unstructured":"MacCaull, W., Rabbi, F.: NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery. In: Liu, Z., Wassyng, A. (eds.) FHIES 2011. LNCS, vol.\u00a07151, pp. 75\u201392. Springer, Heidelberg (2012)"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-15898-8_7","volume-title":"Formal Methods for Industrial Critical Systems","author":"A.S. Mashiyat","year":"2010","unstructured":"Mashiyat, A.S., Rabbi, F., Wang, H., MacCaull, W.: An automated translator for model checking time constrained workflow systems. In: Kowalewski, S., Roveri, M. (eds.) FMICS 2010. LNCS, vol.\u00a06371, pp. 99\u2013114. Springer, Heidelberg (2010)"},{"issue":"9","key":"2_CR20","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P. Merlin","year":"1976","unstructured":"Merlin, P., Faber, D.: Recoverability of communication protocols: Implications of a theoretical study. IEEE Trans. on Communications\u00a024(9), 1036\u20131043 (1976)","journal-title":"IEEE Trans. on Communications"},{"issue":"4","key":"2_CR21","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1002\/smr.527","volume":"23","author":"K. Miller","year":"2011","unstructured":"Miller, K., MacCaull, W.: Model checking timed properties of healthcare processes. Journal of Software Maintenance and Evolution: Research and Practice\u00a023(4), 245\u2013260 (2011)","journal-title":"Journal of Software Maintenance and Evolution: Research and Practice"},{"key":"2_CR22","unstructured":"OMG. UML extensions for workflow process definition - request for proposal. OMG-document bom\/2000-12-11 (December 2000)"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-642-32355-3_7","volume-title":"Foundations of Health Informatics Engineering and Systems","author":"F. Rabbi","year":"2012","unstructured":"Rabbi, F., Mashiyat, A.S., MacCaull, W.: Model checking workflow monitors and its application to a pain management process. In: Liu, Z., Wassyng, A. (eds.) FHIES 2011. LNCS, vol.\u00a07151, pp. 111\u2013128. Springer, Heidelberg (2012)"},{"issue":"3","key":"2_CR24","doi-asserted-by":"publisher","first-page":"664","DOI":"10.1016\/S0377-2217(00)00292-7","volume":"134","author":"K. Salimifard","year":"2001","unstructured":"Salimifard, K., Wright, M.: Petri net-based modelling of workflow systems: An overview. European Journal of Operational Research\u00a0134(3), 664\u2013676 (2001)","journal-title":"European Journal of Operational Research"},{"issue":"1","key":"2_CR25","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W. van der Aalst","year":"1998","unstructured":"van der Aalst, W.: The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"van der Aalst, W., van Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press (2002)","DOI":"10.7551\/mitpress\/7301.001.0001"},{"issue":"3","key":"2_CR27","first-page":"49","volume":"7","author":"W. van der Aalst","year":"2003","unstructured":"van der Aalst, W., Weske, M., Wirtz, G.: Advanced topics in workflow management: Issues, requirements, and solutions. Journal of Integrated and Process Science\u00a07(3), 49\u201377 (2003)","journal-title":"Journal of Integrated and Process Science"},{"key":"2_CR28","unstructured":"WFMC. Workflow management coalition terminology and glossary (WFMC-TC-1011). Technical report, Workflow Management Coalition, Brussels (1996)"},{"key":"2_CR29","unstructured":"Wise, A.: Little-JIL 1.5 language report (UM-CS-2006-51). Technical report, University of Massachusetts, Amherst, MA (2006)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Health Information Engineering and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39088-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,11]],"date-time":"2024-05-11T17:28:24Z","timestamp":1715448504000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39088-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390876","9783642390883"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39088-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}