ByNobleID
    Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions | NobleID