不可控变迁相关论文
在自动制造系统中,死锁问题以及系统稳健性问题一直备受研究者们的青睐。通过Petri网建模的自动制造系统,对于死锁问题的分析主要......
Petri网能很容易地表达狭义相对论的观点,在形式建模和系统分析时可以采用直观的图形化表示。Petri网的建模能力和数学化表达方法,......
离散事件系统是随着未知的不规则时间间隔内出现的离散事件驱动演化的一类动态系统。从本质上讲,这类系统是一个人造系统,典型的有......
Petri网的死锁问题一直是Petri网研究的重要课题。死锁是柔性制造系统控制器设计时必须要考虑和解决的问题。对一个Petri网模型而......
针对基于Petri网建模的离散事件系统关于Parikh向量的不等式约束反馈控制器设计问题，对Parikh向量的不等式约束条件中存在不可控变......
针对基于Petri网建模的离散事件系统的Petri网控制器的设计问题，分析了系统中存在不可控变迁时的情况，并基于局部设计和Petri网简化......
在基于Petri网建模的含不可控事件的离散事件系统监控器设计中,当给定的控制目标为Parikh矢量约束时,提出通过转换矩阵R将不可控变......
针对不可控影响子网为α网的一类Petri网,提出了将给定的广义互斥约束转换成最优允许线性约束的方法.该方法首先获得了该网的不可......
基于Petri网模型，研究在具有不可控变迁的离散事件系统中实现一组不等式约束Petri网控制器问题．给出了一类Petri网位置不变量存在的......
研究了部分可控Petri网的码垛机器人零件加工系统最优监控器设计的问题。为了保证广义互斥约束满足静态规范和行为规范,提出了部分......
期刊
