98 search results - page 8 / 20 » LTL Model Checking for Modular Petri Nets |
AMAST
1995
Springer
13 years 10 months ago
1995
Springer
STTT
2008
13 years 5 months ago
2008
BMCBI
2008
13 years 6 months ago
2008
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
ACSD
2008
IEEE
13 years 8 months ago
2008
IEEE
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
ACSD
2005
IEEE
13 years 8 months ago
2005
IEEE
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model ...