basis of the set of solutions 1 independent sets of vertices 1 inequalities systems of Diophantine equations 1 traps and deadlocks of Petri nets 1 базис множини розв’язків 1 незалежні множини вершин 1 нерівностей 1 пастки та дедлоки мереж Петрі 1 системи діофантових рівнянь 1