|
S-TSE Solver is a performance analysis
tool for stochastic timed Petri nets (STPNs) with unique- and
free-choice and general delay distributions. It is a refined version
of what was called USC-PET.
The tool's approach is to use
finite net executions to derive closed-form expressions for both
upper and lower bounds of the performance metrics. The expressions
are evaluated using standard statistical methods. The mean of the
upper and lower bounds provides an performance estimate which has a
well-defined error interval. The error interval can often be made
arbitrarily small by analyzing longer net executions at the cost of
additional run-time. Experiments of several asynchronous circuits
demonstrate the efficiency of the approach as well as the high
quality of the estimates. The experiments include a full-scale STPN
model of Intel's asynchronous instruction length decoding and
steering unit with over 900 transitions and 500 places.
We provide a Linux version of the
tool Release
1.1.2 for non-profit organizations with absolutely no guarantee
or implied liability. We no longer support the Solaris builds of USC-PET.
The release includes a script to convert an existing STPN models in
USC-PET format to an equivalent S-TSE Solver model. For technical
support, please send e-mails to
aiguoxie@yahoo.com
or
pabeerel@usc.edu.
For more information regarding the
tool's technical background, we provide the following two papers:
Bounding
Average Time Separations of Events in Stochastic Timed Petri Nets
with Choice, A. Xie, S. Kim, P. A. Beerel, ASYNC-99, April
1999. (Here is
an
extended version with proofs )
Performance
Analysis of Asynchronous Circuits and Systems using Stochastic Timed
Petri Nets, A. Xie, P. A. Beerel, (invited paper) the 2nd
Int ernational Workshop on Hardware Design and Petri Nets (HWPN-99),
June 1999.
|
|
