Petri net algebra - Best, Eike, 1951- (Monographs in theoretical computer science, 2001)