Author of the publication

Marking Predictability and Prediction in Labeled Petri Nets.

, , and . IEEE Trans. Autom. Control., 66 (8): 3608-3623 (2021)

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

Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming., , , and . IEEE Trans. Autom. Control., 65 (6): 2662-2669 (2020)Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis., , , and . IEEE Trans. Autom. Control., 67 (7): 3685-3692 (2022)Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" Automatica 48 (2012), 1097-1101., , and . Autom., (2015)Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets., , , , and . IEEE Control. Syst. Lett., (2023)Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs., , , and . IEEE Control. Syst. Lett., (2022)A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures., , and . ACC, page 365-370. IEEE, (2015)A method to verify the controllability of language specifications in Petri nets based on basis marking analysis., , and . CDC, page 1675-1681. IEEE, (2015)An improved approach for marking optimization of timed weighted marked graphs., , , , and . Discret. Event Dyn. Syst., 29 (2): 127-143 (2019)Path Planning of Multi-Robot Systems With Boolean Specifications Based on Simulated Annealing., , , , and . IEEE Robotics Autom. Lett., 7 (3): 6091-6098 (2022)Diagnosability enforcement in labeled Petri nets using supervisory control., , , and . Autom., (2021)