Author of the publication

Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets.

, , and . IEEE Trans. Multim., 11 (8): 1457-1465 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems With Assembly Operations., and . IEEE Trans. Contr. Sys. Techn., 23 (2): 513-524 (2015)Resource failure and buffer space allocation control for automated manufacturing systems., , , , and . Inf. Sci., (2018)An approach to specification simplification in automated manufacturing systems using invariance and inequality analysis., and . ICRA, page 3841-3848. IEEE, (2015)Mono-T-semiflow systems with resources and their distributed control using Petri nets., and . CASE, page 1042-1048. IEEE, (2016)Scheduling of single-arm cluster tools with multi-type wafers and shared PMs., , , and . CASE, page 1046-1051. IEEE, (2017)A Robust Control Approach to Automated Manufacturing Systems Allowing Multitype and Multiquantity of Resources With Petri Nets., and . IEEE Trans. Syst. Man Cybern. Syst., 50 (10): 3499-3514 (2020)Robust Deadlock Avoidance and Control of Automated Manufacturing Systems With Assembly Operations Using Petri Nets., , and . IEEE Trans Autom. Sci. Eng., 17 (4): 1961-1975 (2020)A Survey on Robust Deadlock Control Policies for Automated Manufacturing Systems With Unreliable Resources., , and . IEEE Trans Autom. Sci. Eng., 17 (1): 389-406 (2020)Estimation of Least-Cost Transition Firing Sequences in Labeled Petri Nets by Using Basis Reachability Graph., , , , , and . IEEE Access, (2019)Non-interference assessment in colored net systems via integer linear programming., , and . Inf. Sci., (February 2024)