81 search results - page 1 / 17 » On the Computation of Stubborn Sets of Colored Petri Nets |
APN
2006
Springer
13 years 10 months ago
2006
Springer
MASCOTS
2008
13 years 7 months ago
2008
Commercial servers, such as database or application servers, often attempt to improve performance via multithreading. Improper multi-threading architectures can incur contention, ...
ACIIDS
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract. A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational mode...
FORTE
2007
13 years 7 months ago
2007
Positive flows provide very useful informations that can be used to perform efficient analysis of a model. Although algorithms computing (a generative family of) positive flows i...
APN
2010
Springer
13 years 11 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...