PN properties

• Liveness: from any marking any transition can become fireable

• Boundedness: the number of tokens in any place cannot grow indefinitely

  (1-bounded also called safe)
  

Not live

Unbounded

Previous slide

Next slide

Back to first slide

View graphic version