Petri Net Toolbox for MATLAB
home online help demos download references
The current version of the Petri Net Toolbox is accompanied by four movies illustrating its usage in the simulation, analysis and design of discrete-event systems.
Demo 1. Computer system with two processors sharing two disks (in parallel) Version of the Two Dinning Philosophers Problem [Dijkstra] - Movie
This demo illustrates:
- construction of an untimed Petri net model
- analysis of deadlock (via the coverability tree)
- prevention of deadlock through lookahead feedback
- access to the following information about the Petri net model:
- incidence matrix
- minimal-support P- and T-invariants
- structural properties
Demo 2. Manufacturing system with a sequentially shared robot - Movie
This demo illustrates:
- construction of a P-timed Petri net model
- analysis of deadlock (via simulation)
- prevention of deadlock by limiting the number of pallets
- analysis of time-dependent performance indices
- study of a performance index depending on two design parameters
Demo 3. Flow-shop system with three machines - Movie
This demo illustrates:
- simulation and animation in the Run Slow mode
- record of the simulation results in a log file
- computation of the cycle time
- max-plus analysis of a place-timed event graph
- max-plus state-space representation
- setting of the values for the input vectors
- max-plus based simulation
- plots of the components for the input, state or output vectors
Demo 4. Open markovian queueing network - Movie
This demo illustrates:
- construction of a generalized stochastic Petri net model
- usage of the Scope and Diary facilities
- analysis of time-dependent performance indices