search

ttamaris / oryx-editor

Automatically exported from code.google.com/p/oryx-editor
Other
0 stars 0 forks source link

Boundedness Checker for Petri Nets #372

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
A boundedness checker should available for Petri nets.

Original issue reported on code.google.com by schlicht...@gmail.com on 25 Mar 2009 at 1:53