51 search results - page 5 / 11 » Verification of Embedded Systems using a Petri Net based Rep... |
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
In terms of the progress of the industry, the velocity and dynamic nature of the global environment, has caused serious damage and diminished our earth’s resources. A lot of eff...
APN
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, we define Time Petri Nets with Inhibitor Hyperarcs (IHTPN) as an extension of T-time Petri nets where time is associated with transitions. In this model, ...
IWSSD
2000
IEEE
14 years 11 hour ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
TOPNOC
2008
13 years 7 months ago
2008
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...
ACSD
1998
IEEE
13 years 12 months ago
1998
IEEE
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...