Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Equivalence Checking in Embedded Systems Design Verification   In this report we focus on some aspects related to modeling and formal
verification of embedded systems. Many models have been proposed to represent
embedded systems. These models encompass a broad range of styles,
characteristics, and application domains and include the extensions of finite
state machines, data flow graphs, communication processes and Petri nets. In
this report, we have used a PRES+ model (Petri net based Representation for
Embedded Systems) as an extension of classical Petri net model that captures
concurrency, timing behaviour of embedded systems; it allows systems to be
representative in different levels of abstraction and improves expressiveness
by allowing the token to carry information. Modeling using PRES+, as discussed
above, may be convenient for specifying the input behaviour because it supports
concurrency. However, there is no equivalence checking method reported in the
literature for PRES+ models to the best of our knowledge. In contrast,
equivalence checking of FSMD models exist. As a first step, therefore, we seek
to devise an algorithm to translate PRES+ models to FSMD models.

25
The categories of this paper are: patt-sol
14
The categories of this paper are: math-ph
11
The categories of this paper are: hep-lat
13
The categories of this paper are: quant-ph
7
The categories of this paper are: hep-th
21
The categories of this paper are: adap-org
33
The categories of this paper are: plasm-ph
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
23
The categories of this paper are: solv-int
20
The categories of this paper are: acc-phys
10
The categories of this paper are: q-bio
6
The categories of this paper are: astro-ph
32
The categories of this paper are: atom-ph
27
The categories of this paper are: comp-gas
15
The categories of this paper are: nucl-ex