
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).


SYNOPSIS
     struct [-help]
            [-S | -F] [-I | -Q] [-P | -T] [-mp]
            [-t s] [-NET | -NDR | -PNML | -TPN] [-v | -q]
            [infile] [outfile]


DESCRIPTION
     struct computes  generator sets for  semiflows, or bases  of
     flows,  on  places  and  transitions.   It  takes  as  input
     descriptions of a Petri net or Time Petri  net  in   textual
     (.net,  .pnml,  .tpn formats) or graphical form (.ndr format
     of files produced by nd, .pnml with graphics).


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, com-
          putes 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 (struct  will  tell
          you if needed).

     Stopping test and limits flags:

     -t n Bound on duration of computation (none if n=0).

     Output format selection :

     -v   textual output, prints full results.

     -q   textual output, prints a summary of results.

     Input format flags:

     -NET | -NDR | -PNML | -TPN
          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   deter-
          mined  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

     Output destination:

     outfile
          Where  results are  written.   If  absent or  specified  by "-",  then
          results are written on standard output.

     Default options are :

          struct -t 0 -v


FILES
     Files net.txt, ndr.txt, tpn.txt,  TPN.rng in directory  for-
     mats  specify  the  syntax of  .net,  .ndr,  .tpn 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-2005,
     Bernard.Berthomieu@laas.fr.




