4mpathto24m(n)                                                            4mpathto24m(n)

1mNAME0m
       pathto  - compute path to a state in a ktz description

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


1mSYNOPSIS0m
       1mpathto [-4m22mh24melp]
              tgt [-from src]
              [-p | -t | -s | -l]
              [infile] [outfile] [errorfile]


1mDESCRIPTION0m
       Given  a kripke transition system in a ktz file, a target state identi-
       fied by its rank in the kts file, and a source state (default 0),  com-
       putes a path in the kts from the source to the destination state.


1mOPTIONS0m
       -4mh24melp  Recalls options.


       1mSource and destination states:0m


       tgt    The target state, identified by its rank in the ktz file.


       -from src
              The  source state (default 0), identified by its rank in the ktz
              file.



       1mOutput format flags:0m


       -p     Prints path from src to tgt as a series of states (ranks)  sepa-
              rated by transition (names). This is the default output format.


       -t     Prints  path  from src to tgt as a series of transition (names).
              Such sequences are conformant to the  .scn  format  expected  by
              plan, play or the nd stepper.


       -s     Prints path from src to tgt as a series of states (ranks).


       -l     Prints the length of a path from src to tgt.



       1mInput source:0m


       infile A ktz file.


       1mOutput destination:0m


       outfile
              Where the result path or its length is written (default stdout).


       1mErrors destination:0m


       errorfile
              Where error messages are written (default stderr).



1mEXAMPLES0m
       pathto 4 ifip.ktz
       pathto 8 -from 2 -t abp.ktz


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

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


Tina Tools                       Version 4.0.0                       4mpathto24m(n)
