A demonstration version (limited number of places/states) is available. This version has all the functionalities of the commercial version of SURF-2 but does not permit to build a model larger than 10 Petri places or Markov states:
Postscript version of the documentation (surf2-doc.ps.Z, 1Mb).
Postscript version of the V3 addendum of V2 documentation(addendum.ps.Z, 150 Kb).
SURF-2 Main Page
What is SURF-2