Generating all minimal petri net unsolvable binary words

Evgeny Erofeev, Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski. Generating all minimal petri net unsolvable binary words. Discrete Applied Mathematics, 274:35-53, 2020. [doi]

Abstract

Abstract is missing.