38 lines
1.2 KiB
Plaintext
38 lines
1.2 KiB
Plaintext
Environment: [
|
|
k1 = ({}.k1 + {act_1}.k1),
|
|
k2 = ({}.k2 + {act_2}.k2),
|
|
k3 = ({}.k3 + {act_3}.k3),
|
|
]
|
|
Initial Entities: {out_1, out_2, out_3}
|
|
Context: [k1, k2, k3]
|
|
Reactions: (
|
|
[{out_1}, {act_1}, {out_1}];
|
|
[{req_1}, {act_1}, {req_1}];
|
|
[{req_1,lock}, {}, {req_1}];
|
|
[{req_1,act_2}, {}, {req_1}];
|
|
[{req_1,act_3}, {}, {req_1}];
|
|
[{in_1}, {act_1}, {in_1}];
|
|
[{out_1,act_1}, {}, {req_1}];
|
|
[{req_1,act_1}, {lock,act_2,act_3}, {in_1,lock}];
|
|
[{in_1,act_1}, {}, {out_1,done}];
|
|
[{out_2}, {act_2}, {out_2}];
|
|
[{req_2}, {act_2}, {req_2}];
|
|
[{req_2,lock}, {}, {req_2}];
|
|
[{req_2,act_1}, {}, {req_2}];
|
|
[{req_2,act_3}, {}, {req_2}];
|
|
[{in_2}, {act_2}, {in_2}];
|
|
[{out_2,act_2}, {}, {req_2}];
|
|
[{req_2,act_2}, {lock,act_1,act_3}, {in_2,lock}];
|
|
[{in_2,act_2}, {}, {out_2,done}];
|
|
[{out_3}, {act_3}, {out_3}];
|
|
[{req_3}, {act_3}, {req_3}];
|
|
[{req_3,lock}, {}, {req_3}];
|
|
[{req_3,act_1}, {}, {req_3}];
|
|
[{req_3,act_2}, {}, {req_3}];
|
|
[{in_3}, {act_3}, {in_3}];
|
|
[{out_3,act_3}, {}, {req_3}];
|
|
[{req_3,act_3}, {lock,act_1,act_2}, {in_3,lock}];
|
|
[{in_3,act_3}, {}, {out_3,done}];
|
|
[{lock}, {done}, {lock}];
|
|
)
|