Keyword: program verification

• Leuschel, M.; Lehmann, H.:
  Solving coverability problems of Petri nets by partial deduction. 2000.

• Barkaoui, K.; Pradat-Peyre, J.-F.:
  Verification in concurrent programming with Petri nets structural techniques. 1998.

• Husberg, Nisse:
  Verifying SDL programs using Petri nets. 1998.

• Dufourd, C.; Finkel, A.:
  Polynomial-time many-one reductions for Petri nets. 1997.

• Danhof, Kenneth J.; Zargham, Mehdi R.:
  A Petri Net Model of Parallel Processing: Performance Analysis and Program Verification. 1989.

Back to the Petri Nets Bibliography