941 search results - page 8 / 189 » History-Dependent Petri Nets |
ACIIDS
2010
IEEE
13 years 10 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...
ISSE
2010
13 years 2 months ago
2010
In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of thei...
APN
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents the EXHOST-PIPE software: an extension of PIPE
LATA
2010
Springer
13 years 6 months ago
2010
Springer
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
TCS
1998
13 years 7 months ago
1998
The complexity of the reachability problem for live and safe free-choice Petri nets has been open for several years. Several partial results seemed to indicate that the problem is...