#1 Reachability Graph / Matrix

[omit]

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.