4mplay24m(n)                                                                4mplay24m(n)

1mNAME0m
       play  - Tina stepper simulator

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



1mSYNOPSIS0m
       1mplay [-4m22mh24melp]
            [-NET | -NDR | -TPN | -PNML | -TTS]
            [-seed] [-inh] [-tc] [-dt] [-pr] [-sw]
            [infile] [outfile] [errorfile]



1mDESCRIPTION0m
       Tool   play allows  to  simulate  net descriptions  in  any of  formats
       .net,  .ndr,  .tpn, .pnml  or  .tts.   Its capabilities  are similar to
       those provided by the  nd stepper except that play  may  also  simulate
       .tts descriptions.

       A  simulation  is a  series of states  separated by  transitions (delay
       transitions or  discrete transitions). Play  allows one to  build  such
       sequences and navigate within, interactively.



1mOPTIONS0m
       -4mh24melp  Recalls options.



       1mVerbosity level:0m


       -v     Prints  banner,  parsing  message  and prompts for commands (de-
              fault).


       -q     No banner nor times are printed. This  flag  is  convenient  for
              batch usage of play.


       1mExploration strategy options:0m


       -seed  Initializes  the random number generator so that different calls
              of play on the same arguments have a chance to explore different
              paths (if any).


       1mInput options:0m


       -inh   Forget inhibitor and read arcs in the input net.


       -pr    Forget priority constraints in the input net.


       -tc    Forget time constraints  in the input net.


       -dt    Forget data processing when reading a tts description.


       -sw    Forget stopwatches in the input net.



       1mInput format and source: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


       infile 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 "-", 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.

              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. If absent or specified  by "-", re-
              sults are written on standard output.



       1mErrors destination:0m


       errorfile
              Where error messages are written. If  absent  or  specified   by
              "-", error messages are written on standard error.




1mPLAY STEPPER INTERACTIVE COMMANDS0m
       When   called, play prints  the initial  state of  the input  net, with
       information about  the enabled,  frozen and firable  transitions,  then
       waits for commands. These commands are the following.


       1mh      22mPrints a short summary of available commands.


       1mf tr   22mFires  transition with name tr. tr must be among the transitions
              shown as firable.


       1m# n    22mFires the n^th transition in the firable list of transitions.


       1md k    22mLet delay k elapse from current state, k is an integer of a num-
              ber in floating point notation.


       1mr n    22mRandomly fire n random steps and print last  state  reached.   A
              step is delay followed by a discrete transition.


       1mR n    22mLike "r n" except intermediate states are printed.


       1mm      22mSets a mark on the current state (for commands << and >> below).


       1m< [n]  22mUndoes  [n times] in history the last state transition (delay or
              discrete). Default n is 1.


       1m> [n]  22mRedoes [n times] in history the next state transition (delay  or
              discrete).  Default n is 1.  Redo n is only possible if at least
              n state transitions are available in the  history,  that  is  if
              some undo have been done before.


       1m<< [n] 22mJump  backward  [n  times]  in  history to the previously marked
              state or the initial state.


       1m>> [n] 22mJump forward [n times] in history to the next  marked  state  or
              the last state.


       1m|<     22mJump to the initial state.


       1m>|     22mJump to the last state stored.


       1m.      22mPrints the current state.


       1ml file 22mLoad  a  scenario file in .scn format generated by selt, pathto,
              plan or play.  If the input net is timed,  then  the  .scn  file
              must be timed too.


       1ms file 22mSave  the  current  history  as a .scn file. If the input net is
              timed, then the .scn will be timed too.


       1mk (true|false)0m
              Keep history (default) or not when applying commands f, d, r  or
              R.  Not keeping history permits long simulations that could oth-
              erwise exhaust memory.  Navigation commands (<, >, <<,  >>,  |<,
              |>, m) are only available when history is kept.


       1mq or ^D0m
              Quit play.




1mEXAMPLES0m
       play ifip.ndr
       play abp.ndr -q < commands > results



1mSEE ALSO0m
       nd(n),   tina(n),  plan(n),  struct(n),  ktzio(n),  ndrio(n),  tedd(n),
       selt(n), sift(n), muse(n), pathto(n), scan(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                         4mplay24m(n)
