Basic set of classes for representing Markov Chain implementation
of a Petri net
Add comments