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

K. Heljanko

    Research output: Contribution to journalArticleScientificpeer-review

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

    Keywords

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

    Cite this