Process modeling languages #
- (Coloured) Petri-net
- UML Activity Diagram
- EPC (Event-Driven Process Chains)
- Pi-calculus
Process definition standards #
Process reference models #
Process modeling & analytics tools #
- CPN(http://bpm.khu.ac.kr/wiki/wiki.php/CPN) Tools - Colored Petri-Net 모델링 및 분석 툴
- YAWL(Yet Another Workflow Language)(http://www.yawlfoundation.org/) - Process modeling and verification tool
- EPC Tools(http://wwwcs.uni-paderborn.de/cs/kindler/research/EPCTools/) - ARIS 및 SAP에서 사용하는 EPC(Event-Driven Process Chain) 모델링 툴
- Esper(http://esper.codehaus.org/) - CEP Open source tool
Process mining #
- ProM(http://bpm.khu.ac.kr/wiki/wiki.php/ProM) - Process Mining Tool
Process execution engines #
- jBoss/jBPM
- uEngine
- Apache ServiceMix/ODE