Punf 6.01 sequential
  - A lot of minor improvements and fixes.

  -  The  -! option switching off the optimization of preset
  trees   is   added   (cheap   optimisation   is  performed
  anyway).

  -  Support  for  concurrency  relation  is added. Punf can
  delete  it  and  switch  to  a  slower  algorithm  after a
  specified  number of events has been generated (controlled
  by the -n option).

  -  Support  for  STGs  is  added  with a cut-off criterion
  taking  into account  not just final markings but also the
  final codes.

  -  Support  for  high-level  Petri  nets (M-nets) is added
  (experimental feature).

Punf 5.10 sequential
  - The first official release.