231 search results - page 10 / 47 » Time Recursive Petri Nets |
DEDS
2006
13 years 7 months ago
2006
In this paper, we propose a method for building the state class graph of a bounded time Petri net (TPN) as a timed automaton (TA), which we call the state class timed automaton. We...
TII
2011
13 years 2 months ago
2011
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
FORMATS
2005
Springer
14 years 1 months ago
2005
Springer
JSS
2006
13 years 7 months ago
2006
CHARME
2001
Springer
14 years 1 days ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...