ByNobleID
    Petri nets: Properties, analysis and applications | NobleID