Minimization of SM-Covers of Petri Net Specifications of Control Systems

Andrei Karatkevich, Lukasz Stefanowicz. Minimization of SM-Covers of Petri Net Specifications of Control Systems. In Andrzej Napieralksi, editor, 26th International Conference on Mixed Design of Integrated Circuits and Systems, MIXDES 2019, Rzeszów, Poland, June 27-29, 2019. pages 398-403, IEEE, 2019. [doi]

Authors

Andrei Karatkevich

This author has not been identified. Look up 'Andrei Karatkevich' in Google

Lukasz Stefanowicz

This author has not been identified. Look up 'Lukasz Stefanowicz' in Google