Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems.