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)²)