An Augmented Petri Net Model for Health-Care Protocols

Sarah-Jane Whittaker, Karen Rudie, James McLellan. An Augmented Petri Net Model for Health-Care Protocols. IEEE Trans. Automat. Contr., 60(9):2362-2377, 2015. [doi]

Abstract

Abstract is missing.