↓Skip to main content

tina2IPN

1.   📂   Start by loading your translation table
#


The result should appear below.

Here is an example of a correct translation table.

2.   📂   Choose your net file (in textual format) and check the result
#


Typical errors in .net files include:

  • mispelling a condition or an action in a label

  • forgetting the conditon in a transition. It is not possible to have a transition of the form: tr t1 : {/goBase} …; you need to provide at least a condition, say: {noAction/goBase}

  • forgetting to put a place after a transition in your Petri net

3.   💾   Save the rdp file by clicking the save button below
#

Save

You can directly load the resulting .rdp file in the simulator. Open the file in a text editor and check for the presence of spurious spaces or line breaks before opening it in PetriNXT. If you do not see a dialog to save the file, please check directly in your Downloads folder, since it may have automatically saved the file there.