Matches in SemOpenAlex for { <https://semopenalex.org/work/W3125807229> ?p ?o ?g. }
- W3125807229 endingPage "2491" @default.
- W3125807229 startingPage "2479" @default.
- W3125807229 abstract "Due to the mobility and frequent disconnections, the correctness of mobile interaction systems, such as mobile robot systems and mobile payment systems, are often difficult to analyze. This paper introduces three critical properties of systems, called system connectivity, interaction soundness and data validity, and presents a related modeling and analysis method, based on a kind of Petri nets called VPN. For a given system, a model including component nets and interaction structure nets is constructed by using VPNs. The component net describes the internal process of each component, while the interaction structure net reflects the dynamic interaction between components. Based on this model, three properties are defined and analyzed. The case study of a practical mobile payment system shows the effectiveness of the proposed method." @default.
- W3125807229 created "2021-02-01" @default.
- W3125807229 creator A5041681214 @default.
- W3125807229 creator A5046301737 @default.
- W3125807229 creator A5066099338 @default.
- W3125807229 creator A5081318069 @default.
- W3125807229 date "2023-10-01" @default.
- W3125807229 modified "2023-10-08" @default.
- W3125807229 title "Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets" @default.
- W3125807229 cites W100603024 @default.
- W3125807229 cites W1541027160 @default.
- W3125807229 cites W1627557152 @default.
- W3125807229 cites W189832592 @default.
- W3125807229 cites W1964412949 @default.
- W3125807229 cites W1987089173 @default.
- W3125807229 cites W1996109622 @default.
- W3125807229 cites W2051748040 @default.
- W3125807229 cites W2061403756 @default.
- W3125807229 cites W2062052233 @default.
- W3125807229 cites W2077964797 @default.
- W3125807229 cites W2091260341 @default.
- W3125807229 cites W2098552099 @default.
- W3125807229 cites W2105572166 @default.
- W3125807229 cites W2107805549 @default.
- W3125807229 cites W2128026023 @default.
- W3125807229 cites W2137708046 @default.
- W3125807229 cites W2139756789 @default.
- W3125807229 cites W2144271133 @default.
- W3125807229 cites W2146395986 @default.
- W3125807229 cites W2225615039 @default.
- W3125807229 cites W2311728956 @default.
- W3125807229 cites W2342663885 @default.
- W3125807229 cites W2414410231 @default.
- W3125807229 cites W2530196882 @default.
- W3125807229 cites W2571654287 @default.
- W3125807229 cites W2774043027 @default.
- W3125807229 cites W2776443426 @default.
- W3125807229 cites W2804147884 @default.
- W3125807229 cites W2898666523 @default.
- W3125807229 cites W2993945154 @default.
- W3125807229 cites W2996975866 @default.
- W3125807229 cites W3002989136 @default.
- W3125807229 cites W3032967604 @default.
- W3125807229 cites W3033481339 @default.
- W3125807229 cites W3178180748 @default.
- W3125807229 cites W3196250682 @default.
- W3125807229 cites W3201914322 @default.
- W3125807229 cites W4206564133 @default.
- W3125807229 cites W4244672654 @default.
- W3125807229 cites W987895608 @default.
- W3125807229 doi "https://doi.org/10.1109/tase.2022.3206999" @default.
- W3125807229 hasPublicationYear "2023" @default.
- W3125807229 type Work @default.
- W3125807229 sameAs 3125807229 @default.
- W3125807229 citedByCount "4" @default.
- W3125807229 countsByYear W31258072292023 @default.
- W3125807229 crossrefType "journal-article" @default.
- W3125807229 hasAuthorship W3125807229A5041681214 @default.
- W3125807229 hasAuthorship W3125807229A5046301737 @default.
- W3125807229 hasAuthorship W3125807229A5066099338 @default.
- W3125807229 hasAuthorship W3125807229A5081318069 @default.
- W3125807229 hasBestOaLocation W31258072292 @default.
- W3125807229 hasConcept C111919701 @default.
- W3125807229 hasConcept C11413529 @default.
- W3125807229 hasConcept C120314980 @default.
- W3125807229 hasConcept C121332964 @default.
- W3125807229 hasConcept C136155141 @default.
- W3125807229 hasConcept C154945302 @default.
- W3125807229 hasConcept C168167062 @default.
- W3125807229 hasConcept C199360897 @default.
- W3125807229 hasConcept C19966478 @default.
- W3125807229 hasConcept C38677869 @default.
- W3125807229 hasConcept C39920170 @default.
- W3125807229 hasConcept C41008148 @default.
- W3125807229 hasConcept C55439883 @default.
- W3125807229 hasConcept C90509273 @default.
- W3125807229 hasConcept C97355855 @default.
- W3125807229 hasConcept C98045186 @default.
- W3125807229 hasConceptScore W3125807229C111919701 @default.
- W3125807229 hasConceptScore W3125807229C11413529 @default.
- W3125807229 hasConceptScore W3125807229C120314980 @default.
- W3125807229 hasConceptScore W3125807229C121332964 @default.
- W3125807229 hasConceptScore W3125807229C136155141 @default.
- W3125807229 hasConceptScore W3125807229C154945302 @default.
- W3125807229 hasConceptScore W3125807229C168167062 @default.
- W3125807229 hasConceptScore W3125807229C199360897 @default.
- W3125807229 hasConceptScore W3125807229C19966478 @default.
- W3125807229 hasConceptScore W3125807229C38677869 @default.
- W3125807229 hasConceptScore W3125807229C39920170 @default.
- W3125807229 hasConceptScore W3125807229C41008148 @default.
- W3125807229 hasConceptScore W3125807229C55439883 @default.
- W3125807229 hasConceptScore W3125807229C90509273 @default.
- W3125807229 hasConceptScore W3125807229C97355855 @default.
- W3125807229 hasConceptScore W3125807229C98045186 @default.
- W3125807229 hasFunder F4320321001 @default.
- W3125807229 hasFunder F4320323893 @default.
- W3125807229 hasFunder F4320335777 @default.
- W3125807229 hasIssue "4" @default.