11 search results - page 1 / 3 » apn 2004 |
APN
2004
Springer
15 years 4 months ago
2004
Springer
APN
2004
Springer
15 years 4 months ago
2004
Springer
APN
2004
Springer
15 years 4 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
15 years 4 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
15 years 4 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...