• Login
    View Item 
    •   Home
    • Graduate Theses, Dissertations and Projects
    • Queen's Graduate Theses and Dissertations
    • View Item
    •   Home
    • Graduate Theses, Dissertations and Projects
    • Queen's Graduate Theses and Dissertations
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Augmenting Petri Nets to Model Health-Care Protocols

    Thumbnail
    View/Open
    Whittaker_Sarah-Jane_E_201109_PhD.pdf (963.1Kb)
    Date
    2011-09-28
    Author
    Whittaker, Sarah-Jane
    Metadata
    Show full item record
    Abstract
    An outbreak of an infectious illness can have a devastating impact on a population. Once confirmed, local health care organizations will attempt to reduce the spread of the disease by adopting a set of pre-defined guidelines. Modelling such a system presents a number of unique challenges: timing and probability constraints must be captured, scaling must be seamless and methods for analysis must be robust and efficient. To satisfy these requirements, an augmented form of Petri net known as a choice-point net is introduced in this thesis. In this data structure, timing is associated with event-based transitions that may fire multiple times to simulate the same event occurring several times in parallel. Events may result in several possible outcomes, or choices, each of which is given a probability of occurrence. A choice-point net may be scaled without requiring structural changes to the model and may be analyzed by unravelling it into a finite-state automaton representing (perhaps portions of) its behaviour. By translating questions about the protocol into the mathematical language of the net, recursive algorithms may then be employed to provide health-care professionals with answers to their questions. To demonstrate the expressiveness of choice-point nets, an actual, in-use protocol to control respiratory infection outbreaks in long-term care homes is modelled. Three similar abridged scenarios set in a small long-term care home are also modelled, analyzed and compared.
    URI for this record
    http://hdl.handle.net/1974/6776
    Collections
    • Queen's Graduate Theses and Dissertations
    • School of Computing Graduate Theses
    Request an alternative format
    If you require this document in an alternate, accessible format, please contact the Queen's Adaptive Technology Centre

    DSpace software copyright © 2002-2015  DuraSpace
    Contact Us
    Theme by 
    Atmire NV
     

     

    Browse

    All of QSpaceCommunities & CollectionsPublished DatesAuthorsTitlesSubjectsTypesThis CollectionPublished DatesAuthorsTitlesSubjectsTypes

    My Account

    LoginRegister

    Statistics

    View Usage StatisticsView Google Analytics Statistics

    DSpace software copyright © 2002-2015  DuraSpace
    Contact Us
    Theme by 
    Atmire NV