275 search results - page 8 / 55 » Optimization in Graph Transformation Systems Using Petri Net... |
129
click to vote
APN
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
123
click to vote
ACSD
2004
IEEE
15 years 6 months ago
2004
IEEE
The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling edges of...
123
click to vote
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
108
click to vote
EMISA
2002
Springer
15 years 2 months ago
2002
Springer
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...
118
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Understanding the hierarchical relationships among biochemical, metabolic, and physiological systems in the mapping between genotype and phenotype is expected to improve the diagno...