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

Research output: Contribution to journalArticleScientificpeer-review

Researchers

Research units

Details

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

    Research areas

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

ID: 4900319