ByNobleID
    Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their\n Enabled Transitions | NobleID