| In particular, the YAWL system includes a static analysis tool called WofYAWL. | В частности, система YAWL включает в себя инструмент статического анализа WofYAWL. |
| 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), а не в терминах сетей Петри. |
| In addition, YAWL adds some syntactical elements to Petri nets in order to intuitively capture other workflow patterns such as simple choice (xor-split), simple merge (xor-join), and multiple choice (or-split). | Впоследствии в YAWL были добавлены некоторые синтаксические элементы, не присутствующие в сетях Петри, для более интуитивной реализации простых шаблонов потоков операций, среди таковых простой выбор (xor-split), простое слияние (xor-join) и множественный выбор (or-split). |
| The fact that YAWL is based on formal semantics has enabled the implementation of several techniques for analyzing YAWL processes. | Тот факт, что YAWL основан на формальной семантике, позволил реализовать несколько методов анализа процессов YAWL. |
| Admiral Yawl had two dead: her second officer and a seaman. | Admiral Yawl потерял 2 человек убитыми - младшего офицера и матроса. |