DWF_net strengthened the power of Petri net in dealing with complicated data structure by adding control variables and communication mechanisms among transitions.

• 基于Petri网,通过增加控制变量,及其与变迁间的通信机制来弥补Petri网无法处理复杂数据结构的缺陷。