Flexibility and Security of Careflow Systems Modeled by Petri Nets

Recently (Arrow et al., 2009) a report of a group of healthcare professionals was published that formulates eight principles based on which a reform of American healthcare system must be based. Principle number 4 states: “Develop a health information technology infrastructure with national standards of interoperability to promote data exchange.” This and remaining recommendations of the report address predominantly issues of healthcare databases and their interoperability. However, they do not address even more important issue of computerization of healthcare processes that are based on published medical guidelines for various disease, chronic healthcare, and medical abstraCt

[1]  Mathias Weske,et al.  Case handling: a new paradigm for business process support , 2005, Data Knowl. Eng..

[2]  Maria E. Orlowska,et al.  Pockets of Flexibility in Workflow Specification , 2001, ER.

[3]  Wil M. P. van der Aalst,et al.  Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets , 2005, CAiSE Short Paper Proceedings.

[4]  Wil M. P. van der Aalst,et al.  Flexibility as a Service , 2009, DASFAA Workshops.

[5]  Boleslaw Mikolajczak,et al.  Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms , 2003, ER.

[6]  Wil M.P. van der Aalst,et al.  YAWL: yet another workflow language , 2005, Inf. Syst..

[7]  Wil M. P. van der Aalst,et al.  Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows , 2006, OTM Conferences.

[8]  Wil M. P. van der Aalst,et al.  Dynamic, Extensible and Context-Aware Exception Handling for Workflows , 2007, OTM Conferences.

[9]  W.M.P. van der Aalst,et al.  Towards a taxonomy of process flexibility (extended version) , 2007 .

[10]  Peter Dadam,et al.  Correctness criteria for dynamic changes in workflow systems - a survey , 2004, Data Knowl. Eng..

[11]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[12]  Boleslaw Mikolajczak,et al.  Integration of Multilevel Security Features Into Loosely Coupled Inter-Organizational Workflows , 2007, Fourth International Conference on Information Technology (ITNG'07).

[13]  Boleslaw Mikolajczak,et al.  Transformation from live sequence charts to colored Petri nets , 2007, SCSC.

[14]  Wil M. P. van der Aalst,et al.  Beyond workflow management: product-driven case handling , 2001, GROUP.