11 search results - page 1 / 3 » apn 2004 |
APN
2004
Springer
13 years 10 months ago
2004
Springer
APN
2004
Springer
13 years 10 months ago
2004
Springer
APN
2004
Springer
13 years 10 months ago
2004
Springer
This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological sys
APN
2004
Springer
13 years 10 months ago
2004
Springer
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...
APN
2004
Springer
13 years 10 months ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...