Petri net algebra - Best, Eike, et al (2001)