Sciweavers

Share
11 search results - page 1 / 3
» apn 2004
Sort
View
APN
2004
Springer
12 years 3 months ago
Petri Net Based Model Validation in Systems Biology
This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological sys
Monika Heiner, Ina Koch
APN
2004
Springer
12 years 3 months ago
LTL Model Checking for Modular Petri Nets
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...
Timo Latvala, Marko Mäkelä
APN
2004
Springer
12 years 3 months ago
Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?
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...
Gianfranco Ciardo
books