Boundedness and liveness enforcement for labeled Petri nets using transition priority

Liu Ye-Jia; Li Xun-Bo

doi:10.1016/j.jnlest.2023.100227

Liu Ye-Jia, Li Xun-Bo. Boundedness and liveness enforcement for labeled Petri nets using transition priority[J]. Journal of Electronic Science and Technology, 2023, 21(4): 100227. DOI: 10.1016/j.jnlest.2023.100227

Citation:

Liu Ye-Jia, Li Xun-Bo. Boundedness and liveness enforcement for labeled Petri nets using transition priority[J]. Journal of Electronic Science and Technology, 2023, 21(4): 100227. DOI: 10.1016/j.jnlest.2023.100227

Citation:

Liu Ye-Jia, Li Xun-Bo. Boundedness and liveness enforcement for labeled Petri nets using transition priority[J]. Journal of Electronic Science and Technology, 2023, 21(4): 100227. DOI: 10.1016/j.jnlest.2023.100227

Boundedness and liveness enforcement for labeled Petri nets using transition priority

Abstract

FullText(HTML)

References(36)

Relative Articles

Supplements (0)

/

DownLoad: Full-Size Img PowerPoint

Return

Boundedness and liveness enforcement for labeled Petri nets using transition priority

Catalog

Export File

Citation

Format

Content