CitationCount for Enforcing Liveness in a Subclass of PN with any Acceptable Initial Marking Global Citation Count uri icon

has global count value

  • 0

has global count date

  • June 1, 2026