| summaryrefslogtreecommitdiff | 
path: root/tina_converter.py
diff options
Diffstat (limited to 'tina_converter.py')
| -rwxr-xr-x | tina_converter.py | 6 | 
1 files changed, 2 insertions, 4 deletions
diff --git a/tina_converter.py b/tina_converter.py index 8bdad33..26db9d0 100755 --- a/tina_converter.py +++ b/tina_converter.py @@ -7,8 +7,6 @@ import re  # Possible improvements  # - Remove the needless restriction on place names (pretty much anything should  #   be fine, since we're renaming them anyway. -# - Allow for a '-direct' invocation parameter, letting the user directly type -#   LeTos names and operators in the Petri net.  ## 'CONSTANTS' ################################################################  TINA_TRANSITION_REGEX = re.compile('tr t([0-9]+) : {(.*)} \[0,w\[ (.*) -> (.*)') @@ -22,7 +20,7 @@ CONDITION_OP['<='] = 2  CONDITION_OP['>='] = 3  CONDITION_OP['<'] = 4  CONDITION_OP['>'] = 5 -CONDITION_OPS = ['=', '<=', '>=', '<', '>'] +CONDITION_OPS = ['<=', '>=', '=', '<', '>']  CONDITION = dict()  # (ID, MIN_VALUE, MAX_VALUE) @@ -509,7 +507,7 @@ parser = argparse.ArgumentParser(  parser.add_argument(    'net_file',    type=argparse.FileType(mode='r', encoding='UTF-8'), -  help='The Tinal NET file' +  help='The Tina NET file'  )  parser.add_argument(    '-t',  | 


