models.nv
· 1.0 KiB · Text
Raw
Playground
|# A turnstile, a state machine. #|
|:state: locked :action: push| :state: locked
|:state: locked :action: coin| :state: un-locked
|:state: un-locked :action: push| :state: locked
|:state: un-locked :action: coin| :state: un-locked
|| :state: locked :action: (push coin coin push)
|# A restaurant, a petri net. #|
|:customer 1: :waiter free:| :customer 1 waiting: :order taken:
|:customer 2: :waiter free:| :customer 2 waiting: :order taken:
|:customer 1 waiting: :waiter free:| :customer 1 eating: :waiter free:
|:customer 2 waiting: :waiter free:| :customer 2 eating: :waiter free:
|:order taken:| :waiter free:
|| :customer 1: :customer 2: :waiter free:
|# Taking transit, a flow chart. #|
|:ask: before 7 AM| :yes:
|:step: leave home|
:step: check time
|:step: check time :yes:| :step: take subway
|:step: check time :no: | :step: take bus
|:step: check time|
:ask: before 7 AM
:step: check time
|:step: take bus | :step: reach school
|:step: take subway| :step: reach school
||:step: leave home
| 1 | |# A turnstile, a state machine. #| |
| 2 | |
| 3 | |:state: locked :action: push| :state: locked |
| 4 | |:state: locked :action: coin| :state: un-locked |
| 5 | |
| 6 | |:state: un-locked :action: push| :state: locked |
| 7 | |:state: un-locked :action: coin| :state: un-locked |
| 8 | |
| 9 | || :state: locked :action: (push coin coin push) |
| 10 | |
| 11 | |
| 12 | |
| 13 | |
| 14 | |# A restaurant, a petri net. #| |
| 15 | |
| 16 | |:customer 1: :waiter free:| :customer 1 waiting: :order taken: |
| 17 | |:customer 2: :waiter free:| :customer 2 waiting: :order taken: |
| 18 | |
| 19 | |:customer 1 waiting: :waiter free:| :customer 1 eating: :waiter free: |
| 20 | |:customer 2 waiting: :waiter free:| :customer 2 eating: :waiter free: |
| 21 | |
| 22 | |:order taken:| :waiter free: |
| 23 | |
| 24 | || :customer 1: :customer 2: :waiter free: |
| 25 | |
| 26 | |
| 27 | |
| 28 | |
| 29 | |# Taking transit, a flow chart. #| |
| 30 | |
| 31 | |:ask: before 7 AM| :yes: |
| 32 | |
| 33 | |:step: leave home| |
| 34 | :step: check time |
| 35 | |
| 36 | |:step: check time :yes:| :step: take subway |
| 37 | |:step: check time :no: | :step: take bus |
| 38 | |:step: check time| |
| 39 | :ask: before 7 AM |
| 40 | :step: check time |
| 41 | |
| 42 | |:step: take bus | :step: reach school |
| 43 | |:step: take subway| :step: reach school |
| 44 | |
| 45 | ||:step: leave home |