Committed跟Urgent都是time automaton 中用来表示state的关键词。
它们的主要区别是:
Committed前后的两个状态改变(transition)是串行发生,不可打断的。
Urgent则是,前后两个状态改变(transition)是并行发生的。
如图:
时间: 2024-11-08 19:07:23
Committed跟Urgent都是time automaton 中用来表示state的关键词。
它们的主要区别是:
Committed前后的两个状态改变(transition)是串行发生,不可打断的。
Urgent则是,前后两个状态改变(transition)是并行发生的。
如图: