GSView 4.6 on Windows with ghostscript 8.14 compains about DSC violations, that seem to be triggered by the %%Pages: comment in the postscript prolog. UPPAAL claims that there is one page in the document, but ghostscript does not agree with this. Removing the %%Pages: comment seems to solve the problem (although I do not know if this is valid).
According to this page: http://www.cs.indiana.edu/docproject/programming/postscript/eps.html an EPS file should not use showpage. According to the DSC, a file not using showpage should set the page count to zero.
A fix for 3.4 has been checked into CVS.