- Graphical editor
- Slow/fast simulation with or without token game animation
- Analysis of behavioral, structural, and time-dependent properties
- Computation of place/transition invariants
- Simulation and analysis in max-plus algebra
- Design based on parameterized models
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. A graphical user interface allows you to 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 to start from the GUI.
Gh. Asachi Technical University of Iasi