The Petri Net Toolbox is a software tool for the simulation, analysis, and design of discrete-event systems based on Petri Net models. Five types of Petri Net models are accepted: untimed, transition-timed, place-timed, stochastic, and generalized stochastic nets. The timed nets can be deterministic or stochastic. Places may have finite or infinite capacity. Priorities or probabilities can be assigned to conflicting transitions. Users can draw, store, and retrieve Petri Net models, as well as start the procedures for simulation, analysis, and design. Animated demos and online help are available.
Typical end users of the Petri Net Toolbox include educators, undergraduate and postgraduate students, and specialists working in research and development. All the procedures available in the Petri Net Toolbox are implemented as MATLAB® files and are designed in a modular fashion.