基于Petri网的设计模式形式化描述 - 王雷 姜久雷 王晓峰 (计算机工程, 2016)
Keywords: Petri网; 形式化描述; 自动识别; 观察者模式; 设计模式; 转换规则; 形式化描述; Petri网; 转换规则; 观察者模式; 自动识别; formal description; conversion rule; automatic identification; 设计模式; observer pattern; design pattern; Petri net