1 paper
Victor Khomenko, Maciej Koutny, Alex Yakovlev
Being able to find small Petri nets with the same behaviour as formal specifications of concurrent systems benefits both effective verification and practical implementation of such…