Науково-теоретичний журнал "Штучний інтелект" No.3'2001

зміст

УДК 51.681.3

Про обчислення мiнiмальної множинностi iнварiантiв мереж Петрi

Кривий С.Л.

Розглядається застосування 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? Пишіть.