Matches in SemOpenAlex for { <https://semopenalex.org/work/W2080995911> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2080995911 endingPage "2236" @default.
- W2080995911 startingPage "2232" @default.
- W2080995911 abstract "We study the refinement operation of Petri net based Representation for Embedded Systems (PRES+). A refinement of Petri nets is an important transformation to preserve properties of original nets. For systems specified in PRES+, this paper proposes a kind of refinement operation for PRES+ and gives some conditions to preserve important properties, such as reachability, timing and functionality." @default.
- W2080995911 created "2016-06-24" @default.
- W2080995911 creator A5004503690 @default.
- W2080995911 creator A5027815562 @default.
- W2080995911 creator A5057107401 @default.
- W2080995911 creator A5069883998 @default.
- W2080995911 date "2013-06-01" @default.
- W2080995911 modified "2023-09-26" @default.
- W2080995911 title "Property Preservation of Petri Refinement Net Based Representation for Embedded Systems" @default.
- W2080995911 cites W1976173764 @default.
- W2080995911 cites W1989611422 @default.
- W2080995911 cites W1999698448 @default.
- W2080995911 cites W2000106464 @default.
- W2080995911 cites W2006546956 @default.
- W2080995911 cites W2009016637 @default.
- W2080995911 cites W2018476511 @default.
- W2080995911 cites W2112461649 @default.
- W2080995911 doi "https://doi.org/10.4028/www.scientific.net/amm.321-324.2232" @default.
- W2080995911 hasPublicationYear "2013" @default.
- W2080995911 type Work @default.
- W2080995911 sameAs 2080995911 @default.
- W2080995911 citedByCount "0" @default.
- W2080995911 crossrefType "journal-article" @default.
- W2080995911 hasAuthorship W2080995911A5004503690 @default.
- W2080995911 hasAuthorship W2080995911A5027815562 @default.
- W2080995911 hasAuthorship W2080995911A5057107401 @default.
- W2080995911 hasAuthorship W2080995911A5069883998 @default.
- W2080995911 hasConcept C104317684 @default.
- W2080995911 hasConcept C111472728 @default.
- W2080995911 hasConcept C120314980 @default.
- W2080995911 hasConcept C136643341 @default.
- W2080995911 hasConcept C138885662 @default.
- W2080995911 hasConcept C14166107 @default.
- W2080995911 hasConcept C17744445 @default.
- W2080995911 hasConcept C185592680 @default.
- W2080995911 hasConcept C189950617 @default.
- W2080995911 hasConcept C197551870 @default.
- W2080995911 hasConcept C199360897 @default.
- W2080995911 hasConcept C199539241 @default.
- W2080995911 hasConcept C204241405 @default.
- W2080995911 hasConcept C2524010 @default.
- W2080995911 hasConcept C2776359362 @default.
- W2080995911 hasConcept C33923547 @default.
- W2080995911 hasConcept C38677869 @default.
- W2080995911 hasConcept C41008148 @default.
- W2080995911 hasConcept C55493867 @default.
- W2080995911 hasConcept C80444323 @default.
- W2080995911 hasConcept C94625758 @default.
- W2080995911 hasConceptScore W2080995911C104317684 @default.
- W2080995911 hasConceptScore W2080995911C111472728 @default.
- W2080995911 hasConceptScore W2080995911C120314980 @default.
- W2080995911 hasConceptScore W2080995911C136643341 @default.
- W2080995911 hasConceptScore W2080995911C138885662 @default.
- W2080995911 hasConceptScore W2080995911C14166107 @default.
- W2080995911 hasConceptScore W2080995911C17744445 @default.
- W2080995911 hasConceptScore W2080995911C185592680 @default.
- W2080995911 hasConceptScore W2080995911C189950617 @default.
- W2080995911 hasConceptScore W2080995911C197551870 @default.
- W2080995911 hasConceptScore W2080995911C199360897 @default.
- W2080995911 hasConceptScore W2080995911C199539241 @default.
- W2080995911 hasConceptScore W2080995911C204241405 @default.
- W2080995911 hasConceptScore W2080995911C2524010 @default.
- W2080995911 hasConceptScore W2080995911C2776359362 @default.
- W2080995911 hasConceptScore W2080995911C33923547 @default.
- W2080995911 hasConceptScore W2080995911C38677869 @default.
- W2080995911 hasConceptScore W2080995911C41008148 @default.
- W2080995911 hasConceptScore W2080995911C55493867 @default.
- W2080995911 hasConceptScore W2080995911C80444323 @default.
- W2080995911 hasConceptScore W2080995911C94625758 @default.
- W2080995911 hasLocation W20809959111 @default.
- W2080995911 hasOpenAccess W2080995911 @default.
- W2080995911 hasPrimaryLocation W20809959111 @default.
- W2080995911 hasRelatedWork W105399774 @default.
- W2080995911 hasRelatedWork W1495574071 @default.
- W2080995911 hasRelatedWork W1550244413 @default.
- W2080995911 hasRelatedWork W2131791722 @default.
- W2080995911 hasRelatedWork W2148834714 @default.
- W2080995911 hasRelatedWork W2160063844 @default.
- W2080995911 hasRelatedWork W2171468557 @default.
- W2080995911 hasRelatedWork W2189501349 @default.
- W2080995911 hasRelatedWork W2293352129 @default.
- W2080995911 hasRelatedWork W1692587359 @default.
- W2080995911 hasVolume "321-324" @default.
- W2080995911 isParatext "false" @default.
- W2080995911 isRetracted "false" @default.
- W2080995911 magId "2080995911" @default.
- W2080995911 workType "article" @default.