4mndrio24m(n)                                                              4mndrio24m(n)

1mNAME0m
       ndrio  - conversion tool for Petri nets and Time Petri nets

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


1mSYNOPSIS0m
       1mndrio 22m[-4mh24melp]
             [-NET | -NDR | -PNML | -TPN]
             [-net  |  -ndr  |  -pnml  [-tpnty | -ptty | -mcc] | -tpn | -pnt |
       -romeo | -lola | -nupn]
             [-graphplace | -dot | -neato | -circo | -textify]
             [-no-nupn] [-ren] [-d] [-a] [-rev] [-t]
             [infile] [outfile] [errorfile]


1mDESCRIPTION0m
       ndrio converts Petri nets and Time Petri nets between several,  graphic
       or textual, formats. ndrio handles tina labels, delay intervals associ-
       ated with transitions, generalized inhibitor and read (test) arcs, gen-
       eralized  stopwatch-inhibitor  and stopwatch arcs, and priorities.  The
       features not supported by the target format are silently omitted.   The
       formats manipulated are the following:

       name      extension       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)
       pnt             .pnt          INA format
                                       (if the net is timed, the intervals
                                        are saved into a companion .tim file)
       romeo           .romeo        romeo format (without graphics)
       lola            .lola         LoLA format (unstructured)
       nupn            .nupn         CADP nupn format


       The conversions currently supported are the following:

       from      to
       ------------------------------------------------------
       net             ndr, tpn, pnml, pnt, romeo, lola, nupn
       ndr             net, tpn, pnml, pnt, romeo, lola, nupn
       tpn             net, ndr, pnml, pnt, romeo, lola, nupn
       pnml            net, ndr, tpn, pnml, pnt, romeo, lola, nupn


1mOPTIONS0m
       -4mh24melp  Recalls options.


       1mInput format flags:0m


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


       1mOutput format flags:0m


       -net | -ndr | -pnml | -tpn | -pnt | -romeo | -lola | -nupn
              Specifies  the   format of the output  net. This flag  is neces-
              sary when the output net  is written on standard output, or into
              a file that does not bear the expected extension.

              Export to romeo and lola is preliminary.  The  graphic  informa-
              tion, if any, is currently not exported to romeo. Also, the user
              should  make sure the place and transition names used in the in-
              put file are legal romeo or lola names; ndrio does  not  attempt
              to convert them (consider passing options -r -d, in addition).

              Export  to nupn converts pnml format, with or without nupn units
              descriptions, to CADP nupn format. If the input file  format  is
              not  pnml,  or there are no unit descriptions in the file, or if
              option -no-nupn is passed, outputs a  file  in  nupn  format  in
              which  all units are trivial (each contains a single place).  In
              all cases, the input net is assumed safe.



       1mSecondary pnml output flags:0m


       -tpnty | -ptty | -mcc
              By default (-tpnty), ndrio generates pnml in the  "tpn"  profile
              proper to TINA.  With -ptty, it generates pnml conformimg to the
              Place/Transition  profile.  That  is  temporal interval, special
              arcs, labels, notes are dropped from the input.  In  both  cases
              ndrio generates unique xml ids for places and transitions.

              With  -mcc, ndrio generates pnml obeying the Model Checking Con-
              test convention that the xml id of each node  is  equal  to  its
              pnml  name. The conversion fails then if some name is not a syn-
              tactically legal xml id, in which case you may  wish  to  rename
              the net first by -ren -d.


       1mDrawing options:0m


       -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 information is only  generated if some fil-
              ter is specified).  When  converting  from  a   graphic  format,
              the  original  placement information is always  retained,  what-
              ever the tool specified.


       1mTextifying option:0m


       -textify
              Removes any graphics information from the input file when graph-
              ics is supported but optional in the output format.



       1mOther flags:0m


       -no-nupn
              If  the  input file is in pnml format, forget any nupn units de-
              scriptions in it.


       -ren | -r
              Renames places and transitions with integers (from  1)  prefixed
              by "p" and "t", respectively.  Old names become labels.


       -d     Drops all labels of places and transitions.


       -a     Drops all annotations.


       -rev   Reverses  the  direction of normal edges (inhibitor, read, stop-
              watch, stopwatch-inhibitor and priority edges are unchanged).


       -transpose | -t
              When the output format is .net, prints the .net description  "by
              place" instead of the default "per transition" presentation. The
              net itself is unchanged.


       1mInput source:0m


       infile Where  the   net  is   read. The  input format is  determined by
              the file type, according to the table above. If absent or speci-
              fied by "-", the net is  read on standard  input in the   format
              specified  by  the input flag. If  both an  infile and  some in-
              put flag  are present,  then the format defined  by  the   input
              flag supersedes  that determined  by the infile extension.


       1mOutput destination:0m


       outfile
              Where the net is written. The output format is determined by the
              file  type, according  to the  table above. If  absent or speci-
              fied  by "-", then the net is written 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.


       1mErrors destination:0m


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



1mEXAMPLES0m
       ndrio abp.net abp.pnml
       ndrio abp.ndr abp.net
       ndrio -NDR -pnml -neato < abp.ndr > abp.pnml
       ndrio abp.ndr -NET
       ndrio abp.ndr abp.pnt


1mSEE ALSO0m
       nd(n),   tina(n),   plan(n),  struct(n),  ktzio(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, with contributions  by  Florent  Peres,  LAAS/CNRS,
       2000-2026, Bernard.Berthomieu@laas.fr.


Tina Tools                       Version 4.0.0                        4mndrio24m(n)
