diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2019-09-11 11:21:08 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-09-11 11:21:08 +0200 |
| commit | 6c602c82a7c8285d1a41cfbf714cbd2ea09b182f (patch) | |
| tree | e3ed3091dcd4f7cdc99651cee06383b2215cd0f0 /bin/generate-dfa-benchmark.py | |
| parent | 65724c3c3015a8d3b473bab83da5fb5d72d01dd1 (diff) | |
PTA: Use "None" transition for sleep
This way, PTA models can have sleep transitions without conflict
Diffstat (limited to 'bin/generate-dfa-benchmark.py')
0 files changed, 0 insertions, 0 deletions