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), а не в терминах сетей Петри. |
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 человек убитыми - младшего офицера и матроса. |
In his autobiography, he states that his father joined seven other merchants from Copenhagen jointly to purchase the Admiral Yawl and present it to the Crown in a spirit of reprisal against the British after the Battle of Copenhagen (1807). |
В своей автобиографии он утверждает, что его отец и семь других торговцев из Копенгагена совместно приобрели бриг Admiral Yawl и передали его короне после британской бомбардировки Копенгагена (1807). |