Zhiling Cai

Research Institute for Advanced Computer Science

Papers

Total Citations

H-Index

About

Zhiling Cai has made foundational contributions to the modelling and analysis of flexible manufacturing systems through the innovative application of Petri-net theory. Their research focuses on the logical structuring of production environments, particularly the use of binary Petri-nets to represent and analyze complex robotic lattices. In their seminal 1989 work, Cai introduced a formal method for modelling the logical structure of flexible manufacturing systems, establishing a framework that has influenced subsequent research in industrial automation. Building on this, their 2005 study on Petri nets for robot lattices introduced an augmented lattice approach for analyzing production lines, demonstrating how lattice configurations—among the most flexible in industrial manufacturing—can be systematically modelled. Although the citation counts for these works are modest (4 and 3 citations respectively), their conceptual impact is significant within the niche field of Petri-net-based manufacturing analysis. Cai’s work bridges theoretical modelling with practical industrial applications, offering tools that help engineers optimize robotic production lines. Their research remains a reference point for scholars exploring the intersection of discrete event systems and manufacturing flexibility.