/ 25Hong,Shin @ PSWLAB Interpreting P ROMELA models 3/5 08:02PROMELA Semantics19 cond: true effect: y!0 priority : high cond: first message in x matches 0 effect: x?0 priority : low cond: true effect: x!0 priority : high cond: first message in y matches 0 effect: none priority : low x!0y!0 x?0 y?0
{}