Keyword: timed petri net

• Zaitsev, D.A.:
  Invariants of timed Petri nets. 2004.

• Gaujal, B.; Haar, S.; Mairesse, J.:
  Blocking a transition in a Free Choice net and what it tells about its throughput. 2003.

• Mairesse, Jean; Vuillon, Laurent:
  Asymptotic behavior in a heap model with two pieces. 2002.

• Stremersch, G.; Boel, R.K.:
  On the influencing net and forbidden state control of timed Petri nets with forced transitions. 1998.

• Felder, M.; Mandrioli, D.; Morzenti, A.:
  Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. 1994.

Back to the Petri Nets Bibliography