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]
Abstract is missing.