51 search results - page 8 / 11 » Model Checking Bounded Prioritized Time Petri Nets |
125
click to vote
DEDS
2008
15 years 2 months ago
2008
This paper deals with the on-line monitoring of large systems modeled as Petri Nets under partial observation. The plant observation is given by a subset of transitions whose occu...
134
click to vote
SDL
2003
15 years 3 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
110
click to vote
ATVA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
108
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
98
Voted
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...