FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040306784> ?p ?o ?g. }

• W2040306784 endingPage "18" @default.
• W2040306784 startingPage "3" @default.
• W2040306784 abstract "Petri nets are fundamental to the analysis of distributed systems especially infinite-state systems. Finding a particular marking corresponding to a property violation in Petri nets can be reduced to exploring a state space induced by the set of reachable markings. Typical exploration(reachability analysis) approaches are undirected and do not take into account any knowledge about the structure of the Petri net. This paper proposes heuristic search for enhanced exploration to accelerate the search. For different needs in the system development process, we distinguish between different sorts of estimates. Treating the firing of a transition as an action applied to a set of predicates induced by the Petri net structure and markings, the reachability analysis can be reduced to finding a plan to an AI planning problem. Having such a reduction broadens the horizons for the application of AI heuristic search planning technology. In this paper we discuss the transformations schemes to encode Petri nets into PDDL. We show a concise encoding of general place-transition nets in Level 2 PDDL2.2, and a specification for bounded place-transition nets in ADL/STRIPS. Initial experiments with an existing planner are presented." @default.
• W2040306784 created "2016-06-24" @default.
• W2040306784 creator A5012725754 @default.
• W2040306784 creator A5058729606 @default.
• W2040306784 date "2006-02-01" @default.
• W2040306784 modified "2023-10-16" @default.
• W2040306784 title "Action Planning for Directed Model Checking of Petri Nets" @default.
• W2040306784 cites W1527743161 @default.
• W2040306784 cites W1545688112 @default.
• W2040306784 cites W1595075780 @default.
• W2040306784 cites W1778687791 @default.
• W2040306784 cites W1951701397 @default.
• W2040306784 cites W1984139896 @default.
• W2040306784 cites W2006406722 @default.
• W2040306784 cites W2061146398 @default.
• W2040306784 cites W2097465719 @default.
• W2040306784 cites W2107978495 @default.
• W2040306784 cites W2122054842 @default.
• W2040306784 cites W2141088850 @default.
• W2040306784 cites W2337392266 @default.
• W2040306784 cites W2913927882 @default.
• W2040306784 cites W3104718257 @default.
• W2040306784 cites W4249771336 @default.
• W2040306784 doi "https://doi.org/10.1016/j.entcs.2005.07.023" @default.
• W2040306784 hasPublicationYear "2006" @default.
• W2040306784 type Work @default.
• W2040306784 sameAs 2040306784 @default.
• W2040306784 citedByCount "17" @default.
• W2040306784 countsByYear W20403067842012 @default.
• W2040306784 countsByYear W20403067842013 @default.
• W2040306784 countsByYear W20403067842014 @default.
• W2040306784 countsByYear W20403067842016 @default.
• W2040306784 countsByYear W20403067842019 @default.
• W2040306784 countsByYear W20403067842020 @default.
• W2040306784 countsByYear W20403067842021 @default.
• W2040306784 crossrefType "journal-article" @default.
• W2040306784 hasAuthorship W2040306784A5012725754 @default.
• W2040306784 hasAuthorship W2040306784A5058729606 @default.
• W2040306784 hasBestOaLocation W20403067841 @default.
• W2040306784 hasConcept C105795698 @default.
• W2040306784 hasConcept C110251889 @default.
• W2040306784 hasConcept C111335779 @default.
• W2040306784 hasConcept C11413529 @default.
• W2040306784 hasConcept C121332964 @default.
• W2040306784 hasConcept C134306372 @default.
• W2040306784 hasConcept C136155141 @default.
• W2040306784 hasConcept C136643341 @default.
• W2040306784 hasConcept C154945302 @default.
• W2040306784 hasConcept C173801870 @default.
• W2040306784 hasConcept C177264268 @default.
• W2040306784 hasConcept C197551870 @default.
• W2040306784 hasConcept C199360897 @default.
• W2040306784 hasConcept C2524010 @default.
• W2040306784 hasConcept C2780791683 @default.
• W2040306784 hasConcept C33923547 @default.
• W2040306784 hasConcept C34388435 @default.
• W2040306784 hasConcept C38677869 @default.
• W2040306784 hasConcept C41008148 @default.
• W2040306784 hasConcept C48103436 @default.
• W2040306784 hasConcept C62520636 @default.
• W2040306784 hasConcept C72434380 @default.
• W2040306784 hasConcept C80444323 @default.
• W2040306784 hasConceptScore W2040306784C105795698 @default.
• W2040306784 hasConceptScore W2040306784C110251889 @default.
• W2040306784 hasConceptScore W2040306784C111335779 @default.
• W2040306784 hasConceptScore W2040306784C11413529 @default.
• W2040306784 hasConceptScore W2040306784C121332964 @default.
• W2040306784 hasConceptScore W2040306784C134306372 @default.
• W2040306784 hasConceptScore W2040306784C136155141 @default.
• W2040306784 hasConceptScore W2040306784C136643341 @default.
• W2040306784 hasConceptScore W2040306784C154945302 @default.
• W2040306784 hasConceptScore W2040306784C173801870 @default.
• W2040306784 hasConceptScore W2040306784C177264268 @default.
• W2040306784 hasConceptScore W2040306784C197551870 @default.
• W2040306784 hasConceptScore W2040306784C199360897 @default.
• W2040306784 hasConceptScore W2040306784C2524010 @default.
• W2040306784 hasConceptScore W2040306784C2780791683 @default.
• W2040306784 hasConceptScore W2040306784C33923547 @default.
• W2040306784 hasConceptScore W2040306784C34388435 @default.
• W2040306784 hasConceptScore W2040306784C38677869 @default.
• W2040306784 hasConceptScore W2040306784C41008148 @default.
• W2040306784 hasConceptScore W2040306784C48103436 @default.
• W2040306784 hasConceptScore W2040306784C62520636 @default.
• W2040306784 hasConceptScore W2040306784C72434380 @default.
• W2040306784 hasConceptScore W2040306784C80444323 @default.
• W2040306784 hasIssue "2" @default.
• W2040306784 hasLocation W20403067841 @default.
• W2040306784 hasOpenAccess W2040306784 @default.
• W2040306784 hasPrimaryLocation W20403067841 @default.
• W2040306784 hasRelatedWork W138282622 @default.
• W2040306784 hasRelatedWork W1502896170 @default.
• W2040306784 hasRelatedWork W2062420902 @default.
• W2040306784 hasRelatedWork W2073745570 @default.
• W2040306784 hasRelatedWork W2148229336 @default.
• W2040306784 hasRelatedWork W2159539963 @default.
• W2040306784 hasRelatedWork W2164566988 @default.
• W2040306784 hasRelatedWork W2171468557 @default.
• W2040306784 hasRelatedWork W2296663577 @default.

• next