ByNobleID
    A distributed verification approach for modular Petri nets | NobleID