Open menu
Michel Hack
1947
Decidability questions for Petri nets