High-level Petri nets | lit.salon