---

Manual Reference Pages  - stan (n)

---

NAME

stan - Siphons Traps Analysis tool

Part of Tina Toolbox for analysis of Petri nets and Time Petri nets.

CONTENTS

Synopsis
Description
Options
Examples
See Also
Authors

stan [-help]
[-S | -T] [-strict]
[-native | -4ti2] [-32 | -64 | -mp | -dp]
[-v | -q | -stats]
[-NET | -NDR | -PNML | -TPN | -TTS]
[infile] [outfile] [errorfile]

stan computes generator sets for siphons or traps of nets using the method of Ezpeleta/Couvreur/Silva in Petri Nets 1991. It takes as input descriptions of a Petri net in textual form (.net, .pnml, .tpn formats) or graphical form (.ndr format of files produced by nd, .pnml with graphics), or a Time Transition System description in .tts format.

-help	Recalls options.
Operating mode options:
-S | -T	Computes siphons (-S) or traps (-T).
-strict	Computes strict siphons or traps, in addition.
-native	Use the native solver for computation of flows or semiflows (default).
-4ti2	Use the 4ti2 solver (www.4ti2.de) rather than the native implementations for computation of siphons or traps. This option requires to compile and install the 4ti2 toolset on your machine. 4ti2 is significantly faster on large nets.
-32 | -64 | -mp | -dp
	precision of arithmetic computations: -32: use 32 bit integers; -64: use 64 bit integers; -mp: use arbitrary precision arithmetics; -dp: use default precision.
Output format selection :
-v	textual output, prints full results.
-q	textual output, counts numbers of siphons or traps and prints them.
Input format flags:
-NET | -NDR | -PNML | -TPN | -TTS
	Specifies the format of the input net. This flag is necessary when the input net is read on standard input, or read from a file that does not bear the expected extension. By default, the net is assumed in .net or .ndr format.
Input source:
infile	Where the net is read. The input format is determined by the file type, according to the table below. If absent or specified by "-", the net is read on standard input in the format specified by the input flag. If both an infile and some input flag are present, then the format defined by the input flag supersedes that determined by the infile extension. file extension          input format -------------------------------------------------------------- .net                    net format .ndr                    ndr format .tpn                    tpn format .pnml                   pnml format .tts                    tts format
Output destination:
outfile
	Where results are written. If absent or specified by "-", then results are written on standard output.
Errors destination:
errorfile
	Where error messages are written. By default, errors are printed on standard error.
Default options are :
	stan -v -S

stan nets/ifip.ndr
stan -T -q nets/ifip.ndr

nd(n), tina(n), plan(n), ktzio(n), ndrio(n), tedd(n), selt(n), sift(n), muse(n), pathto(n), scan(n), struct(n), play(n), walk(n), reduce(n), formats(n)

Bernard Berthomieu, LAAS/CNRS, 2000-2026, Bernard.Berthomieu@laas.fr.