Menu
▾
▴
#1 Reachability Graph / Matrix
Analysis module for creating the Reachability/Occurence
Graph in form of two matrices. The first matrix
consists of all reachable markings. The second matrix
gives information about which transitions are enabled
for a marking and to which following marking the firing
will lead.
