zhiqinghuang / oryx-editor

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

Syntax Check for Petri Nets #371

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
A general syntax checker should be available for Petri nets and should be
used when checking for soundness, step through, ...

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

GoogleCodeExporter commented 9 years ago

Original comment by schlicht...@gmail.com on 5 Apr 2009 at 2:51