50、基于同步有色Petri网的建模与视频分析

基于同步有色Petri网的建模与视频分析

1. 对话头部手势同步

研究人员运用了六种Allen同步方式来对36种对话头部手势进行建模。以下是相关同步的时间约束说明：
| 任务表示 | 说明 |
| ---- | ---- |
| ( \tau_i ) | 任务 |
| ( S(\tau_i) ) | 任务 ( \tau_i ) 的开始 |
| ( E(\tau_i) ) | 任务 ( \tau_i ) 的结束 |
| ( \varepsilon_T ) | 小的时间阈值，低于此值时人眼会认为两个事件同步发生 |

2. 同步有色Petri网建模符号

同步有色Petri网有特定的符号表示：
- 有色令牌的标签放在花括号内作为一个集合。
- 同步位置或同步转换用虚线矩形框起来。
- 嵌入式Petri网通过在相应位置或转换上关联符号 ‘+’ 来表示。

对于两个任务 ( \tau_i ) 和 ( \tau_j (i \neq j) )，有以下表示：
- 顺序执行：( \tau_i \to \tau_j )
- 异步并发：( \tau_i || \tau_j )
- 开始同步：( \tau_i \oplus \tau_j )
- 结束同步：( \tau_i \otimes \tau_j )
- 严格同步：( \tau_i \odot \tau_j )
- 任务 ( \tau_i ) 在任务 ( \tau_j ) 期间：( \tau_i \sqsubseteq \tau_j )
- 转换序列：( < … &