Commit 6adae9a2 authored by Jaime Arias's avatar Jaime Arias
Browse files

Add two examples

parent fe85a630
4
Get0 Put0 Get1 Put1
\ No newline at end of file
#place C0 mk(<..>)
#place E0
#place A0 mk(<..>)
#place B0
#place D0
#place F0
#place G0
#place H0
#place C1 mk(<..>)
#place E1
#place A1 mk(<..>)
#place B1
#place D1
#place F1
#place G1
#place H1
#trans Free0
in {A0:<..>;C1:<..>;}
out {B0:<..>;E1:<..>;}
#endtr
#trans Used0
in {H0:<..>;C1:<..>;}
out {B0:<..>;D1:<..>;}
#endtr
#trans Get0
in {F0:<..>;B0:<..>;}
out {C0:<..>;A0:<..>;}
#endtr
#trans Put0
in {B0:<..>;G0:<..>;}
out {C0:<..>;H0:<..>;}
#endtr
#trans Other0
in {D0:<..>;}
out {G0:<..>;}
#endtr
#trans Owner0
in {D0:<..>;}
out {E0:<..>;}
#endtr
#trans GoOn0
in {E0:<..>;}
out {F0:<..>;}
#endtr
#trans Write0
in {E0:<..>;}
out {G0:<..>;}
#endtr
#trans Free1
in {A1:<..>;C0:<..>;}
out {B1:<..>;E0:<..>;}
#endtr
#trans Used1
in {H1:<..>;C0:<..>;}
out {B1:<..>;D0:<..>;}
#endtr
#trans Get1
in {F1:<..>;B1:<..>;}
out {C1:<..>;A1:<..>;}
#endtr
#trans Put1
in {B1:<..>;G1:<..>;}
out {C1:<..>;H1:<..>;}
#endtr
#trans Other1
in {D1:<..>;}
out {G1:<..>;}
#endtr
#trans Owner1
in {D1:<..>;}
out {E1:<..>;}
#endtr
#trans GoOn1
in {E1:<..>;}
out {F1:<..>;}
#endtr
#trans Write1
in {E1:<..>;}
out {G1:<..>;}
#endtr
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment