{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:22:41Z","timestamp":1762521761483},"reference-count":43,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Natural Sciences and Engineering Research Council (NSERC) of Canada and Queen's University"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/tac.2015.2409932","type":"journal-article","created":{"date-parts":[[2015,3,4]],"date-time":"2015-03-04T19:31:23Z","timestamp":1425497483000},"page":"2362-2377","source":"Crossref","is-referenced-by-count":7,"title":["An Augmented Petri Net Model for Health-Care Protocols"],"prefix":"10.1109","volume":"60","author":[{"given":"Sarah-Jane","family":"Whittaker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karen","family":"Rudie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"McLellan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","article-title":"Augmenting Petri nets to model health-care protocols","author":"whittaker","year":"0","journal-title":"Proc Int Workshop Discrete Event Syst"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2009.5394920"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2024376"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2258907"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref37","author":"whittaker","year":"2011","journal-title":"Augmenting Petri Nets to Model Health-Care Protocols"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875448"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.844722"},{"key":"ref34","author":"sipser","year":"1997","journal-title":"Introduction to the Theory of Computation"},{"key":"ref10","author":"cassandras","year":"2007","journal-title":"Introduction to Discrete Event Systems"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2258913"},{"key":"ref11","first-page":"199","article-title":"CSL model checking for generalized stochastic Petri nets","author":"cerotti","year":"0","journal-title":"Proc 3rd Int Conf Quant Eval Syst"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/9.182478"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2007.4304256"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SOLI.2009.5203928"},{"key":"ref15","year":"2004","journal-title":"A Guide to the Control of Respiratory Infection Outbreaks in Long- Term Care Homes"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/WHCM.2010.5441248"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.902622"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2012.6386420"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1111\/1467-7717.00148"},{"key":"ref28","first-page":"897","article-title":"Modeling and analysis of hospital emergency department: An analytical framework and problem formulation","author":"li","year":"0","journal-title":"Proc IEEE Conf Autom Sci Eng"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2006.1652274"},{"key":"ref27","author":"leveson","year":"2004","journal-title":"Model-Based Analysis of Socio-Technical Risk"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2009.04.019"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72522-0_3"},{"key":"ref29","author":"marsan","year":"1995","journal-title":"Modelling with Generalized Stochastic Petri Nets"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0025-5564(03)00088-9"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-78911-6","author":"brauer","year":"2008","journal-title":"Mathematical Epidemiology"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.01.002"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2239640"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586738"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10729-008-9086-3"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2010.5679170"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1997.649709"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-009-0060-0"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1177\/0272989X07312721"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/IEMBS.1998.746134"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1994.400215"},{"key":"ref23","author":"hu","year":"2008","journal-title":"Markov Decision Processes With Their Applications"},{"key":"ref26","first-page":"134","article-title":"An extended Petri net for modelling workflow with critical sections","author":"kotb","year":"0","journal-title":"Proc IEEE Int Conf e-Bus Eng"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1177\/0272989X06295359"},{"key":"ref25","first-page":"21","article-title":"Business process redesign at a mental healthcare institute: A coloured Petri net approach","author":"jansen-vullers","year":"0","journal-title":"Proc 6th Workshop Pract Use CPNs CPN Tools"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/7225196\/07054498.pdf?arnumber=7054498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:52:01Z","timestamp":1642006321000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7054498\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":43,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tac.2015.2409932","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9]]}}}