98 search results - page 8 / 20 » LTL Model Checking for Modular Petri Nets |
103
Voted
AMAST
1995
Springer
15 years 7 months ago
1995
Springer
103
Voted
STTT
2008
15 years 2 months ago
2008
152
click to vote
BMCBI
2008
15 years 3 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 ...
131
Voted
ACSD
2008
IEEE
15 years 5 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...
121
Voted
ACSD
2005
IEEE
15 years 5 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 ...