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.
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.