Supervisory Control of a Class of Discrete Event Processes 论文

1987SIAM Journal on Control and Optimization引用 3332
DOI
Petri Nets in System ModelingFormal Methods in VerificationDistributed systems and fault tolerance
Distributed systems and fault tolerancePetri Nets in System ModelingFormal Methods in Verification
相关技术:Formal Methods in VerificationPetri Nets in System Modeling
关系图谱

Supervisory Control of a Class of Discrete Event Processes · 相关文章

暂无数据