Page marking menu
CPN Tools help
Marking menu tools
The page marking menu:
Create auxiliary text
New Place (
Create Place
)
New Transition (
Create Transition
)
Drop Tool
Undo
Redo