Murata (1989) -- Petri Nets.pdf