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

Model Optimization Techniques in a Verification Platform for Classified Properties., , and . ICESS, volume 3605 of Lecture Notes in Computer Science, page 542-548. Springer, (2004)News videos anchor person detection by shot clustering., , , , and . Neurocomputing, (2014)Convolution calculation of differential cross sections of ring effect., , , , and . IGARSS, page 1137-1140. IEEE, (2010)Property Classification for Functional Verification Based., , , and . Asian Test Symposium, page 503. IEEE Computer Society, (2003)AnyviewC: A Visual Practice Platform for Data Structures Course., , , , and . CSIE (7), page 493-497. IEEE Computer Society, (2009)PFGASAT- A Genetic SAT Solver Combining Partitioning and Fuzzy Strategie., , and . COMPSAC, page 108-113. IEEE Computer Society, (2004)Combined buffer pre-allocation and siphon control for deadlock prevention in Petri nets, and . International Journal of Production Research, 49 (20): 6125--6154 (Jan 20, 2011)Array Modeling in Java Virtual Machine., , and . APPT, volume 4847 of Lecture Notes in Computer Science, page 617-623. Springer, (2007)Using Kalman Filter to Achieve Online Estimation of Equivalent Grid Impedance and High Bandwidth Control for LCL-Filtered Grid-tied Inverters., , , , , and . IECON, page 4247-4252. IEEE, (2020)Design and Experiment of a New Wave Power Conversion Device for Self-Powered Sensor Buoy., , , , , and . IECON, page 1-5. IEEE, (2021)