Using the tool

The command to run FC2Instantiate is:

JAVA_CMD -cp FC2Instantiate.jar:FC2Parser.jar:jargs.jar\
fr.inria.oasis.fc2.FC2Instantiate [-o <net_file_output>]\
-d <definition.fc2> [-v] <instantiations.fc2>+

where JAVA_CMD is the Java runtime command and

• $<$net_file_output$>$ is an optional file to print the result. If it is not given the result will be print to the standard output.
• $<$definition.fc2$>$ is the file describing the parameterized system (in FC2 parameterized format)
• $<$instantiations.fc2$>$+ is a list of files defining the domain of the global variables. If a variable is defined in more than one file, it takes the value defined in the last file where it is defined.
• -v for extra information (debugging)