matmas/pneditor — pull request #1 by milkaknap (2013-01-17 15:46:32+00:00)
Title: Boundedness function

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