Robert Gold Walter Vogler Quality criteria for partial order semantics of place/transition-nets with capacities. 187-209 1992 17 Fundam. Inform. 3 db/journals/fuin/fuin17.html#GoldV92