133 search results - page 1 / 27 » Petri Nets, Traces, and Local Model Checking |
AMAST
1995
Springer
13 years 8 months ago
1995
Springer
CHARME
2001
Springer
13 years 9 months ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
COCOON
2003
Springer
13 years 10 months ago
2003
Springer
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...
TCS
2008
13 years 5 months ago
2008
We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-concurrency semantics--this means that traces, not firing sequences, are given a...
ACIIDS
2010
IEEE
13 years 7 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...