Keyword: logic programming

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

• Zaidi, A.K.:
  On temporal logic programming using Petri nets. 1999.

• Belli, F.; Dreyer, J.:
  Systems Specification, Analysis, and Validation by means of Timed Predicate/Transition Nets and Logic Programming. 1995.

• Sheu, P.C.-Y.; Yoo, S.:
  A Knowledge-Based Software Environment (KBSE) for Designing Concurrent Processes. 1989.

Back to the Petri Nets Bibliography