176 search results - page 1 / 36 » Modelling with Generalized Stochastic Petri Nets |
QEST
2007
IEEE
13 years 11 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
DAC
2000
ACM
14 years 5 months ago
2000
ACM
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...
SIGMETRICS
1998
ACM
13 years 4 months ago
1998
ACM
TCSV
2010
12 years 11 months ago
2010
CPE
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...