At the same time, the BNF (Backus-Naur Form) is useful to describe the model during the process and a set of effective rules or means come from it, which can simplify the structure and the process.
同时,在利用分层Petri网建模过程中采用巴克斯范式对WS-BPEL结构元素描述,总结提出了行之有效的化简规则、方法,便于简化模型。
参考来源 - 基于分层Petri网的Web服务组合建模与验证·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐