Ревізії models.nv

1 file changed, 45 insertions

models.nv(файл створено)

		@@ -0,0 +1,45 @@
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

Новіше Пізніше