Matches in SemOpenAlex for { <https://semopenalex.org/work/W2035668814> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2035668814 endingPage "218" @default.
- W2035668814 startingPage "214" @default.
- W2035668814 abstract "Petri net refinement is a transformation by replacing a simple entity of a system with its functional and opera- tional details. In general, the refined system may become incorrect even if the original system is correct because some of its original properties may have been lost or some undesired properties may have been created. For systems specified in an expended Petri net, this paper proposes conditions imposed on a kind of transition subnet refinement under which tim- ing, functionality and reachability will be preserved. Such results can be applied nicely to solve design problems in intel- ligent building and also enhance the property-preserving approach and characterization-based approach for system verifi- cation. Keyword: Transformation, Petri nets, Property analysis, Equivalence, Modelling." @default.
- W2035668814 created "2016-06-24" @default.
- W2035668814 creator A5026967617 @default.
- W2035668814 date "2013-01-01" @default.
- W2035668814 modified "2023-09-24" @default.
- W2035668814 title "Property Analysis of Refinement of Petri Net Based Representation for Embedded Systems" @default.
- W2035668814 cites W1196129 @default.
- W2035668814 cites W1577329480 @default.
- W2035668814 cites W1589174359 @default.
- W2035668814 cites W1697788292 @default.
- W2035668814 cites W2000106464 @default.
- W2035668814 cites W2006546956 @default.
- W2035668814 cites W2009016637 @default.
- W2035668814 cites W2018476511 @default.
- W2035668814 cites W2100003513 @default.
- W2035668814 cites W2103052726 @default.
- W2035668814 cites W2112461649 @default.
- W2035668814 cites W2382749079 @default.
- W2035668814 cites W2519114537 @default.
- W2035668814 doi "https://doi.org/10.2174/1874444301305010214" @default.
- W2035668814 hasPublicationYear "2013" @default.
- W2035668814 type Work @default.
- W2035668814 sameAs 2035668814 @default.
- W2035668814 citedByCount "1" @default.
- W2035668814 countsByYear W20356688142016 @default.
- W2035668814 crossrefType "journal-article" @default.
- W2035668814 hasAuthorship W2035668814A5026967617 @default.
- W2035668814 hasBestOaLocation W20356688141 @default.
- W2035668814 hasConcept C111472728 @default.
- W2035668814 hasConcept C11413529 @default.
- W2035668814 hasConcept C138885662 @default.
- W2035668814 hasConcept C14166107 @default.
- W2035668814 hasConcept C17744445 @default.
- W2035668814 hasConcept C189950617 @default.
- W2035668814 hasConcept C199539241 @default.
- W2035668814 hasConcept C2524010 @default.
- W2035668814 hasConcept C2776359362 @default.
- W2035668814 hasConcept C33923547 @default.
- W2035668814 hasConcept C38677869 @default.
- W2035668814 hasConcept C41008148 @default.
- W2035668814 hasConcept C80444323 @default.
- W2035668814 hasConcept C94625758 @default.
- W2035668814 hasConceptScore W2035668814C111472728 @default.
- W2035668814 hasConceptScore W2035668814C11413529 @default.
- W2035668814 hasConceptScore W2035668814C138885662 @default.
- W2035668814 hasConceptScore W2035668814C14166107 @default.
- W2035668814 hasConceptScore W2035668814C17744445 @default.
- W2035668814 hasConceptScore W2035668814C189950617 @default.
- W2035668814 hasConceptScore W2035668814C199539241 @default.
- W2035668814 hasConceptScore W2035668814C2524010 @default.
- W2035668814 hasConceptScore W2035668814C2776359362 @default.
- W2035668814 hasConceptScore W2035668814C33923547 @default.
- W2035668814 hasConceptScore W2035668814C38677869 @default.
- W2035668814 hasConceptScore W2035668814C41008148 @default.
- W2035668814 hasConceptScore W2035668814C80444323 @default.
- W2035668814 hasConceptScore W2035668814C94625758 @default.
- W2035668814 hasIssue "1" @default.
- W2035668814 hasLocation W20356688141 @default.
- W2035668814 hasOpenAccess W2035668814 @default.
- W2035668814 hasPrimaryLocation W20356688141 @default.
- W2035668814 hasRelatedWork W105399774 @default.
- W2035668814 hasRelatedWork W1492717267 @default.
- W2035668814 hasRelatedWork W1557816992 @default.
- W2035668814 hasRelatedWork W2027131958 @default.
- W2035668814 hasRelatedWork W2357471722 @default.
- W2035668814 hasRelatedWork W2389566925 @default.
- W2035668814 hasRelatedWork W2588650882 @default.
- W2035668814 hasRelatedWork W3008621419 @default.
- W2035668814 hasRelatedWork W3097427052 @default.
- W2035668814 hasRelatedWork W67366990 @default.
- W2035668814 hasVolume "7" @default.
- W2035668814 isParatext "false" @default.
- W2035668814 isRetracted "false" @default.
- W2035668814 magId "2035668814" @default.
- W2035668814 workType "article" @default.