
NAME
     plan - path analysis tool

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


SYNOPSIS
     plan [-help]
          [-A(|w|i) | -R(|w|i) | -S(|w|i)]
          [-t s] [-df | -bf] [-p]
          [-NET | -NDR | -PNML | -TPN]
          [-v | -q | -s] [-abs | -rel] [-raw | -min | -can]
          [scninfile] [netinfile] [outfile]


DESCRIPTION
     From  a Time  Petri net  and a   firing  sequence   in  .scn
     format,  plan  computes an  inequation system characterizing
     all the times  at which transitions  in   the  sequence  may
     fire, or an example  firing schedule (also called path).


OPTIONS
     -help Recalls options.

     Operating mode options:

     -A   Returns  an  inequation  system    characterizing   the
          times   at  which transition in the  sequence may fire.
          If the  input firing sequence is timed, then  times are
          thrown  (later versions  will accept constrained firing
          sequences).

     -S | -R
          Returns a  solution of the  system computed by -A.  Two
          implementations  are   proposed,  for experiments.  For
          long  sequences,  -S should  be typically  faster  than
          -R.

     -Aw  Line breaks  in  scnfiles  are   significant.  Omitting
          blank   and  comment  lines,   file  scnfile  defines a
          series  of sequence.   That  series   of  sequence  can
          always  be  written s.w,  where w is the  last sequence
          in the series,  and s  is  the  concatenation   of  all
          sequences  except the last.

          If subsequence  w is empty, then  -Aw is equivalent  to
          -A.  Otherwise,  -Aw  assumes that  sequence  s.w^*  is
          firable  and   returns  a   system  characterizing  the
          times  at  which  transition  in sequence s.w may fire,
          with the guarantee that this path leads to a state from
          which  sequence  w  is  firable  an  infinite number of
          times.

     -Sw | -Rw
          Returns a  solution of  the  system  computed   by  -Aw
          (two methods, see -R | -S).

     -Ai  (IN  PROGRESS)  As   -Aw,  except   that  the    system
          returned,   if  any, characterizes infinite  paths: the
          subsystem  characterizing the times of subsequence w is
          guaranteed  to  produce  stationary  paths  (with equal
          source and target states).   Such  a  solution  is  not
          garanteed  to  exist, even though sequence w is firable
          an infinite number of times after s  (Time  Petri  nets
          may exhibit zeno behaviors).

     -Si | -Ri
          (IN PROGRESS) Returns a solution  of  the  system  com-
          puted by  -Ai (two methods, see -R | -S).

     Path options:

     -abs Returns  path system  or path  expressed in   terms  of
          dates (absolute times). Variable  start is  the time at
          which the initial  marking is established.

     -rel Returns  path system  or path  expressed in   terms  of
          delays (relative times).

     -raw Returns path system "as computed", without any particu-
          lar post processing.

     -can Returns path system in which all constraints are tight.
          All  missing constraints, if any, are redundant and can
          be recovered as linear  combinations  of  the  existing
          constraints.

     -min (IN PROGRESS) As -can, except that attempts to return a system without redundant
          constraints.

     Output format flags:

     -v   verbose output. Prints results in explicit form.

     -q   Prints a summary of results. For -A, and when  -can  or
          -min is passed, prints the duration of the shortest and
          longest paths.  For -R and -S, prints the  duration  of
          the path computed.

     -s   Output  results  in  a  format  loadable  into  the  nd
          stepper, for replaying it (only for modes -R and -S).

     Other flags:

     -p   Disables path analysis (just parses).

     Input format flags for net:

     -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
          .ndr format.

     Firing sequence input source:

     scninfile
          Where the firing  sequence is read. If absent or speci-
          fied by "-", the sequence is read on  standard input.

     Net input source:

     netinfile
          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 "-", and the firing  sequence
          is  not  read   on  standard  input, 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. The output format is  deter-
          mined by the file type, according  to the  table below.
          If  absent or specified  by "-", then the net is  writ-
          ten  on  standard output in the format specified by the
          output  format flag. If both  an outfile and some  out-
          put  flag are present, then  the format defined  by the
          output flag  supersedes that determined by the  outfile
          extension.

          file extension      output format
          --------------------------------------------------------------
           .scn               nd stepper format
           any other          textual output (default -v style)

     Default options:

          plan -A -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.  File  formats/scn.txt
     file specifies the .scn format.


EXAMPLES
     plan -A nets/ifip.scn nets/ifip.ndr
     plan -A nets/ifip.scn nets/ifip.ndr -s
     cat nets/ifip.scn | plan -S - nets/ifip.ndr


NOTES
     Tool plan is  still in progress.  Options -Aw,  -Rw, -Sw are
     experimental, options -Ai, -Ri, -Si are not implemented yet.


SEE ALSO
     nd, tina, struct, ndrio, ktzio, selt


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