7 search results - page 2 / 2 » Weak Time Petri Nets Strike Back! |
ENTCS
2002
13 years 6 months ago
2002
Petri nets where, to my knowledge, the first theoretical model augmented with time constraints [Mer74], and the support of the first reachability algorithm of timed system [BM83, ...
FORMATS
2003
Springer
13 years 11 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...