Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Modeling and Analysis of Three Properties of Mobile Interactive Systems
  Based on Variable Petri Nets   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.

15
The categories of this paper are: nucl-ex
20
The categories of this paper are: acc-phys
14
The categories of this paper are: math-ph
36
The categories of this paper are: cmp-lg
17
The categories of this paper are: q-fin
27
The categories of this paper are: comp-gas
22
The categories of this paper are: chao-dyn
11
The categories of this paper are: hep-lat
26
The categories of this paper are: bayes-an
18
The categories of this paper are: econ
31
The categories of this paper are: ao-sci
9
The categories of this paper are: nlin
5
The categories of this paper are: gr-qc
13
The categories of this paper are: quant-ph
16
The categories of this paper are: stat
34
The categories of this paper are: chem-ph