352 search results - page 18 / 71 » Extended Timed Automata and Time Petri Nets |
DEDS
2007
13 years 7 months ago
2007
STTT
2008
13 years 5 months ago
2008
BIOSTEC
2008
13 years 8 months ago
2008
SIAMAM
2011
13 years 2 months ago
2011
New checkable criteria for persistence of chemical reaction networks are proposed, which extend and complement existing ones. The new results allow the consideration of reaction ra...
APN
2001
Springer
13 years 12 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...