Demos
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