| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2016-10-05 15:39:19 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2016-10-05 15:39:19 +0200 |
| commit | 5872c303886568a7210082c0bd4b866bb8f71660 (patch) | |
| tree | 55756303980f69ddc4fc08003bcb110a32f8e9b0 /README | |
| parent | b1d478ec9adef50a4ce0891fd18b81b937ab41cd (diff) | |
net2rdp V3 release.
Diffstat (limited to 'README')
| -rw-r--r-- | README | 18 |
1 files changed, 14 insertions, 4 deletions
@@ -3,12 +3,22 @@ - A command line interface. - Python 3. - The ".net" file corresponding to your petri file (see associated section). -- A translation table (see associated section). +- A translation table (see associated section), if there are any aliases in your + Petri net. -python3 tina_converter.py NET_FILE TRANSLATION_TABLE OUTPUT_FILE +Having transitions with labels such as: +ACTION_EN_COURS=0/initNave,ETALON_CAPT_LUMIERE,raiseArm +in your Petri net is authorised. Notice that "ACTION_EN_COURS=0" is LeJos +syntax, and "initNave" is an alias. To enter LeJos actions with a parameter +directly in your Petri net, you must use the syntax +"LEJOS_ACTION_NAME:PARAM_VALUE". -Example: -python3 tina_converter.py question1.net translation_table.txt out.rdp +Calling the program: +python3 tina_converter.py [-t TRANSLATION_TABLE] NET_FILE OUTPUT_FILE + +Examples: +python3 tina_converter.py -t translation_table.txt question1.net out.rdp +python3 tina_converter.py question5.net out.rdp ## HOW TO GET THE .NET FILE #################################################### Having modeled your Petri net under Tina (http://projects.laas.fr/tina/), you |