PRES+ stands for Petri net Representation for Embedded Systems. It is a model intended
to represent embedded systems, which extends Petri nets adding data and real-time
information to tokens, and associating functions and delays to transitions. Delays
may be expressed as lower and upper limits.
SimPRES is a simulator for a subset of this particular computational model. The
class of systems that may be validated using SimPRES corresponds to time Petri
nets.
Taste it!
SimPRES has been designed to be a stand-alone application. However, we have
made some small changes to run it as an applet. The applet version has the same
capabilities of the stand-alone application (version 0.2) except for the
save/load features. Thus, in the applet version, the user can not store his
model.
The applet has not been extensively tested. Nonetheless you can take a bite
and taste it! Click on the button below to start SimPRES.
Download
Be aware that this software tool is provided "as is", without expressed or
implied warranty. In order to install it, just download and decompress
simpres_0.x.tar, and follow the intructions given in the file
README.txt.
