4mplan24m(n)                                                                4mplan24m(n)

1mNAME0m
       plan - path analysis tool

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


1mSYNOPSIS0m
       1mplan 22m[-4mh24melp]
            [-A | -S] [-t s] [-p]
            [-NET | -NDR | -PNML | -TPN | -TTS]
            [-v | -q | -s] [-abs | -rel] [-raw | -min | -can]
            [scninfile] [netinfile] [outfile] [errorfile]


1mDESCRIPTION0m
       From  a Time Petri net or  Time Transition System 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).


1mOPTIONS0m
       -4mh24melp  Recalls options.


       1mOperating mode options:0m


       -A     Returns  an  inequation  system   characterizing  the  times  at
              which transition in the input .scn firing sequence may fire.  If
              the  input firing sequence is timed, then  times are  forgotten.
              Fails if the input firing sequence is not firable.


       -S     Returns a solution of the system computed by -A.


       1mPath options:0m


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


       1mOutput format flags:0m


       -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 -S, prints the duration of the path computed.


       -s     Output results in a format loadable into the nd stepper, for re-
              playing it (only for mode -S).


       1mOther flags:0m


       -p     Disables path analysis (just parses).




       1mInput format flags for net:0m


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



       1mFiring sequence input source:0m


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


       1mNet input source:0m


       netinfile
              Where the  net is  read. The  input  format  is   determined  by
              the file type, according to the table below. If absent or speci-
              fied  by  "-",  and the firing sequence is not read  on standard
              input, the net is read on standard input in  the  format  speci-
              fied  by  the input  flag. If both an infile and some input flag
              are present, then the format defined by the  input  flag  super-
              sedes 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



       1mOutput destination:0m


       outfile
              Where  results  are  written. The output format is determined by
              the file type, according  to the  table  below.  If   absent  or
              specified   by  "-", then the net is written on  standard output
              in the format specified by the output  format flag. If both   an
              outfile  and some  output flag are present, then  the format de-
              fined  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)


       1mErrors destination:0m


       errorfile
              Where error messages are written. By default, errors are printed
              on standard error.


       1mDefault options:0m

              plan -A -v



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



1mNOTES0m
       Tool plan is  still in progress; more options to come.



1mSEE ALSO0m
       nd(n),   tina(n),  struct(n),  ktzio(n),  ndrio(n),  tedd(n),  selt(n),
       sift(n), muse(n), pathto(n), scan(n), play(n), walk(n), reduce(n), for-
       mats(n), stan(n)


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


Tina Tools                       Version 4.0.0                         4mplan24m(n)
