Application and theory of Petri nets, 1995 | lit.salon