Boundedness function

I have added one function to check if petri net is bounded.