首页|期刊导航|电子科技学刊|Boundedness and liveness enforcement for labeled Petri nets using transition priority

Boundedness and liveness enforcement for labeled Petri nets using transition priority

Ye-Jia Liu Xun-Bo Li

电子科技学刊2023，Vol.21Issue(4)：75-90,16.

电子科技学刊2023，Vol.21Issue(4)：75-90,16.DOI:10.1016/j.jnlest.2023.100227

Boundedness and liveness enforcement for labeled Petri nets using transition priority

Ye-Jia Liu ¹Xun-Bo Li¹

作者信息

1. School of Mechanical and Electrical Engineering,University of Electronic Science and Technology of China,Chengdu,611731,China
折叠

摘要

关键词

Boundedness/Control strategy/Liveness/Petri nets/Priority/Transition invariant

Key words

Boundedness/Control strategy/Liveness/Petri nets/Priority/Transition invariant

引用本文复制引用

Ye-Jia Liu,Xun-Bo Li..Boundedness and liveness enforcement for labeled Petri nets using transition priority[J].电子科技学刊,2023,21(4):75-90,16.

基金项目

This work was supported by the Project of Industrial Internet and Integration of Industrialization and Industrialization of Guangxi,China under Grant No.Guigong2021-37. （）

电子科技学刊

OACSCD

ISSN：1674-862X

访问量0

下载量0

段落导航