Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets
Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets
About this item
Full title
Author / Creator
Publisher
Ithaca: Cornell University Library, arXiv.org
Journal title
Language
English
Formats
Publication information
Publisher
Ithaca: Cornell University Library, arXiv.org
Subjects
More information
Scope and Contents
Contents
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...
Alternative Titles
Full title
Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_proquest_journals_2478675684
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_proquest_journals_2478675684
Other Identifiers
E-ISSN
2331-8422
DOI
10.48550/arxiv.2101.06104
