search

ductt-neo / oryx-editor

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

Support for different soundness notions #288

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
There should be different verification techniques for Petri nets:
- Soundness
- Relaxed Soundness
- Weak Soundness

Original issue reported on code.google.com by gero.dec...@googlemail.com on 29 Oct 2008 at 2:21

GoogleCodeExporter commented 9 years ago

Original comment by schlicht...@gmail.com on 1 Apr 2009 at 2:48