As a result, the original formal semantics of YAWL are defined as a labelled transition system and not in terms of Petri nets.
Поэтому исходная формальная семантика YAWL определяется как модель состояний и переходов (англ. transition system), а не в терминах сетей Петри.