声明
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。
国内刊号：51-1196/TP
国际刊号：1001-3695
发布日期:
作者：徐颖蕾,
单位：山东财经大学计算机科学与技术学院,济南250014；
关键词：Petri网,无冲突,活标识,强连通分支,
基金：山东省自然科学基金资助项目(ZR2020MF137)；；
为了有效求解无冲突Petri网系统活标识的判定及配置优化问题，提出无冲突Petri网系统活标识判定的一种结构化方法。该方法首先求取无冲突Petri网的各强连通分支；然后对每一含有元素个数大于2的强连通分支求取其无同步变迁库所索引集合；最终得到无冲突Petri网系统的无前置库所索引集合，基于该库所元素集合即可实现对活标识的快速判定及配置优化。通过例子具体说明了该方法的实现及应用。分析结果表明，所提方法具有多项式时间复杂度，较易于操作和程序化实现。
来源：2023年第5期
《计算机应用研究》期刊编辑部
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。