Entry last updated: 2003/5/5
Entry last validated: 2003/5/5

Tool homepage: http://www.ee.duke.edu/~kst/

Tool availability: Commercial (free for academic institutions)

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)


Tool Description

This software is Stochastic Petri Net Package 'SPNP' Version 5.0. SPNP is a versatile modeling tool for the solution of Stochastic Petri Nets (SPN) models. The SPN models are described in the input language for SPNP called CSPL (C-based SPN Language).

Contact Information

Dr. Kishor S. Trivedi 
Hudson Professor of Electrical and Computer Engineering
Duke University
Durham, NC 27708

Phone:  +1 (919) 401-0299 x306
Fax:    +1 (919) 401-5589
E-mail: kst@ee.duke.edu

Other Remarks

The package allows the specification of custom measures although a standard set of measures are available. The measures are defined in terms of rewards associated with the markings of the SRN. Sensitivity analysis allows the user to evaluate the effect of changes in an input parameter on the output measures.
[PN Home][*]
The maintainers of this page