133 search results - page 1 / 27 » Petri Nets, Traces, and Local Model Checking |
AMAST
1995
Springer
15 years 2 months ago
1995
Springer
84
Voted
CHARME
2001
Springer
15 years 3 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...
99
Voted
COCOON
2003
Springer
15 years 4 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...
104
click to vote
TCS
2008
14 years 10 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...
86
Voted
ACIIDS
2010
IEEE
15 years 1 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...