Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022062868> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2022062868 abstract "A new algorithm for verifying the equivalence of parallel controller designs is presented along with its implementation. The controller is specified using a Petri net and its implementation is given as a netlist. The reachability graph of the Petri net is generated and simultaneously the network is implicitly simulated. By exploiting information from the reachability graph a reduction of the time and memory needed for verification has been achieved. Experimental results show that this approach is especially appropriate for parallel controller verification." @default.
- W2022062868 created "2016-06-24" @default.
- W2022062868 creator A5033533647 @default.
- W2022062868 creator A5050955488 @default.
- W2022062868 creator A5061081376 @default.
- W2022062868 date "1995-01-01" @default.
- W2022062868 modified "2023-09-24" @default.
- W2022062868 title "Efficient functional verification algorithm for Petri-net-based parallel controller designs" @default.
- W2022062868 doi "https://doi.org/10.1049/ip-cdt:19952017" @default.
- W2022062868 hasPublicationYear "1995" @default.
- W2022062868 type Work @default.
- W2022062868 sameAs 2022062868 @default.
- W2022062868 citedByCount "5" @default.
- W2022062868 crossrefType "journal-article" @default.
- W2022062868 hasAuthorship W2022062868A5033533647 @default.
- W2022062868 hasAuthorship W2022062868A5050955488 @default.
- W2022062868 hasAuthorship W2022062868A5061081376 @default.
- W2022062868 hasConcept C110251889 @default.
- W2022062868 hasConcept C111335779 @default.
- W2022062868 hasConcept C11413529 @default.
- W2022062868 hasConcept C118615104 @default.
- W2022062868 hasConcept C132525143 @default.
- W2022062868 hasConcept C136643341 @default.
- W2022062868 hasConcept C149635348 @default.
- W2022062868 hasConcept C173608175 @default.
- W2022062868 hasConcept C177650935 @default.
- W2022062868 hasConcept C197551870 @default.
- W2022062868 hasConcept C2524010 @default.
- W2022062868 hasConcept C2780069185 @default.
- W2022062868 hasConcept C33923547 @default.
- W2022062868 hasConcept C38677869 @default.
- W2022062868 hasConcept C41008148 @default.
- W2022062868 hasConcept C42383842 @default.
- W2022062868 hasConcept C80444323 @default.
- W2022062868 hasConcept C94633896 @default.
- W2022062868 hasConcept C97042676 @default.
- W2022062868 hasConceptScore W2022062868C110251889 @default.
- W2022062868 hasConceptScore W2022062868C111335779 @default.
- W2022062868 hasConceptScore W2022062868C11413529 @default.
- W2022062868 hasConceptScore W2022062868C118615104 @default.
- W2022062868 hasConceptScore W2022062868C132525143 @default.
- W2022062868 hasConceptScore W2022062868C136643341 @default.
- W2022062868 hasConceptScore W2022062868C149635348 @default.
- W2022062868 hasConceptScore W2022062868C173608175 @default.
- W2022062868 hasConceptScore W2022062868C177650935 @default.
- W2022062868 hasConceptScore W2022062868C197551870 @default.
- W2022062868 hasConceptScore W2022062868C2524010 @default.
- W2022062868 hasConceptScore W2022062868C2780069185 @default.
- W2022062868 hasConceptScore W2022062868C33923547 @default.
- W2022062868 hasConceptScore W2022062868C38677869 @default.
- W2022062868 hasConceptScore W2022062868C41008148 @default.
- W2022062868 hasConceptScore W2022062868C42383842 @default.
- W2022062868 hasConceptScore W2022062868C80444323 @default.
- W2022062868 hasConceptScore W2022062868C94633896 @default.
- W2022062868 hasConceptScore W2022062868C97042676 @default.
- W2022062868 hasLocation W20220628681 @default.
- W2022062868 hasOpenAccess W2022062868 @default.
- W2022062868 hasPrimaryLocation W20220628681 @default.
- W2022062868 hasRelatedWork W1536813105 @default.
- W2022062868 hasRelatedWork W1884759809 @default.
- W2022062868 hasRelatedWork W1988925206 @default.
- W2022062868 hasRelatedWork W2040209790 @default.
- W2022062868 hasRelatedWork W2056204085 @default.
- W2022062868 hasRelatedWork W2096491533 @default.
- W2022062868 hasRelatedWork W2106186186 @default.
- W2022062868 hasRelatedWork W2109059264 @default.
- W2022062868 hasRelatedWork W2110628643 @default.
- W2022062868 hasRelatedWork W2115252042 @default.
- W2022062868 hasRelatedWork W2135836819 @default.
- W2022062868 hasRelatedWork W2136416725 @default.
- W2022062868 hasRelatedWork W2138598405 @default.
- W2022062868 hasRelatedWork W2139781574 @default.
- W2022062868 hasRelatedWork W2140735019 @default.
- W2022062868 hasRelatedWork W2142094164 @default.
- W2022062868 hasRelatedWork W2151920523 @default.
- W2022062868 hasRelatedWork W2172143613 @default.
- W2022062868 hasRelatedWork W2348573920 @default.
- W2022062868 hasRelatedWork W2613578257 @default.
- W2022062868 isParatext "false" @default.
- W2022062868 isRetracted "false" @default.
- W2022062868 magId "2022062868" @default.
- W2022062868 workType "article" @default.