@article{1d0f9b0987004898a65c995433e04b3e,
title = "Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-safe Petri Nets",
keywords = "deadlocks, logic programs, Petri nets, reachability, verification, deadlocks, logic programs, Petri nets, reachability, verification, deadlocks, logic programs, Petri nets, reachability, verification",
author = "K. Heljanko",
year = "1999",
language = "English",
volume = "37",
pages = "247--268",
journal = "Fundamenta Informaticae",
issn = "0169-2968",
publisher = "IOS PRESS",
number = "3",
}