Author of the publication

Sequence Control of Essential Siphons for Deadlock Prevention in Petri Nets.

, and . ACM Trans. Embed. Comput. Syst., 12 (1): 8:1-8:22 (2013)

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

EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure., , , , and . DAC, page 588-593. IEEE, (2007)ASIG: An all-solution SAT solver for CNF formulas., and . CAD/Graphics, page 508-513. IEEE, (2009)Investigation of mobile surroundings for visual attention based on image perception model., , , , , , and . VCIP, page 1-4. IEEE, (2016)Petri-net-based robust supervisory control of automated manufacturing systems, , , , and . Control Engineering Practice, (September 2016)Sparsity-Boosted Detection for Large MIMO Systems., , , and . IEEE Commun. Lett., 19 (2): 191-194 (2015)A Petri Net Approach for Green Supply Chain Network Modeling and Performance Analysis., and . Business Process Management Workshops, volume 171 of Lecture Notes in Business Information Processing, page 330-341. Springer, (2013)Supply Chain Uncertainty Under ARIMA Demand Process., and . Business Process Management Workshops, volume 171 of Lecture Notes in Business Information Processing, page 365-376. Springer, (2013)A polynomial complexity deadlock avoidance method for a class of flexible manufacturing systems., , , and . WODES, page 272-277. IEEE, (2016)Petri net cascade decomposition for supervisory control., , , and . ACC, page 338-343. IEEE, (2003)A green wave band based method for urban arterial signal control., , , , and . ICNSC, page 126-131. IEEE, (2014)