ExlipicitChoice (with refactor Package). This is only Local Version.
All Operations completed (with refactor Package). This is only a Local Version. There are many Bugs.
All Operations completed (with refactor Package).
All Operations completed
All Operations completed_ Refactored Version
Fixed bug in editor Toolspecific.
All Operations completed_ Refactored Version_ ExportPNML And ExportDOT must be completed.
Updated documentation.
Refactor after merge saiddao/wolfed "master".
Refactor after merge saiddao/wolfed "master".