Advances in Petri nets | lit.salon