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