Algebraic Petri netW
Algebraic Petri net
Business Process Model and NotationW
Business Process Model and Notation
CMS PipelinesW
CMS Pipelines
ERILW
ERIL
Interaction Flow Modeling LanguageW
Interaction Flow Modeling Language
Meta-Object FacilityW
Meta-Object Facility
Object Process MethodologyW
Object Process Methodology
PetriscriptW
Petriscript
TLA+W
TLA+
Unified Modeling LanguageW
Unified Modeling Language
XPDLW
XPDL
Z notationW
Z notation