Науково-теоретичний журнал "Штучний інтелект" No.3'2001
|
зміст
УДК 51.681.3
Кривий С.Л.
Розглядається застосування TSS-алгоритму побудови мiнiмальної породжуючої множинностi розв'язкiв системи лiнiйних дiофантових рiвнянь до аналiзу мереж Петрi. Зокрема, за допомогою цього алгоритму будуються мiнiмальнi множинностi iнварiантiв мереж Петрi.
УДК 51.681.3
Крывый С.Л.
Рассматривается применение TSS-алгоритма построения минимального порождающего множества решений системы линейных диофантовых уравнений к анализу сетей Петри. В частности, с помощью этого алгоритма строятся минимальные множества инвариантов сетей Петри.
Copyright © 1995-2024;
Інститут проблем штучного інтелекту. Усi права на матерiали, що знаходяться на сайтi Інституту проблем штучного інтелекту, захищаються вiдповiдно до законодавства України. Використання матерiалiв дозволяється у випадку посилання (для iнтернет-видань - гiперпосилання) на www.iai.dn.ua. Передрукування, копiювання або вiдтворення iнформацiї, що не мiстить у собi посилання на www.iai.dn.ua, у будь-якому виглядi суворо забороненi. Проблеми/коментарi? Пишіть. |