Contents   Index   Previous   Next  



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