
NAME
     ndrio  - conversion tool for Petri nets and Time Petri nets

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


SYNOPSIS
     ndrio [-help]
           [-NET | -NDR | -PNML | -TPN]
           [-net | -ndr | -pnml | -tpn]
           [-graphplace | -dot | -neato | -circo | -textify]
           [infile] [outfile]


DESCRIPTION
     ndrio converts  Petri  nets  and  Time  Petri  nets  between
     several,  graphic  or  textual, formats. ndrio handles delay
     intervals asociated with transitions, and generalized  inhi-
     bitor and read (test) arcs.  The formats manipulated are the
     following:

     name      file ext  description
     ------------------------------------------------------
     net       .net      tina textual format
     ndr       .ndr      tina graphic format (produced by nd)
     tpn       .tpn      tina textual scripts format
     pnml      .pnml          Petri Net Markup Language format
                         (with or without graphics)


OPTIONS
     -help Recalls options.

     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. Default is -NET.

     Output format flags:

     -net | -ndr | -pnml | -tpn
          Specifies the  format of the output  net. This flag  is
          necessary  when  the output net  is written on standard
          output, or in  a file that does not bear  the  expected
          extension.

     Drawing options:

     -graphplace | -dot | -neato | -circo
          Specify a placement filter for  nodes.  Necessary  when
          converting  from  a  graphics-free  format   into  ndr.
          Optional when converting  into .pnml (graphics informa-
          tion  is  only  generated if some filter is specified).
          When  converting  from  a   graphic  format,  the  ori-
          ginal   placement information is always retained, what-
          ever the tool specified.

     Textifying option:

     -textify
          Removes any graphics information when  converting  from
          .pnml into .pnml.

     Input source:

     infile
          Where the  net is  read. The  input format  is   deter-
          mined  by  the file type, according to the table above.
          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.

     Output destination:

     outfile
          Where the net is written. The output format  is  deter-
          mined by the file type, according  to the  table above.
          If  absent or specified  by "-", then the net is  writ-
          ten  on  standard output in the format specified by the
          output flag. If both an  outfile and some  output  flag
          are  present,  then  the  format defined by  the output
          flag  supersedes  that  determined   by   the   outfile
          extension.


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
     ndrio abp.net abp.pnml
     ndrio abp.ndr abp.net
     ndrio -NDR -pnml -neato < abp.ndr > abp.pnml
     ndrio abp.ndr -NET


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


AUTHORS
     Bernard Berthomieu,  Florent  Peres,  LAAS/CNRS,  2000-2005,
     {Bernard.Berthomieu|Florent.Peres}@laas.fr.
