Research Article
Effective Stochastic Modeling of Energy-Constrained Wireless Sensor Networks
Table 11
Closed system model Petri net transition parameters.
| | Transition | Type | Delay | Global guard |
| | DET | | (Wait ) | | RadioStartUpDelay_R | DET | 0.000194 | () | | RadioTurnOn | INST | — | (() ∥ ()) | | Channel_Listening | DET | 0.001 | (() ∥ ()) | | Transmitting_Receiving | DET | 0.000576 | NA | | Power_Up_Delay | DET | 0.253 | (Buffer ) | | INST | — | () | | DVS_Delay | DET | 0.05 | NA | | DVS_1 | DET | 0.03 | (Local Guard) | | DVS_2 | DET | 0.01 | (Local Guard) | | DVS_3 | DET | 0.081578 | (Local Guard) | | INST | — | ((Buffer ) && () | | && ()) | | INST | — | ((Buffer ) && () | | && ()) | | INST | — | (() ∥ (Wait )) | | Task_Delay_Per_Job | DET | 0.000001 | | | RadioStartUpDelay_T | DET | 0.000194 | (() && (Buffer ) | | &&()) | | INST | — | ((Buffer ) && () | | && ()) | | Power_Down_Delay | DET | PDT | ((Buffer ) && ()) | | Wait_Transmitting | INST | — | () | | Wait_Begin | INST | — | () |
|
|
