Matches in SemOpenAlex for { <https://semopenalex.org/work/W12401428> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W12401428 endingPage "530" @default.
- W12401428 startingPage "522" @default.
- W12401428 abstract "The design of dynamic or adaptable discrete-event systems needs for adequate modeling techniques in order to manage possible structural changes occurring during system's lifecycle. An usual approach is that of polluting design with details not concerning the (current) system behavior, rather its evolution. That hampers analysis, reuse and maintenance in general. A Petri net-based reflective layout based on classical Petri nets was recently proposed to support dynamic discrete-event system's design, and was applied to dynamic workflows. The basic idea is that keeping functional aspects separated from evolutionary ones, deploying evolution on the (current) system configuration when necessary, results in a clean formal model for dynamic systems. This model preserves the ability of verifying properties typical of classical Petri nets. As a first step toward the implementation of a discrete-event simulator, Reflective Petri nets are provided with a (symbolic) reduced state-transition graph." @default.
- W12401428 created "2016-06-24" @default.
- W12401428 creator A5035470347 @default.
- W12401428 creator A5046955540 @default.
- W12401428 date "2010-07-11" @default.
- W12401428 modified "2023-09-23" @default.
- W12401428 title "(Symbolic) state-space inspection of a class of dynamic Petri nets" @default.
- W12401428 cites W1554183872 @default.
- W12401428 cites W1577110168 @default.
- W12401428 cites W1697788292 @default.
- W12401428 cites W1756240635 @default.
- W12401428 cites W1759934887 @default.
- W12401428 cites W2027139596 @default.
- W12401428 cites W2078423317 @default.
- W12401428 cites W2103593928 @default.
- W12401428 cites W2113355185 @default.
- W12401428 cites W2146432221 @default.
- W12401428 cites W2950061798 @default.
- W12401428 cites W176051294 @default.
- W12401428 doi "https://doi.org/10.5555/1999416.1999483" @default.
- W12401428 hasPublicationYear "2010" @default.
- W12401428 type Work @default.
- W12401428 sameAs 12401428 @default.
- W12401428 citedByCount "1" @default.
- W12401428 countsByYear W124014282014 @default.
- W12401428 crossrefType "proceedings-article" @default.
- W12401428 hasAuthorship W12401428A5035470347 @default.
- W12401428 hasAuthorship W12401428A5046955540 @default.
- W12401428 hasConcept C105795698 @default.
- W12401428 hasConcept C112505250 @default.
- W12401428 hasConcept C120314980 @default.
- W12401428 hasConcept C121332964 @default.
- W12401428 hasConcept C127413603 @default.
- W12401428 hasConcept C132525143 @default.
- W12401428 hasConcept C136155141 @default.
- W12401428 hasConcept C154945302 @default.
- W12401428 hasConcept C177212765 @default.
- W12401428 hasConcept C197551870 @default.
- W12401428 hasConcept C206588197 @default.
- W12401428 hasConcept C2777212361 @default.
- W12401428 hasConcept C2779662365 @default.
- W12401428 hasConcept C33923547 @default.
- W12401428 hasConcept C38677869 @default.
- W12401428 hasConcept C41008148 @default.
- W12401428 hasConcept C548081761 @default.
- W12401428 hasConcept C62520636 @default.
- W12401428 hasConcept C72434380 @default.
- W12401428 hasConcept C77088390 @default.
- W12401428 hasConcept C80444323 @default.
- W12401428 hasConceptScore W12401428C105795698 @default.
- W12401428 hasConceptScore W12401428C112505250 @default.
- W12401428 hasConceptScore W12401428C120314980 @default.
- W12401428 hasConceptScore W12401428C121332964 @default.
- W12401428 hasConceptScore W12401428C127413603 @default.
- W12401428 hasConceptScore W12401428C132525143 @default.
- W12401428 hasConceptScore W12401428C136155141 @default.
- W12401428 hasConceptScore W12401428C154945302 @default.
- W12401428 hasConceptScore W12401428C177212765 @default.
- W12401428 hasConceptScore W12401428C197551870 @default.
- W12401428 hasConceptScore W12401428C206588197 @default.
- W12401428 hasConceptScore W12401428C2777212361 @default.
- W12401428 hasConceptScore W12401428C2779662365 @default.
- W12401428 hasConceptScore W12401428C33923547 @default.
- W12401428 hasConceptScore W12401428C38677869 @default.
- W12401428 hasConceptScore W12401428C41008148 @default.
- W12401428 hasConceptScore W12401428C548081761 @default.
- W12401428 hasConceptScore W12401428C62520636 @default.
- W12401428 hasConceptScore W12401428C72434380 @default.
- W12401428 hasConceptScore W12401428C77088390 @default.
- W12401428 hasConceptScore W12401428C80444323 @default.
- W12401428 hasIssue "1" @default.
- W12401428 hasLocation W124014281 @default.
- W12401428 hasOpenAccess W12401428 @default.
- W12401428 hasPrimaryLocation W124014281 @default.
- W12401428 hasRelatedWork W1582887914 @default.
- W12401428 hasRelatedWork W1997575049 @default.
- W12401428 hasRelatedWork W2001432192 @default.
- W12401428 hasRelatedWork W2019708429 @default.
- W12401428 hasRelatedWork W2028067644 @default.
- W12401428 hasRelatedWork W2030054002 @default.
- W12401428 hasRelatedWork W2047508430 @default.
- W12401428 hasRelatedWork W2076749410 @default.
- W12401428 hasRelatedWork W2081505989 @default.
- W12401428 hasRelatedWork W2102936076 @default.
- W12401428 hasRelatedWork W2110725381 @default.
- W12401428 hasRelatedWork W2111376623 @default.
- W12401428 hasRelatedWork W2115080273 @default.
- W12401428 hasRelatedWork W2130362667 @default.
- W12401428 hasRelatedWork W2396893816 @default.
- W12401428 hasRelatedWork W2519637596 @default.
- W12401428 hasRelatedWork W2534416985 @default.
- W12401428 hasRelatedWork W54683905 @default.
- W12401428 hasRelatedWork W65211799 @default.
- W12401428 hasRelatedWork W2125164140 @default.
- W12401428 isParatext "false" @default.
- W12401428 isRetracted "false" @default.
- W12401428 magId "12401428" @default.
- W12401428 workType "article" @default.