http://workcraft.org/ 2026-05-01T14:34:12+00:00 http://workcraft.org/ http://workcraft.org/_media/logo.svg text/html 2021-05-17T16:01:11+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/help/backend/mpsat?rev=1621267271&do=diff MPSat command line options Usage: mpsat [-h] or mpsat <mode> [<options>] [<in_file>] [<out_file>] The <mode> is one of the following: Unfolding/unravelling modes: -U[m|p] - Build a complete merged process (-Um) or unfolding prefix (-Up). Reachability-based formal verification modes: -D - Deadlock checking. -F[a|e|s]=<property_file> - Check a reachability-like property. Temporal property formal verification mode: -B=<property_file> - Check a stutter-invari… text/html 2018-10-31T13:32:12+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/help/backend/pcomp?rev=1540992732&do=diff PComp command line options Usage: pcomp [options] [@]file... The files in the command line are interpreted as STG files, except when prefixed with `@', in which case the file should contain a list of STG files, one per line (useful for avoiding the shell restriction on the length of the command line when composing many STGs). All the STGs, both in the command line and in the `@'-prefixed files, are used for composition. * The output signals of the STGs must be disjoint (this const… text/html 2018-10-31T13:32:12+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/help/backend/petrify?rev=1540992732&do=diff Petrify command line options usage: ./petrify [flags] [infile] General options: ---------------- -v print version only -d[n] debug level (n=1,2) -o outfile STG output file (default: stdout) -no output file not generated -log logfile log filename (default: petrify.log) -err errfile error filename (default: stderr) -nolog no log file generated -ip show implicit (1-fanin 1-fanout) places -dead do not check for the existence of d… text/html 2021-05-17T16:03:37+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/help/backend/punf?rev=1621267417&do=diff Punf command line options Usage: punf [-h] or punf [<options>] <net_file> The input net file must be in either FORMAT_N or FORMAT_N2 format (produced by the PEP tool). Alternatively, it must have the suffix `.g' and be in the STG format; then an STG unfolding prefix (which may differ from the underlying Petri net's unfolding prefix) is produced. As an experimental feature, high-level nets are supported. For now, only strictly safe net… text/html 2021-05-17T15:56:04+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/help/backend/start?rev=1621266964&do=diff Command line options of backend tools This is a summary of command line options for some of Workcraft backend tools. Petrify command line options usage: ./petrify [flags] [infile] General options: ---------------- -v print version only -d[n] debug level (n=1,2) -o outfile STG output file (default: stdout) -no output file not generated -log logfile log filename (default: petrify.log) -err errfile error filename (default: stderr) -nolog no log f…