Contents of the Help-System
1. Introduction to the PEP System
2. The PEP start-up window
3. Project window
4. File browser
5. B(PN)² editor
6. High level Petri net (M-net) editor
7. Low level Petri net editor (Petri boxes)
8. Formula editor
9. Objects used by the PEP system (Syntax of B(PN)²)
Bernd Grahlmann pep_help@informatik.uni-oldenburg.de, 24.11.1998