297 search results - page 19 / 60 » Validation of an agent based system using Petri Nets |
EUROPAR
1997
Springer
15 years 2 months ago
1997
Springer
The large latency of memory accesses is a major obstacle in obtaining high processor utilization in large scale shared-memory multiprocessors. Access to remote memory is likely to ...
HCSE
2010
14 years 9 months ago
2010
Abstract. The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anti...
APN
2003
Springer
15 years 4 months ago
2003
Springer
Fluidification is a common relaxation technique used to deal in a more friendly way with large discrete event dynamic systems. In Petri nets, fluidification leads to continuous ...
107
click to vote
FORMATS
2010
Springer
14 years 8 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
WSC
2004
15 years 4 days ago
2004
Stochastic Petri nets (SPNs) have proven to be a powerful and enduring graphically-oriented framework for modelling and performance analysis of complex systems. This tutorial focu...