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

Keijo Heljanko

Browse the full TACAS paper archive.