Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098552099> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2098552099 endingPage "1158" @default.
- W2098552099 startingPage "1147" @default.
- W2098552099 abstract "The aim of this work is the modeling and verification of concurrent systems subject to dynamic changes using extensions of Petri nets. We begin by introducing the notion of net rewriting system. In a net rewriting system, a system configuration is described as a Petri net and a change in configuration is described as a graph rewriting rule. We show that net rewriting systems are Turing powerful, that is, the basic decidable properties of Petri nets are lost and, thus, automatic verification in not possible for this class. A subclass of net rewriting systems are reconfigurable Petri nets. In a reconfigurable Petri net, a change in configuration amounts to the modification of the flow relations of the places in the domain of the involved rule according to this rule, independently of the context in which this rewriting applies. We show that reconfigurable Petri nets are formally equivalent to Petri nets. This equivalence ensures that all the fundamental properties of Petri nets are still decidable for reconfigurable Petri nets and this model is thus amenable to automatic verification tools. Therefore, the expressiveness of both models is the same, but, with reconfigurable Petri nets, we can easily and directly model systems that change their structure dynamically." @default.
- W2098552099 created "2016-06-24" @default.
- W2098552099 creator A5014984732 @default.
- W2098552099 creator A5057653873 @default.
- W2098552099 date "2004-09-01" @default.
- W2098552099 modified "2023-10-07" @default.
- W2098552099 title "Structural and dynamic changes in concurrent systems: reconfigurable Petri nets" @default.
- W2098552099 cites W1511881082 @default.
- W2098552099 cites W1513999490 @default.
- W2098552099 cites W1547997140 @default.
- W2098552099 cites W1591752798 @default.
- W2098552099 cites W1759934887 @default.
- W2098552099 cites W1996109622 @default.
- W2098552099 cites W1996868296 @default.
- W2098552099 cites W2042363190 @default.
- W2098552099 cites W2128932399 @default.
- W2098552099 doi "https://doi.org/10.1109/tc.2004.66" @default.
- W2098552099 hasPublicationYear "2004" @default.
- W2098552099 type Work @default.
- W2098552099 sameAs 2098552099 @default.
- W2098552099 citedByCount "87" @default.
- W2098552099 countsByYear W20985520992012 @default.
- W2098552099 countsByYear W20985520992013 @default.
- W2098552099 countsByYear W20985520992014 @default.
- W2098552099 countsByYear W20985520992015 @default.
- W2098552099 countsByYear W20985520992016 @default.
- W2098552099 countsByYear W20985520992017 @default.
- W2098552099 countsByYear W20985520992018 @default.
- W2098552099 countsByYear W20985520992019 @default.
- W2098552099 countsByYear W20985520992020 @default.
- W2098552099 countsByYear W20985520992021 @default.
- W2098552099 countsByYear W20985520992022 @default.
- W2098552099 countsByYear W20985520992023 @default.
- W2098552099 crossrefType "journal-article" @default.
- W2098552099 hasAuthorship W2098552099A5014984732 @default.
- W2098552099 hasAuthorship W2098552099A5057653873 @default.
- W2098552099 hasConcept C132525143 @default.
- W2098552099 hasConcept C136155141 @default.
- W2098552099 hasConcept C153269930 @default.
- W2098552099 hasConcept C154690210 @default.
- W2098552099 hasConcept C197551870 @default.
- W2098552099 hasConcept C199360897 @default.
- W2098552099 hasConcept C2777669093 @default.
- W2098552099 hasConcept C38677869 @default.
- W2098552099 hasConcept C41008148 @default.
- W2098552099 hasConcept C558772884 @default.
- W2098552099 hasConcept C80444323 @default.
- W2098552099 hasConceptScore W2098552099C132525143 @default.
- W2098552099 hasConceptScore W2098552099C136155141 @default.
- W2098552099 hasConceptScore W2098552099C153269930 @default.
- W2098552099 hasConceptScore W2098552099C154690210 @default.
- W2098552099 hasConceptScore W2098552099C197551870 @default.
- W2098552099 hasConceptScore W2098552099C199360897 @default.
- W2098552099 hasConceptScore W2098552099C2777669093 @default.
- W2098552099 hasConceptScore W2098552099C38677869 @default.
- W2098552099 hasConceptScore W2098552099C41008148 @default.
- W2098552099 hasConceptScore W2098552099C558772884 @default.
- W2098552099 hasConceptScore W2098552099C80444323 @default.
- W2098552099 hasIssue "9" @default.
- W2098552099 hasLocation W20985520991 @default.
- W2098552099 hasOpenAccess W2098552099 @default.
- W2098552099 hasPrimaryLocation W20985520991 @default.
- W2098552099 hasRelatedWork W1531156418 @default.
- W2098552099 hasRelatedWork W1543378523 @default.
- W2098552099 hasRelatedWork W1776999661 @default.
- W2098552099 hasRelatedWork W2020140696 @default.
- W2098552099 hasRelatedWork W2148229336 @default.
- W2098552099 hasRelatedWork W2396103282 @default.
- W2098552099 hasRelatedWork W2935928249 @default.
- W2098552099 hasRelatedWork W2961758588 @default.
- W2098552099 hasRelatedWork W4255837018 @default.
- W2098552099 hasRelatedWork W2584984136 @default.
- W2098552099 hasVolume "53" @default.
- W2098552099 isParatext "false" @default.
- W2098552099 isRetracted "false" @default.
- W2098552099 magId "2098552099" @default.
- W2098552099 workType "article" @default.