arrival distance
arrival rate
arrival sum
queue length
throughput distance
throughput rate
throughput sum
waiting time
service distance
service rate
service sum
service time
utilization
configuration file for the PN Toolbox
coverability tree
graphic
text
boundedness
conservativeness
consistency
repetitiveness
p-invariants
t-invariants
new model
open model
close model
save model
save model as...
exit pntoolbox
contents and index
demos
about petri net toolbox
add place
add transition
add arc
add toke
edit objects
resolution for conflicting transitions
place indices
transition indices
cycle time
incidence matrix
behavioral - coverability tree
structural
invariants
step
run slow
run fast
breakpoint
reset
log file
view history
preferences
animation delay
transition-firing message
transition-firing color
token-in-place color
seed
zoom in
zoom out
show grid
arc weights