Synthesis of Controllers of Processes Modeled as ColoredPetri Nets
Discrete Event Dynamic Systems
A Colored Petri Net-Based Formal Method for the Design of Control Systems
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Modular Fault Diagnosis Based on Discrete Event Systems
Discrete Event Dynamic Systems
Hi-index | 0.00 |