use named transition instead of their numerical value