search

ductt-neo / oryx-editor

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

Wrong location of soundness problems #344

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Current:
The transition where the "good path" is left is visualized. This does not
help when trying to correct the process.

Expected:
Deadlocks => show the AND gateway, where tokens are stuck
Lack of synchronization => show the XOR gateway / activity where more than
one token appear on one place

REMARK: I will implement the corrected implementation for Christmas AS A GIFT!

Original issue reported on code.google.com by gero.dec...@googlemail.com on 18 Dec 2008 at 5:07

GoogleCodeExporter commented 9 years ago 
NICE :)

Original comment by NicoPete...@gmail.com on 20 Dec 2008 at 2:27