reference to an article about Petri nets