Design/CPN Example: Elevator System
|
|
|
|
This net simulates an elevators system. By default it consists of 3 elevators and operates in a 10 story building. The elevator system is a large petri net, it consists of more than 20 pages and implements most of the features found in other published models (see discussion and bibliography in the explanation). Both internal controls (select destination) and external controls (order an elevator up/down) are implemented. The current state of the elevator system is displayed graphically. The systems interactively prompts the user for new commands (pressed keys etc.).
The example was develloped during a project at the Computer Science department of the University of Hamburg. It was subsequently improved and documented in a thesis that is available as this example's explanation. Unfortunately, it is written in German.
- Explanation in German (160 kbyte, gziped postscript)
- Unix Files (130 kbyte, gziped tar)
