Matches in SemOpenAlex for { <https://semopenalex.org/work/W1568909857> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1568909857 endingPage "268" @default.
- W1568909857 startingPage "247" @default.
- W1568909857 abstract "McMillan has presented a deadlock detection method for Petri nets based on finite complete prefixes (i.e. net unfoldings). The approach transforms the PSPACE-complete deadlock detection problem for a 1-safe Petri net into a potentially exponentially larger NP-complete problem of deadlock detection for a finite complete prefix. McMillan devised a branch-and-bound algorithm for deadlock detection in prefixes. Recently, Melzer and Romer have presented another approach, which is based on solving mixed integer programming problems. In this work it is shown that instead of using mixed integer programming, a constraint-based logic programming framework can be employed, and a linear-size translation from deadlock detection in prefixes into the problem of finding a stable model of a logic program is presented. As a side result also such a translation for solving the reachability problem is devised. Correctness proofs of both the translations are presented. Experimental results are given from an implementation combining the prefix generator of the PEP-tool, the translation, and an implementation of a constraint-based logic programming framework, the smodels system. The experiments show the proposed approach to be quite competitive, when compared to the approaches of McMillan and Melzer/Romer." @default.
- W1568909857 created "2016-06-24" @default.
- W1568909857 creator A5078732211 @default.
- W1568909857 date "1999-01-01" @default.
- W1568909857 modified "2023-10-18" @default.
- W1568909857 title "Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets" @default.
- W1568909857 cites W1520957705 @default.
- W1568909857 cites W1530330071 @default.
- W1568909857 cites W1552605223 @default.
- W1568909857 cites W1554618854 @default.
- W1568909857 cites W1567179050 @default.
- W1568909857 cites W1595075780 @default.
- W1568909857 cites W1672891595 @default.
- W1568909857 cites W1934074768 @default.
- W1568909857 cites W1937565299 @default.
- W1568909857 cites W1965237160 @default.
- W1568909857 cites W1968513265 @default.
- W1568909857 cites W2040633651 @default.
- W1568909857 cites W2048746006 @default.
- W1568909857 cites W2099620341 @default.
- W1568909857 cites W2107978495 @default.
- W1568909857 cites W2152131859 @default.
- W1568909857 cites W2394903686 @default.
- W1568909857 cites W2611415697 @default.
- W1568909857 cites W3021535722 @default.
- W1568909857 doi "https://doi.org/10.3233/fi-1999-37304" @default.
- W1568909857 hasPublicationYear "1999" @default.
- W1568909857 type Work @default.
- W1568909857 sameAs 1568909857 @default.
- W1568909857 citedByCount "47" @default.
- W1568909857 countsByYear W15689098572012 @default.
- W1568909857 countsByYear W15689098572013 @default.
- W1568909857 countsByYear W15689098572014 @default.
- W1568909857 countsByYear W15689098572015 @default.
- W1568909857 countsByYear W15689098572016 @default.
- W1568909857 countsByYear W15689098572017 @default.
- W1568909857 countsByYear W15689098572019 @default.
- W1568909857 countsByYear W15689098572022 @default.
- W1568909857 crossrefType "journal-article" @default.
- W1568909857 hasAuthorship W1568909857A5078732211 @default.
- W1568909857 hasConcept C110251889 @default.
- W1568909857 hasConcept C136155141 @default.
- W1568909857 hasConcept C136643341 @default.
- W1568909857 hasConcept C159023740 @default.
- W1568909857 hasConcept C184337299 @default.
- W1568909857 hasConcept C197551870 @default.
- W1568909857 hasConcept C199360897 @default.
- W1568909857 hasConcept C25016198 @default.
- W1568909857 hasConcept C38677869 @default.
- W1568909857 hasConcept C41008148 @default.
- W1568909857 hasConcept C80444323 @default.
- W1568909857 hasConceptScore W1568909857C110251889 @default.
- W1568909857 hasConceptScore W1568909857C136155141 @default.
- W1568909857 hasConceptScore W1568909857C136643341 @default.
- W1568909857 hasConceptScore W1568909857C159023740 @default.
- W1568909857 hasConceptScore W1568909857C184337299 @default.
- W1568909857 hasConceptScore W1568909857C197551870 @default.
- W1568909857 hasConceptScore W1568909857C199360897 @default.
- W1568909857 hasConceptScore W1568909857C25016198 @default.
- W1568909857 hasConceptScore W1568909857C38677869 @default.
- W1568909857 hasConceptScore W1568909857C41008148 @default.
- W1568909857 hasConceptScore W1568909857C80444323 @default.
- W1568909857 hasIssue "3" @default.
- W1568909857 hasLocation W15689098571 @default.
- W1568909857 hasOpenAccess W1568909857 @default.
- W1568909857 hasPrimaryLocation W15689098571 @default.
- W1568909857 hasRelatedWork W1495820984 @default.
- W1568909857 hasRelatedWork W1568909857 @default.
- W1568909857 hasRelatedWork W1577441161 @default.
- W1568909857 hasRelatedWork W1985859852 @default.
- W1568909857 hasRelatedWork W1992189517 @default.
- W1568909857 hasRelatedWork W2024711394 @default.
- W1568909857 hasRelatedWork W2145270056 @default.
- W1568909857 hasRelatedWork W2341552178 @default.
- W1568909857 hasRelatedWork W2499026813 @default.
- W1568909857 hasRelatedWork W2586039792 @default.
- W1568909857 hasVolume "37" @default.
- W1568909857 isParatext "false" @default.
- W1568909857 isRetracted "false" @default.
- W1568909857 magId "1568909857" @default.
- W1568909857 workType "article" @default.