Ma, Ziyue; He, Zhou; Li, Zhiwu; Giua, Alessandro Design of supervisors for linear marking specifications in labeled Petri nets. (English) Zbl 1480.93269 Automatica 136, Article ID 110031, 12 p. (2022). MSC: 93C65 × Cite Format Result Cite Review PDF Full Text: DOI
Lefebvre, Dimitri; Basile, Francesco An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems. (English) Zbl 1484.90038 Inf. Sci. 559, 314-335 (2021). MSC: 90B35 68Q85 90B30 90B40 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Ma, Ziyue; Yin, Xiang; Li, Zhiwu Marking diagnosability verification in labeled Petri nets. (English) Zbl 1478.93412 Automatica 131, Article ID 109713, 8 p. (2021). MSC: 93C65 93B03 × Cite Format Result Cite Review PDF Full Text: DOI
Raman, Arun; Sreenivas, Ramavarapu S. Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets. (English) Zbl 1461.93316 Automatica 125, Article ID 109430, 10 p. (2021). MSC: 93C65 93B05 93-10 × Cite Format Result Cite Review PDF Full Text: DOI
Ma, Ziyue; Li, Zhiwu; Giua, Alessandro Petri net controllers for generalized mutual exclusion constraints with floor operators. (English) Zbl 1348.93190 Automatica 74, 238-246 (2016). MSC: 93C65 93A13 93B51 × Cite Format Result Cite Review PDF Full Text: DOI Link