Author of the publication

Petri nets for the control of discrete event systems.

, and . Softw. Syst. Model., 14 (2): 693-701 (2015)

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

State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*., , and . Discrete Event Dynamic Systems, 15 (1): 85-108 (2005)Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection., , and . IEEE Trans. Automat. Contr., 64 (7): 2997-3004 (2019)Verification of Detectability in Petri Nets Using Verifier Nets., , , and . CoRR, (2019)Verification of C-detectability Using Petri Nets., , , and . CoRR, (2019)Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis., , and . Petri Nets, volume 10877 of Lecture Notes in Computer Science, page 164-183. Springer, (2018)Guest Editorial to the Special Section of L-CSS on Fragility and Resiliency in Cyber-Physical Discrete-Event Systems., , and . IEEE Control. Syst. Lett., (2022)Distributed Mode Computation in Open Multi-Agent Systems., , , , and . IEEE Control. Syst. Lett., (2022)Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking., , and . SMC, page 2348-2353. IEEE, (2013)Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning., , , and . CDC, page 356-361. IEEE, (2015)Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs., , and . IEEE Trans. Automat. Contr., 64 (10): 4353-4360 (2019)