The transition statement is interchangeable to the edge statement. It has the same syntax and semantics as the edge statement. See here
@2020-2022 Hao Wu. All rights reserved. Last update: January 29, 2022