Title: Petri nets
First published: 1985