Decentralized supervisory control of discrete-event systems 论文

1988Information Sciences引用 304
Petri Nets in System ModelingFormal Methods in VerificationDistributed systems and fault tolerance