Matches in SemOpenAlex for { <https://semopenalex.org/work/W2382749079> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2382749079 abstract "The research concentrates on the aspects related to reduction rules for Petri Net based Representation for Embedded Systems (PRES+). The major motivation of this work is to give correctness-preservation transformations to improve the verification efficiency. It proposes a set of reduction rules to reduce PRES+ nets to the equivalent reduced PRES+ nets. Reductions for two system models demonstrate the efficiency of this reduction rules on practical applications." @default.
- W2382749079 created "2016-06-24" @default.
- W2382749079 creator A5026967617 @default.
- W2382749079 date "2008-01-01" @default.
- W2382749079 modified "2023-09-24" @default.
- W2382749079 title "Reduction Rules for Petri Net Based Representation for Embedded Systems" @default.
- W2382749079 hasPublicationYear "2008" @default.
- W2382749079 type Work @default.
- W2382749079 sameAs 2382749079 @default.
- W2382749079 citedByCount "3" @default.
- W2382749079 countsByYear W23827490792013 @default.
- W2382749079 crossrefType "journal-article" @default.
- W2382749079 hasAuthorship W2382749079A5026967617 @default.
- W2382749079 hasConcept C110251889 @default.
- W2382749079 hasConcept C111335779 @default.
- W2382749079 hasConcept C120314980 @default.
- W2382749079 hasConcept C14166107 @default.
- W2382749079 hasConcept C177264268 @default.
- W2382749079 hasConcept C17744445 @default.
- W2382749079 hasConcept C199360897 @default.
- W2382749079 hasConcept C199539241 @default.
- W2382749079 hasConcept C2524010 @default.
- W2382749079 hasConcept C2776359362 @default.
- W2382749079 hasConcept C33923547 @default.
- W2382749079 hasConcept C38677869 @default.
- W2382749079 hasConcept C41008148 @default.
- W2382749079 hasConcept C55439883 @default.
- W2382749079 hasConcept C80444323 @default.
- W2382749079 hasConcept C94625758 @default.
- W2382749079 hasConcept C94633896 @default.
- W2382749079 hasConceptScore W2382749079C110251889 @default.
- W2382749079 hasConceptScore W2382749079C111335779 @default.
- W2382749079 hasConceptScore W2382749079C120314980 @default.
- W2382749079 hasConceptScore W2382749079C14166107 @default.
- W2382749079 hasConceptScore W2382749079C177264268 @default.
- W2382749079 hasConceptScore W2382749079C17744445 @default.
- W2382749079 hasConceptScore W2382749079C199360897 @default.
- W2382749079 hasConceptScore W2382749079C199539241 @default.
- W2382749079 hasConceptScore W2382749079C2524010 @default.
- W2382749079 hasConceptScore W2382749079C2776359362 @default.
- W2382749079 hasConceptScore W2382749079C33923547 @default.
- W2382749079 hasConceptScore W2382749079C38677869 @default.
- W2382749079 hasConceptScore W2382749079C41008148 @default.
- W2382749079 hasConceptScore W2382749079C55439883 @default.
- W2382749079 hasConceptScore W2382749079C80444323 @default.
- W2382749079 hasConceptScore W2382749079C94625758 @default.
- W2382749079 hasConceptScore W2382749079C94633896 @default.
- W2382749079 hasLocation W23827490791 @default.
- W2382749079 hasOpenAccess W2382749079 @default.
- W2382749079 hasPrimaryLocation W23827490791 @default.
- W2382749079 hasRelatedWork W1504629315 @default.
- W2382749079 hasRelatedWork W1529660934 @default.
- W2382749079 hasRelatedWork W1536312969 @default.
- W2382749079 hasRelatedWork W1566035118 @default.
- W2382749079 hasRelatedWork W1567743911 @default.
- W2382749079 hasRelatedWork W1990357312 @default.
- W2382749079 hasRelatedWork W2020110156 @default.
- W2382749079 hasRelatedWork W2066213804 @default.
- W2382749079 hasRelatedWork W2080995911 @default.
- W2382749079 hasRelatedWork W2096226234 @default.
- W2382749079 hasRelatedWork W2099875977 @default.
- W2382749079 hasRelatedWork W2100003513 @default.
- W2382749079 hasRelatedWork W2101948642 @default.
- W2382749079 hasRelatedWork W2130283794 @default.
- W2382749079 hasRelatedWork W2140051071 @default.
- W2382749079 hasRelatedWork W2159034671 @default.
- W2382749079 hasRelatedWork W2356273129 @default.
- W2382749079 hasRelatedWork W2384576290 @default.
- W2382749079 hasRelatedWork W2393138795 @default.
- W2382749079 hasRelatedWork W3107933071 @default.
- W2382749079 isParatext "false" @default.
- W2382749079 isRetracted "false" @default.
- W2382749079 magId "2382749079" @default.
- W2382749079 workType "article" @default.