Matches in SemOpenAlex for { <https://semopenalex.org/work/W4284975031> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W4284975031 endingPage "129" @default.
- W4284975031 startingPage "117" @default.
- W4284975031 abstract "Managing mobile ad hoc systems is a difficult task due to the high volatility of the systems' topology. Ad hoc systems are commonly defined by means of their constituent entities and the relationships between such entities, however, a formal specification and run-time execution model is missing. The benefit of a formal specification is that it can enable reasoning about local and global system properties, for example, determining whether the system can reach a given state. We propose a Petri net-based specification and execution model to manage ad hoc distributed systems. Our model enables spontaneous communication between previously unknown system components. The model is locally equivalent to standard Petri nets, and hence could be used for the verification of properties for system snapshots static with respect to connections and disconnection, in which it is possible to analyze liveness, reachability, or conflicts. We validate the usability of our distributed ad hoc Petri net model by modeling distributable systems as described by existing distributed Petri nets approaches. Additionally, we demonstrate the applicability and usability of the proposed model in distributed ad hoc networks by implementing the communication behavior of two prototypical ad hoc network applications, disaster and crisis management, and VANETs, successfully validating the appropriate behavior of the system in each case." @default.
- W4284975031 created "2022-07-10" @default.
- W4284975031 creator A5007499589 @default.
- W4284975031 creator A5026907664 @default.
- W4284975031 creator A5027708259 @default.
- W4284975031 creator A5037617485 @default.
- W4284975031 date "2022-11-01" @default.
- W4284975031 modified "2023-10-16" @default.
- W4284975031 title "Ad hoc systems management and specification with distributed Petri nets" @default.
- W4284975031 cites W125634580 @default.
- W4284975031 cites W1517193498 @default.
- W4284975031 cites W1756240635 @default.
- W4284975031 cites W1991069274 @default.
- W4284975031 cites W1994396286 @default.
- W4284975031 cites W1996109622 @default.
- W4284975031 cites W1999698448 @default.
- W4284975031 cites W2001965745 @default.
- W4284975031 cites W2003244731 @default.
- W4284975031 cites W2024189198 @default.
- W4284975031 cites W2080718905 @default.
- W4284975031 cites W2119046642 @default.
- W4284975031 cites W2128932399 @default.
- W4284975031 cites W2139722508 @default.
- W4284975031 cites W2145919358 @default.
- W4284975031 cites W2912003593 @default.
- W4284975031 cites W2969329095 @default.
- W4284975031 doi "https://doi.org/10.1016/j.jpdc.2022.06.015" @default.
- W4284975031 hasPublicationYear "2022" @default.
- W4284975031 type Work @default.
- W4284975031 citedByCount "1" @default.
- W4284975031 countsByYear W42849750312023 @default.
- W4284975031 crossrefType "journal-article" @default.
- W4284975031 hasAuthorship W4284975031A5007499589 @default.
- W4284975031 hasAuthorship W4284975031A5026907664 @default.
- W4284975031 hasAuthorship W4284975031A5027708259 @default.
- W4284975031 hasAuthorship W4284975031A5037617485 @default.
- W4284975031 hasConcept C110251889 @default.
- W4284975031 hasConcept C111919701 @default.
- W4284975031 hasConcept C116253237 @default.
- W4284975031 hasConcept C120314980 @default.
- W4284975031 hasConcept C136643341 @default.
- W4284975031 hasConcept C15569618 @default.
- W4284975031 hasConcept C197551870 @default.
- W4284975031 hasConcept C199360897 @default.
- W4284975031 hasConcept C38677869 @default.
- W4284975031 hasConcept C41008148 @default.
- W4284975031 hasConcept C555944384 @default.
- W4284975031 hasConcept C75606506 @default.
- W4284975031 hasConcept C80444323 @default.
- W4284975031 hasConcept C94523657 @default.
- W4284975031 hasConceptScore W4284975031C110251889 @default.
- W4284975031 hasConceptScore W4284975031C111919701 @default.
- W4284975031 hasConceptScore W4284975031C116253237 @default.
- W4284975031 hasConceptScore W4284975031C120314980 @default.
- W4284975031 hasConceptScore W4284975031C136643341 @default.
- W4284975031 hasConceptScore W4284975031C15569618 @default.
- W4284975031 hasConceptScore W4284975031C197551870 @default.
- W4284975031 hasConceptScore W4284975031C199360897 @default.
- W4284975031 hasConceptScore W4284975031C38677869 @default.
- W4284975031 hasConceptScore W4284975031C41008148 @default.
- W4284975031 hasConceptScore W4284975031C555944384 @default.
- W4284975031 hasConceptScore W4284975031C75606506 @default.
- W4284975031 hasConceptScore W4284975031C80444323 @default.
- W4284975031 hasConceptScore W4284975031C94523657 @default.
- W4284975031 hasLocation W42849750311 @default.
- W4284975031 hasOpenAccess W4284975031 @default.
- W4284975031 hasPrimaryLocation W42849750311 @default.
- W4284975031 hasRelatedWork W1479452007 @default.
- W4284975031 hasRelatedWork W1512376713 @default.
- W4284975031 hasRelatedWork W1638774901 @default.
- W4284975031 hasRelatedWork W1858598471 @default.
- W4284975031 hasRelatedWork W2073498911 @default.
- W4284975031 hasRelatedWork W2150142724 @default.
- W4284975031 hasRelatedWork W2990690886 @default.
- W4284975031 hasRelatedWork W3002989136 @default.
- W4284975031 hasRelatedWork W4284975031 @default.
- W4284975031 hasRelatedWork W2270245021 @default.
- W4284975031 hasVolume "169" @default.
- W4284975031 isParatext "false" @default.
- W4284975031 isRetracted "false" @default.
- W4284975031 workType "article" @default.