Гломозда Д. К.
В работе описано применение метода инвариантов, использующего алгоритм поиска усеченного множества решений уравнения состояния сети Петри, записывающегося в виде системы линейных однородных диофантовых уравнений, к анализу цветных сетей Петри, содержащих дедлоки, на примере модели функционирования многопоточности в языке программирования Java по шаблону «производители/потребители» с использованием комбинации методов wait()/notify().
