ADONIS is a Business Process Analysis (BPA) tool supporting business process management based on BPMS framework created at the University of Vienna. It is developed by the BOC Information Technologies Consulting GmbH. It allows business process modeling using BPMS notation and BPMN 2.0 was developed in java, process analysis, simulation, evaluation as well as publishing and process automation with BPMN 2.0 XML (BPMN DI) and XPDL.
Apart from commercial ADONIS, freeware Community Edition is available.
References
ADONIS (software) Wikipedia(Text) CC BY-SA