Decentralized supervisory control of discrete-event systems 论文

1988Information Sciences引用 304

Petri Nets in System ModelingFormal Methods in VerificationDistributed systems and fault tolerance

Distributed systems and fault tolerance Petri Nets in System Modeling Formal Methods in Verification

相关技术:Petri Nets in System Modeling Formal Methods in Verification

Decentralized supervisory control of discrete-event systems · 相关文章

暂无数据