少しずつ勉強を進める。
まずは完全に動作するモデルを書くところから。
Definition
(define-event a)
(define-event b)
(define-event c)
SYS
(define-process S
(seq P Q))
(define-process P
(alt (! a SKIP)
(! b STOP)))
(define-process Q
(! c SKIP))
More than 5 years have passed since last update.
Register as a new user and use Qiita more conveniently
- You get articles that match your needs
- You can efficiently read back useful information
- You can use dark theme
List of users who liked
21