Jonathan Mark Hayman: Petri net semantics. University of Cambridge, UK 2010