Appendix C: Index
Behavioral Properties
Coverability tree
Design
Design Menu
Draw/Explore Switch
Drawing Area
Drawing Panel
File Menu
New Model
Open Model
Close Model
Save Model
Save As Model…
Exit PN Toolbox
Graphical User Interface
Help Menu
Contents and Index
Demos
About PN Toolbox
Incidence Matrix
Invariants
P-Invariants
T-Invariants
Max-Plus Analysis
Max-Plus Menu
From PN
From Matrices
Menu Bar
Messages Box
Modeling Menu
Add Place
Add Transition
Add Arc
Add Token
Edit Object
Conflicting Transition
Performance Indices
Performance Menu
Place Indices
Transition Indices
Properties Menu
Incidence Matrix
Behavioral – Coverability tree
Structural
Invariants
Quick Access Toolbar
Simulation
Simulation Menu
Step
Run Slow
Run Fast
Breakpoints
Reset
Log File
View History
Preferences
Simulation Panel
Structural Properties
View Menu
Zoom In
Zoom Out
Show Grid
Arc Weight