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