ประโยคภาษาจีน : 中文句子 |
---|
wén zhōng 文中 zhòng diǎn 重点 yán jiū 研究 le 了 cǎi yòng 采用 tú 图 guī yuē 规约 fǎ 法 duì 对 gōng zuò 工作 liú wǎng 流网 mó xíng 模型 de 的 yàn zhèng 验证 tí chū 提出 le 了 liú 流 kòng zhì 控制 jié gòu 结构 de 的 tú 图 guī yuē 规约 guī zé 规则 bìng 并 duì 对 zhè xiē 这些 guī zé 规则 jìn xíng 进行 le 了 zhèng míng 证明 |
The verification of the model of TCPN workflow nets by means of graph reduction was mainly considered, and some graph reduction rules of flow control structure were put forward and proved. |