by the values reached by 0.7*qc, i.e., max(qe) alt; max(0.7*qc) and min(qe) agt; min( 0.7*qc) (as long as qe(0) is also within this interval). ... t2, t4//| i I p5, Pn with M0 consisting in one token in P5, one in Pn and one in Pn. When ts is fired (Valt;10), t3 //13 is fired without delay (the proof is similar to that of H2 and H3). ... The Unified Modeling Language User Guide, Addison-Wesley Longman, Inc. Harlow, England.
|Title||:||Analysis and Design of Hybrid Systems 2003 (ADHS 03)|
|Author||:||Sebastian Engell, H. Guéguen, J. Zaytoon|
|Publisher||:||Elsevier - 2003|