search

zhiqinghuang / 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 9 years ago

GoogleCodeExporter commented 9 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