可达标识相关论文
模型修复被视作崭新的流程挖掘技术,通过输入事件日志和流程模型,再分析日志来发现流程模型中产生的偏差,进而达到修复模型的目的......
Ｆｌｏｙｄ的循环不变式断言法是部分正确性证明的常用方法之一，但循环不变式断言的构造是比较困难的，而染色网（ＣＰＮ）的位置不变量是可求出的．本文通过......
介绍了制造系统中的死锁问题,特点及控制策略.总结了近十年来制造系统中死锁问题的研究成果,将死锁问题的研究方法,按照建模方法......
在弱引发规则下用二态加时Ｐｅｔｒｉ网建模、分析一类具确定性时间和冲突结构的并发系统；联系柔性制造系统、Ｃ３Ｉ系统这类实时并发系统的逻辑验证......
提出一种工程问题的Petri网模型及其构造方法,并且通过该Petri网模型及其可达标识图,给出了整个工程的关键路径和合理施工方案的求......
Petri网是C. A. Petri教授于1962年首先提出的。它是一种系统模拟的有力工具。国外于60年代末,有大量数学家、计算机科学家和其他......
用带禁止/容许弧的自控网构建一类路灯故障检测系统模型,此系统模型适用于描述对按线性编号的故障路灯设备进行检测的过程,能够准......
提出一种近似计算 S^3PR 网可达标识数的代数方法。首先，基于组合学，可以找到一个 S^3PR 网可达标识数的上限；然后，通过计算包含两个资......
S3PR网是Petri网的一个子类,基于组合学提出一种计算S3PR网可达标识数的代数方法.首先,通过组合学计算S3PR网可达标识数的上限。然......
柔性制造系统(FMSs)是由数控机床、缓冲器、夹具、机器人、自动导向小车(AGV)以及其它材料处理设备构成的计算机控制系统。其中一......
