Usage of PetriCode

petriCode [options] cpnmodel.cpn

Options

 -a,--use-att                        Uses the ATT given as an argument and
                                     bypasses deriving pragmatics and ATT
                                     generation.
 -b,--template-bindings    specifies template bindings
 -c,--no-core-pragmatics             disables the default core pragmatics
 -h,--help                           Usage information
    --no-constraint-checks           Turns off constraint checks on
                                     pragmatics
    --no-derived                     No derived pragmatics will be added
 -o,--output-dir <dir>               The output directory (default: .)
    --only-output-annotated-net      write the annotated net to the output
                                     dir and exit
    --only-output-att                Outputs the ATT as an xml document
                                     and exit
    --only-output-att-image          Outputs the ATT as an image
    --output-annotated-net           write the annotated net to the output
                                     dir
    --output-att                     Outputs the ATT as an xml document
    --output-att-image               Outputs the ATT as an image
 -p,--pragmatics-specification       sets an additional set of pragmatics
                                     for the model
    --strict                         Forces stricter checks on pragmatic
                                     constraints and bindings