High-level Petri Nets | lit.salon