可达标识相关论文
模型修复被视作崭新的流程挖掘技术,通过输入事件日志和流程模型,再分析日志来发现流程模型中产生的偏差,进而达到修复模型的目的......
用带禁止/容许弧的自控网构建一类路灯故障检测系统模型,此系统模型适用于描述对按线性编号的故障路灯设备进行检测的过程,能够准......
提出一种近似计算 S^3PR 网可达标识数的代数方法。首先，基于组合学，可以找到一个 S^3PR 网可达标识数的上限；然后，通过计算包含两个资......
S3PR网是Petri网的一个子类,基于组合学提出一种计算S3PR网可达标识数的代数方法.首先,通过组合学计算S3PR网可达标识数的上限。然......
