Discrete event systems; Petri Nets; Deadlocks; Supervisory control;
机译:“使用偏序方法对有界普通Petri网进行生命增强监管”的反例
机译:作者的回复[评论“使用偏序方法对有界普通Petri网进行生命增强监管”]
机译:用偏序法对有界普通Petri网的生命力监督
机译:对不可控制过渡的N安全普通Petri网的信任监督
机译:基于普通和时间Petri网的Muzima指纹模块的建模,分析和仿真
机译:具有活动状态转移图的高阶Petri网模型的时变结构转换分析
机译:用于DEs的petri网监督员具有不可控制和不可观察的转换