Page 338 -
P. 338

334                                                      M. Pesic et al.




















                                               (a) DECLARE model











                                               (b) task bill is dead











                                              (c) task pickup is dead











                                                 (d) a conflict
                           Fig. 12.7 A DECLARE model with a conflict and two dead tasks
   333   334   335   336   337   338   339   340   341   342   343