弱引发规则相关论文
提出了一种弱引发规则二态加时变迁Petri网(简称WTTPN),它比Ramchandani的二态加时变迁Petri网(简称TTPN)更适于建模分析冲突结构;平行于无时间约束Petri网,给出了WTTPN的形式化描述......
提出了一种弱引发规则二态加时变迁Petri网(简称WTTPN)它比Ramchandani的二态加权变迁Petri网(简称TTPN)更适于建模分析冲突结构,平行于无时间约束Petri网,给出了WTTPN的形式描述与......