...
Both files will show which nodes are holding, and include the state of the holding trigger expressions.
Deadlock
This simulation is expected to fail, since we have a deadlock/ race condition
...
...
Both files will show which nodes are holding, and include the state of the holding trigger expressions.
This simulation is expected to fail, since we have a deadlock/ race condition
...