added a module that determine's a net's language

as is to be expected, this module only works in the case
that (a) the net is bounded and (b) the reachability graph
contains no cycles (i.e. the prefix language of the net
is finite)