Show simple item record

dc.contributor.authorWhittaker, Sarah-Jane
dc.contributor.otherQueen's University (Kingston, Ont.). Theses (Queen's University (Kingston, Ont.))en
dc.date2011-09-27 21:23:16.13en
dc.date.accessioned2011-09-28T22:41:50Z
dc.date.available2011-09-28T22:41:50Z
dc.date.issued2011-09-28
dc.identifier.urihttp://hdl.handle.net/1974/6776
dc.descriptionThesis (Ph.D, Computing) -- Queen's University, 2011-09-27 21:23:16.13en
dc.description.abstractAn 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.en_US
dc.languageenen
dc.language.isoenen_US
dc.relation.ispartofseriesCanadian thesesen
dc.rightsThis publication is made available by the authority of the copyright owner solely for the purpose of private study and research and may not be copied or reproduced except as permitted by the copyright laws without written authority from the copyright owner.en
dc.subjectPetri Netsen_US
dc.subjectEmergency Protocolsen_US
dc.subjectChoice-Point Netsen_US
dc.subjectHealth-Care Modellingen_US
dc.titleAugmenting Petri Nets to Model Health-Care Protocolsen_US
dc.typeThesisen_US
dc.description.degreePh.Den
dc.contributor.supervisorRudie, Karenen
dc.contributor.supervisorMcLellan, P. Jamesen
dc.contributor.departmentComputingen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record