14.02.2013 Views

A Graphical Petri Nets Simulator - Rochester Institute of Technology

A Graphical Petri Nets Simulator - Rochester Institute of Technology

A Graphical Petri Nets Simulator - Rochester Institute of Technology

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Tool Net Type<br />

edit<br />

or<br />

ana<br />

lysis<br />

simu<br />

lation<br />

Computer/OS<br />

CACAPO C/E a/n yes no Simemen BS 2000,<br />

UNIXA/AX<br />

FUN stoch. a/g yes yes VM 370<br />

GACOT timed a/g yes yes DEC-VAX, UNIXA/MS<br />

GASP PfT a/n yes no DEC-VAX, SUN<br />

GTPN timed a/n yes no DEC-VAX-780/750,<br />

BSD 4.2<br />

ITI/OPA hi-level a/n no no TYMNET Engine,<br />

ISIS,TYMCOM-10<br />

PES PfT a/n yes no Simemen 7xxx, BS 2000<br />

PeSys C/E, PfT,<br />

timed<br />

a/n yes yes PCS Cadmus, 9230V<br />

MUNIX<br />

TOPAS-N PrfT a/n no yes DEC-VAX, VMS<br />

SPECS timed, PrfT a/g yes yes SUN, Smalltalk<br />

PSI timed,<br />

colored<br />

a/n no yes CPM,PC<br />

a/n = alphanumerical gr. = graphical a/g = mixture <strong>of</strong>both<br />

stoch. = stochastic<br />

analysis : such as produce a reduced net <strong>of</strong>the same classes.<br />

simulator : such as playing the token game on the screen.<br />

19-

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!