ガード条件

関連付けられた遷移が発火するために満たす必要がある条件。