51 search results - page 11 / 11 » Model Checking Bounded Prioritized Time Petri Nets |
EDCC
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...