List of examples to download and to test the results:

• Petri Nets
• i*Star
• EduWeaver
• Promote

Download an Example as ZIP File and upload it again to the server to check out the results.