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

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
JournalFundamenta Informaticae
Issue number3
Pages (from-to)247-268
Publication statusPublished - 1999
Externally publishedYes
MoE publication typeA1 Journal article-refereed

Fields of Science

  • deadlocks
  • logic programs
  • Petri nets
  • reachability
  • verification

Cite this