Sarah-Jane Whittaker, Karen Rudie, James McLellan, Stefan Haar. Augmenting Petri nets to model health-care protocols. In Jörg Raisch, Alessandro Giua, Stéphane Lafortune, Thomas Moor, editors, 10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010. pages 331-336, International Federation of Automatic Control, 2010. [doi]
Abstract is missing.