From 964fb71d02f810913769550e65adccf592b40d4e Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Wed, 20 Jun 2018 17:50:44 +0100
Subject: [PATCH] Mutex generator (tgc)

---
 in/gen_drs_mutex.py | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/in/gen_drs_mutex.py b/in/gen_drs_mutex.py
index d9ede51..621c40a 100755
--- a/in/gen_drs_mutex.py
+++ b/in/gen_drs_mutex.py
@@ -7,19 +7,18 @@ options { use-context-automaton; }
 """
 CONTROLLER_STR = """
     ct {
-        {{lock},{release} -> {lock}};
+        {{lock},{leave} -> {lock}};
         {{req},{} -> {lock}};
     };
 """
 
 PROC_STR = """
     proc{:d} {{
-        {{{{out, busy}}, {{}} -> {{req}}}};
-        {{{{out}}, {{}} -> {{req}}}};
+        {{{{out}}, {{}} -> {{approach}}}};
+        {{{{approach}}, {{req}} -> {{req}}}};
         {{{{req}}, {{lock}} -> {{in}}}};
-        {{{{in}}, {{busy}} -> {{out, release}}}};
-        {{{{in, busy}}, {{}} -> {{in}}}};
-        {{{{in, lock}}, {{}} -> {{req}}}};
+        {{{{in}}, {{}} -> {{out,leave}}}};
+        {{{{req}}, {{in}} -> {{req}}}};
     }};
 """