Petri Net Toolbox
Simulation, analysis, and synthesis of discrete-event systems based on Petri Net models
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. 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.
Gh. Asachi Technical University of Iasi
53A Mangeron Blvd.
- Modeling and Simulation Tools
- Control Systems
- Process Control and Monitoring
- System Modeling and Simulation
- Discrete event systems
- Communication Infrastructure
- Consumer Electronics
- Rail, Ships, and Other Transportation