Manual Reference Pages  - struct (n)

NAME

struct - Structural analysis tool

Part of Tina Toolbox for analysis of Petri nets and Time Petri nets (see also nd, tina, plan, ndrio, ktzio, selt).

CONTENTS

Synopsis
Description
Options
Files
Examples
See Also
Authors

SYNOPSIS

struct [-help]
[-S | -F] [-I | -Q] [-P | -T] [-mp] [-4ti2]
[-NET | -NDR | -PNML | -TPN | -TTS] [-v | -q]
[infile] [outfile] [errorfile]

DESCRIPTION

struct computes generator sets for semiflows, or bases of flows, on places and transitions. It takes as input descriptions of a Priority Time 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.

OPTIONS

-help Recalls options.
 

Operating mode options:
 

-P | -T Computes semiflows or flows for places only (-P) or transitions only (-T). In absence of either flag, computes them for both.

-S | -F Computes semiflow generator sets (-S) or flow bases (-F). If -S, also computes the invariant and consistent properties.

-I | -Q Computes semiflow (resp. flow bases) such that any semiflow (resp. flow) is a linear combination with integer (-I) or rational (-Q) coefficients of those in basis (nongenative if -S, in addition).

-mp Use arbitrary precision arithmetics when -Q passed (struct will tell you if needed).

-4ti2 Use the 4ti2 tool (www.4ti2.de) rather than the built-in code when -I passed. This option requires to compile and install the 4ti2 tool on your machine. 4ti2 is significantly faster on large nets.

Output format selection :
 

-v textual output, prints full results.

-q textual output, prints a summary of results.

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

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 :
 

struct -t 0 -v -S -Q

FILES

Files net.txt, ndr.txt, tpn.txt, tts.txt, TPN.rng in directory doc/formats specify the syntax of .net, .ndr, .tpn, .tts and .pnml net description files, respectively.

EXAMPLES

struct < nets/ifip.ndr > ifip.struct
struct -q nets/ifip.ndr ifip.struct

SEE ALSO

nd, tina, plan, ndrio, ktzio, selt

AUTHORS

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


Tina Tools struct (n) Version 2.9.10
Generated by manServer 1.07 from tools/struct.n using man macros.