==== Process modeling languages ====
 * (Coloured) Petri-net
 * UML Activity Diagram
 * EPC (Event-Driven Process Chains)
 * Pi-calculus

==== Process definition standards ====
 * [http://www.bpmn.org/ BPMN (Business Process Notation Language]
 * [http://www.wfmc.org/standards/xpdl.htm XPDL (XML Process Definition Language)]
 * [http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html WS-BPEL (Web Services Business Process Execution Language)]
 * [http://www.w3.org/TR/ws-cdl-10/ WS-CDL (Web Services Choreography Description Language)]

==== Process reference models ====
 * [http://www-01.ibm.com/software/integration/wbimodeler/advanced/library/samples612.html Sample Modeling Projects for WebSphere Business Modeler]

==== Process modeling & analytics tools ====
 * [http://bpm.khu.ac.kr/wiki/wiki.php/CPN CPN] Tools - Colored Petri-Net 모델링 및 분석 툴
 * [http://www.yawlfoundation.org/ YAWL(Yet Another Workflow Language)] - Process modeling and verification tool
 * [http://wwwcs.uni-paderborn.de/cs/kindler/research/EPCTools/ EPC Tools] - ARIS 및 SAP에서 사용하는 EPC(Event-Driven Process Chain) 모델링 툴
 * [http://esper.codehaus.org/ Esper] - CEP Open source tool

==== Process mining ====
 * [http://bpm.khu.ac.kr/wiki/wiki.php/ProM ProM] - Process Mining Tool

==== Process execution engines ====
 * jBoss/jBPM
 * uEngine
 * Apache ServiceMix/ODE

==== Business rule engines ====
 * jBoss/Drools  http://labs.jboss.com/drools/docs/index.html
 * Jess  http://www.jessrules.com/jess/index.shtml
 * Jena  http://jena.sourceforge.net/inference/
 * JSR-94 (Java Rule Engine API)  http://jcp.org/en/jsr/detail?id=94