mirror of
https://github.com/Echtzeitsysteme/tchecker.git
synced 2024-06-03 02:31:55 +00:00
26 lines
496 B
Plaintext
26 lines
496 B
Plaintext
# This file is a part of the TChecker project.
|
|
#
|
|
# See files AUTHORS and LICENSE for copyright details.
|
|
|
|
system:ad94_fig10
|
|
|
|
clock:1:x
|
|
clock:1:y
|
|
|
|
event:a
|
|
event:b
|
|
event:c
|
|
event:d
|
|
|
|
process:P
|
|
location:P:l0{initial:}
|
|
location:P:l1{}
|
|
location:P:l2{}
|
|
location:P:l3{labels: green}
|
|
edge:P:l0:l1:a{do:y=0}
|
|
edge:P:l1:l2:b{provided: y==100000000}
|
|
edge:P:l1:l3:c{provided: x<100000000}
|
|
edge:P:l2:l3:c{provided: x<100000000}
|
|
edge:P:l3:l1:a{provided: y<100000000 : do:y=0}
|
|
edge:P:l3:l3:d{provided: x>100000000}
|