Matches in SemOpenAlex for { <https://semopenalex.org/work/W2117322948> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2117322948 endingPage "352" @default.
- W2117322948 startingPage "346" @default.
- W2117322948 abstract "AbstractRecent work by the authors introduced a technique for reachability checking in Petri Nets, exploiting compositionality to increase performance for some well-known examples. We introduce a tool that uses this technique, Penrose, discuss some design details in its implementation, and identify potential future improvements.KeywordsModel CheckMonoidal CategoryBinary Decision DiagramReachability ProblemOrdered Binary Decision DiagramThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W2117322948 created "2016-06-24" @default.
- W2117322948 creator A5016173850 @default.
- W2117322948 creator A5048584655 @default.
- W2117322948 date "2013-01-01" @default.
- W2117322948 modified "2023-09-26" @default.
- W2117322948 title "Penrose: Putting Compositionality to Work for Petri Net Reachability" @default.
- W2117322948 cites W1516536200 @default.
- W2117322948 cites W1965237160 @default.
- W2117322948 cites W2133491672 @default.
- W2117322948 cites W2141472133 @default.
- W2117322948 doi "https://doi.org/10.1007/978-3-642-40206-7_29" @default.
- W2117322948 hasPublicationYear "2013" @default.
- W2117322948 type Work @default.
- W2117322948 sameAs 2117322948 @default.
- W2117322948 citedByCount "4" @default.
- W2117322948 countsByYear W21173229482013 @default.
- W2117322948 countsByYear W21173229482014 @default.
- W2117322948 countsByYear W21173229482019 @default.
- W2117322948 crossrefType "book-chapter" @default.
- W2117322948 hasAuthorship W2117322948A5016173850 @default.
- W2117322948 hasAuthorship W2117322948A5048584655 @default.
- W2117322948 hasConcept C115903868 @default.
- W2117322948 hasConcept C121375916 @default.
- W2117322948 hasConcept C136643341 @default.
- W2117322948 hasConcept C154945302 @default.
- W2117322948 hasConcept C199360897 @default.
- W2117322948 hasConcept C38677869 @default.
- W2117322948 hasConcept C41008148 @default.
- W2117322948 hasConcept C80444323 @default.
- W2117322948 hasConcept C98045186 @default.
- W2117322948 hasConceptScore W2117322948C115903868 @default.
- W2117322948 hasConceptScore W2117322948C121375916 @default.
- W2117322948 hasConceptScore W2117322948C136643341 @default.
- W2117322948 hasConceptScore W2117322948C154945302 @default.
- W2117322948 hasConceptScore W2117322948C199360897 @default.
- W2117322948 hasConceptScore W2117322948C38677869 @default.
- W2117322948 hasConceptScore W2117322948C41008148 @default.
- W2117322948 hasConceptScore W2117322948C80444323 @default.
- W2117322948 hasConceptScore W2117322948C98045186 @default.
- W2117322948 hasLocation W21173229481 @default.
- W2117322948 hasOpenAccess W2117322948 @default.
- W2117322948 hasPrimaryLocation W21173229481 @default.
- W2117322948 hasRelatedWork W1017454697 @default.
- W2117322948 hasRelatedWork W1604807894 @default.
- W2117322948 hasRelatedWork W2016151994 @default.
- W2117322948 hasRelatedWork W2117322948 @default.
- W2117322948 hasRelatedWork W2158164655 @default.
- W2117322948 hasRelatedWork W2269563813 @default.
- W2117322948 hasRelatedWork W2291394520 @default.
- W2117322948 hasRelatedWork W2740487895 @default.
- W2117322948 hasRelatedWork W2946751727 @default.
- W2117322948 hasRelatedWork W2473782931 @default.
- W2117322948 isParatext "false" @default.
- W2117322948 isRetracted "false" @default.
- W2117322948 magId "2117322948" @default.
- W2117322948 workType "book-chapter" @default.