Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets.

Published in: TACAS (1999)

Keyphrases

logic programs
stable model semantics
petri net
stable models
logic programming
answer set programming
normal logic programs
fixpoint
answer sets
answer set semantics
inductive logic programming
computational properties
loop formulas
database
closed world