POOH як нармафзори таҳқиқотии кушодаасос аст, ки барои омӯзиши системаҳои идоракунии ҳамзамон бо шабакаҳои Петри ва усулҳои таҷзияи асосёфта ба гиперграф таҳия шудааст. Платформа, ки ихтисораи “Power Objects of Hypergraphs” мебошад, кашидан ё ворид кардани шабакаи Петри, ҳисоб кардани P-инвариантҳо, баровардани номзадҳои ҷузъи мошини ҳолат, сохтани гиперграфи интихоб, татбиқи Алгоритми Зудкамкунӣ, ёфтани маҷмӯаҳои transversal ва exact transversal ва санҷиши хусусиятҳои XT, c-exact ва r-exact-ро дар як фазои кории браузер муттаҳид мекунад.

Хати таҳқиқотии нармафзор танҳо бо таҷзияи сохторӣ маҳдуд намешавад. POOH ҳадаф дорад, ки ҷузъҳои аз шабакаи Петри гирифташударо бо моделҳои маҳаллии банақшагирии `(max,+)` ва баромадҳои қоидаҳои норавшани Takagi–Sugeno, ки ба таври сохторӣ тавлид мешаванд, пайваст кунад. Ҳамин тавр, он роҳи муттаҳиди таҷрибавиро дар шакли шабакаи Петри → P-инвариантҳо ва ҷузъҳои мошини ҳолат → гиперграфи интихоб → таҷзияи XT/r-exact → банақшагирии `(max,+)` → назорати болоии норавшан пешниҳод мекунад.

Версияи v1.0.0 версияи бойгонишавандаи нармафзори таҳқиқотӣ мебошад, ки интерфейси браузер, модулҳои асосии JavaScript-и дубораистифодашаванда, равандҳои Web Worker, мисолҳои детерминистӣ, фармонҳои санҷиши Node.js, санҷишҳои браузерии Playwright, воситаҳои содироти ҳисобот ва сабти муқоисаи CPU–WebGPU-ро дар бар мегирад. Код бо иҷозатномаи MIT мубодила шудааст. Аммо нармафзор ҳамчун маҳсулоти сертификатсияшудаи назорати саноатӣ пешниҳод намешавад; балки ҳамчун муҳити таҳқиқотӣ барои таҷзияи шабакаи Петри, гиперграфҳои exact transversal ва таҷрибаҳои ибтидоии банақшагирӣ-назорати норавшан таҳия шудааст.

Аҳамият барои Туркия

POOH барои лабораторияҳои автоматика, идоракунӣ ва муҳандисии компютерии Туркия зерсохтори таҳқиқотие пешниҳод мекунад, ки метавонад барои таҳлили сохтории хатҳои истеҳсолӣ, ҳуҷайраҳои роботӣ, равандҳои мубодилаи захираҳо, вазифаҳои ҳамзамон ва системаҳои асосёфта ба PLC истифода шавад. Истифодаи як фазои корӣ аз модели шабакаи Петри то марҳилаҳои таҷзия ва ҳисоботдиҳӣ метавонад зарурати табдили дастии додаҳоро байни скриптҳои гуногун кам кунад.

Барои версияе, ки ба Туркия мутобиқ карда мешавад, интерфейс ва ҳуҷҷатҳои техникии туркӣ, ба версияи устувор ворид кардани форматҳо стандартии додаҳо мисли PNML, мисолҳои хатҳои истеҳсолии маҳаллӣ, санҷиши баромадҳо бо воситаҳои гуногуни PLC ва SFC ва маҷмӯаҳои benchmark-и калонтару кушода лозиманд. Таҷзияҳои сохторӣ, моделҳои банақшагирӣ ё қоидаҳои норавшане, ки нармафзор тавлид мекунад, пеш аз истифода дар мошини воқеӣ бояд аз санҷиши мустақил, таҳлили амният, hardware-in-the-loop ва баррасии муҳандиси ваколатдор гузаранд.

Дар системаҳои идоракунии ҳамзамон кадом масъала баррасӣ мешавад?

Дар системаҳои истеҳсол ва идоракуние, ки ҳамзамон кор мекунанд, якчанд раванд метавонанд як захираро мубодила кунанд, дар вақтҳои гуногун ҳамоҳанг шаванд ё байни интихобҳои якдигарро истиснокунанда қарор қабул кунанд. Дар моделсозии чунин системаҳо на танҳо тартиби иҷро, балки сабабият, конфликт, ҳамзамонӣ, мубодилаи захираҳо ва бозтанзимро низ нишон додан лозим аст.

Шабакаҳои Петри дар чунин системаҳо ҷойҳо, гузаришҳо, ҷараёни token ва шартҳои фаъолшавии гузаришҳоро ба таври графикӣ муаррифӣ мекунанд. Аммо сохтани шабакаи Петри барои аксари таҳқиқот танҳо қадами аввал аст. Сипас муҳаққиқ бояд:

• Инвариантҳои сохториро ҳисоб кунад,
• Зерравандҳои пайдарпай ё ҷузъҳои мошини ҳолатро ёбад,
• Баррасӣ кунад, ки ин ҷузъҳо шабакаи аслиро чӣ гуна мепӯшонанд,
• Гиперграфи интихобро созад,
• Ҷузъҳои нолозим ва шартҳои пӯшишро коҳиш диҳад,
• Маҷмӯаҳои transversal ва exact transversal-ро ҳисоб кунад,
• Хусусиятҳои XT, c-exact ё r-exact-ро санҷад,
• Натиҷаҳоро ба моделҳои банақшагирӣ ё назорати болоӣ интиқол диҳад

лозим шуда метавонад. POOH ҳадаф дорад, ки ин қадамҳоро, ки одатан скриптҳо ва воситаҳои ҷудогона талаб мекунанд, дар як ҷараёни кории дуборатавлидшаванда муттаҳид кунад.

Хати таҳқиқотии POOH чӣ гуна кор мекунад?

Схемаи меъморӣ дар саҳифаҳои 4. ва 22. таҳқиқот хати асосии таҳқиқотро чунин нишон медиҳад:

Шабакаи Петри → P-инвариантҳо / ҷузъҳои мошини ҳолат → гиперграфи интихоб → таҷзияи XT/r-exact → банақшагирии `(max,+)` → назорати болоии норавшани Takagi–Sugeno

Қисми аввали ин хат таҳлили сохторӣ мебошад. Шабакаи Петри ворид карда ё дар браузер кашида мешавад. Бо ҳисоб кардани P-инвариантҳо зерсохторҳое муайян мешаванд, ки метавонанд ҷузъи мошини ҳолат бошанд. Ин номзадҳои ҷузъ гипергиреҳҳои гиперграфи интихобро ташкил медиҳанд, дар ҳоле ки талаботи пӯшиш аз сохтори шабакаи Петри гиперканорҳои гиперграфро ташкил медиҳанд.

Қисми дуюм таҳлили гиперграф мебошад. Бо таҳлили transversal муайян карда мешавад, ки кадом интихобҳои гипергиреҳҳо ҳамаи талаботи пӯшишро қонеъ мекунанд. Равиши exact transversal интихобҳоеро меомӯзад, ки дар онҳо ҳар талаб бо шарти дақиқии хоста қонеъ мешавад. Гиперграфи XT дар таҳқиқот ҳамчун ҳолати 1-exact-и оилаи васеътари r-exact баррасӣ мешавад.

Қисми сеюм тавсеаи таҳқиқотиест, ки ҷузъҳои таҷзияшударо ба баромадҳои назоратӣ табдил медиҳад. Аз ҷузъҳои маҳаллӣ моделҳои банақшагирии `(max,+)` ва аз муносибатҳои сохторӣ лоиҳаҳои қоидаҳои норавшани Takagi–Sugeno тавлид мешаванд. Ин қисм дар v1.0.0 барои таҳқиқоти таҷрибавӣ ва ҳисоботдиҳӣ пешбинӣ шудааст.

P-инвариантҳо ва ҷузъҳои мошини ҳолат

Қабати шабакаи Петри дар POOH барои ҳисоб кардани P-инвариантҳо ва муайян кардани номзадҳои ҷузъи мошини ҳолат аз қабати ҳисоббарории алоқаманд бо равиши Martinez–Silva истифода мекунад. Ҷузъҳои ҳисобшуда номзадҳои сохторӣ мебошанд, ки нишон медиҳанд шабакаи аслиро чӣ гуна метавон ҳамчун қисмҳои ҳамзамон ё пайдарпай омӯхт.

Экрани таҳлил дар саҳифаҳои 6. ва 17. санҷиши зинда будан ва бехатарии модел, зерсеткаҳои воридотӣ, гиреҳҳои асосӣ, гиперграфи интихоб, матритсаҳои пеш ва пас аз FRA, вақтҳои transpose ва FRA ва таснифи XTREC-ро дар як панел нишон медиҳад. Ҳадафи экран ин аст, ки натиҷаҳои миёнаравии раванди таҷзия ба ҷойи файлҳои ҷудогона дар як фазои корӣ пайгирӣ шаванд.

Формати файли PNH чист?

POOH v1.0.0 ду формати вурудро бо номи PNH дастгирӣ мекунад:

• Формати матритса: Шумораи ҷойҳо ва гузаришҳо, сатрҳои incidence-и гузариш–ҷой, marking-и ибтидоӣ ва сатрҳои ихтиёрии metadata.
• Формати қисматнок: Дар зери сарлавҳаи PNH 1.0 бахшҳои [PLACES], [TRANSITIONS], [ARCS] ва [MARKING].

PNH формати таҳқиқотии махсуси воситаест, ки аз муҳити таҳлили шабакаи Петри Hippo омадааст; он ҳамчун стандарти умумии байналмилалии мубодила пешниҳод намешавад. Дастгирии PNML, ки дар ISO/IEC 15909-2:2011 муайян шудааст, аз ҷониби таҳқиқот ба хати рушди баъди v1.0.0 гузошта шудааст. Аз ин рӯ набояд хулоса кард, ки версияи бойгонишудаи v1.0.0 ворид ё содироти PNML-ро таъмин мекунад.

Гиперграфи интихоб чиро ифода мекунад?

Дар гиперграфи интихоб гипергиреҳҳо номзадҳои ҷузъи мошини ҳолатро аз шабакаи Петри ва гиперканорҳо шартҳои сохтории пӯшишро, ки ин номзадҳо бояд қонеъ кунанд, ифода мекунанд. Гиперканорҳои ранга муносибати якчанд ҷузъро бо як талаб ва ҳампӯшониҳоро ба таври визуалӣ нишон медиҳанд.

POOH ду тарзи кори гиперграфро пешниҳод мекунад:

1. Ҷараёни таҷзия: Гиперграф дар натиҷаи таҳлили шабакаи Петри ва P-инвариант ба таври автоматӣ сохта мешавад.
2. Ҷараёни дастӣ: Корбар гиперграфи назариявиеро, ки ба шабакаи Петри вобаста нест, мустақим мекашад, гипергиреҳ ва гиперканор илова мекунад, FRA-ро татбиқ мекунад ва хусусиятҳои дақиқиро месанҷад.

Дар муҳаррири дастии саҳифаҳои 7. ва 19. transversal, exact transversal, ҳамаи transversals, таснифи гиперграф, спектри c-exact, шартҳои XT ва санҷиши r-exact барои ҳадди муайяншудаи r ҳамчун назоратҳои ҷудогона пешниҳод шудаанд.

Алгоритми Зудкамкунӣ чӣ мекунад?

Алгоритми Зудкамкунӣ ҳадаф дорад, ки бо арзёбии унсурҳои асосӣ ва муносибатҳои бартарият дар гиперграфи интихоб гипергиреҳҳо ё гиперканорҳои барои ҳисобкунии минбаъдаи transversal нолозимро кам кунад. Бо ин роҳ таҳлили exact transversal метавонад дар сохтори хурдтари incidence иҷро шавад.

Дар мисоли назоратшудаи саҳифаҳои 6. ва 18. коҳиш тағйироти зеринро ба вуҷуд овардааст:

Дар муқоисаи пурраэкрана гуфта мешавад, ки гипергиреҳҳои D1, D4, D5 ва D7 ва гиперканорҳои P2, P3, P4 ва P5 хориҷ шудаанд. Визуализатсия имкон медиҳад, ки натиҷаи коҳиш на танҳо рақамӣ, балки бо нишон додани гиперграфи аслӣ ва коҳишёфта паҳлӯ ба паҳлӯ санҷида шавад.

Ин мисол нишон медиҳад, ки FRA метавонад гиперграфи хурди назоратшударо ба таври ҷиддӣ хурд кунад. Аммо исбот нашудааст, ки ҳамин таносуби коҳиш барои ҳамаи моделҳои шабакаи Петри ба даст меояд ё дар шабакаҳои калон вақти ҳисобро бо таносуби муайян кам мекунад.

Transversal, exact transversal ва XTREC

Transversal интихоби гипергиреҳҳоест, ки талаботи пӯшиши гиперграфро қонеъ мекунад. POOH метавонад transversals-и умумӣ ва интихобҳои таснифшуда ҳамчун exact transversal-ро алоҳида ҳисоб кунад.

Ҷараёни XTREC ба ҷойи танҳо тавлид кардани ягон hitting set, хусусияти exact-transversal hypergraph-и гиперграфи интихобро месанҷад. Барнома таҳлилҳои зеринро дастгирӣ мекунад:

• Сохтани рӯйхати transversal,
• Интихоби exact transversals,
• Санҷиши хусусияти XT ё 1-exact,
• Баррасии спектри c-exact,
• Арзёбии хусусияти r-exact зери ҳадди муайяншуда,
• Муқоисаи натиҷаҳои пеш ва пас аз FRA.

Роҳи иҷрои CPU ҳамчун варианти асосӣ дар ҳамаи муҳитҳои муосир истифода мешавад. Вақте браузер ва сахтафзор функсияҳои WebGPU-ро дастгирӣ мекунанд, баъзе равандҳои вазнин метавонанд ба роҳи тезонидашуда гузаронида шаванд. Агар WebGPU дастрас набошад, барнома ба роҳи мувофиқи иҷро бармегардад ва ҳам режими дархостшуда ва ҳам режими воқеан истифодашударо гузориш медиҳад.

Банақшагирии `(max,+)` ва модули норавшани Takagi–Sugeno

Модули `(max,+)`/Fuzzy дар саҳифаҳои 8. ва 20. ҳадаф дорад, ки аз таҷзияи сохторӣ баромадҳои банақшагирии маҳаллӣ ва назорати норавшан тавлид кунад. Дар интерфейси корбар марҳилаҳои Petri, XT, ҷузъи мошини ҳолат, max-plus ва Takagi–Sugeno дар tab-ҳои алоҳида нишон дода мешаванд.

Модул чунин намудҳои вурудҳоро дар бар мегирад:

• Сатҳи alpha-cut ва қадами скан барои fuzzy exact-transversal,
• Таъхирҳои пешфарзи ҷой ва харитаи таъхири махсус барои ҷой,
• Вазнҳои ҳамзамонӣ, бидуни конфликт, вақт, coupling ва бозтанзим,
• Ҳадҳои coupling ё max-plus,
• Параметрҳои таҳқиқотӣ мисли уфуқи таҷрибавии MPC.

Ҳадаф ин аст, ки ба ҷойи пурра дастӣ навиштани пойгоҳи қоидаҳои норавшан, antecedent-ҳои қоида аз тавсифгарҳои сохторӣ мисли ҳамзамонӣ, конфликт, coupling, банақшагирӣ ва бозтанзим гирифта шаванд. Аммо таҳқиқот иҷрои closed-loop-и ин қоидаҳоро дар иншооти воқеии саноатӣ чен накардааст. Баромадҳои тавлидшуда дар v1.0.0 artefact-ҳои таҳқиқот, муқоиса ва ҳисобот мебошанд.

Меъмории нармафзор

Диаграммаи меъморӣ дар саҳифаҳои 4. ва 22. нармафзорро ба панҷ қабати техникӣ ҷудо мекунад:

Яке аз ҳадафҳои муҳими раванди устуворсозии v1.0.0 интиқоли мантиқи алгоритмӣ аз controller-и калони браузер ба модулҳои санҷишшавандаи src/core/ мебошад. Мақола ошкоро мегӯяд, ки ин гузариш идома дорад ва қисми мантиқи вобаста ба интерфейси корбар ҳанӯз дар controller-и калони браузер боқӣ мондааст.

Зерсохтори дуборатавлидшавӣ

Репозиторий барои такрор кардани ҷараёни асосии кор дар мақолаи нармафзор ҷузъҳои зеринро дар бар мегирад:

• Мисолҳои детерминистии PNH ва баромадҳои истинодии интизоршаванда,
• Санҷишҳои unit ва integration-и Node.js,
• Санҷишҳои браузерии Chromium асосёфта ба Playwright,
• Санҷиши воридоти нодуруст,
• Санҷишҳои ҷараёни P-инвариант, гиперграфи интихоб ва XTREC,
• Санҷишҳои синтези додаҳои SFC/max-plus,
• Сабти режими иҷрои CPU/WebGPU,
• Воситаҳои содироти ҳисоботи CSV ва LaTeX.

Фармонҳои асосии reviewer, ки дар мақола тавсия шудаанд, чунинанд:

npm ci\r\nnpm run ci\r\nphp -S 127.0.0.1:8000

Барои санҷишҳои smoke-и браузер инчунин:

npx playwright install chromium\r\nnpm run test:browser

фармонҳо дода шудаанд. Ин фармонҳо ҷараёни reviewer-и гузоришшудаи таҳқиқот мебошанд; ҳангоми арзёбии preprint-и боршуда таҷрибаи ҷудогонаи насб ва иҷро анҷом дода нашудааст.

Се мисоли дуборатавлидшаванда

Мисолҳо қасдан хурд нигоҳ дошта шудаанд. Ин баррасии дастии натиҷаҳоро осон мекунад, аммо барои иҷроиш ва истифодаи хотира дар моделҳои калони саноатӣ далел намедиҳад.

Шаклҳо чиро нишон медиҳанд?

• Шакли 1: Меъмории нармафзор аз браузер, Web Worker, модули ядро, ёварҳои сервер ва қабатҳои дуборатавлидшавӣ.
• Шакли 2: Панели муттаҳиди таҳлил, ки пас аз боркунии шабакаи Петри P-инвариантҳо ва гиперграфи интихобро ҳисоб мекунад.
• Шакли 3: Коҳиши гиперграфи 7 × 7 бо 21 incidence пеш аз FRA ба 3 × 3 ва се incidence пас аз FRA.
• Шакли 4: Муҳаррири дастии гиперграф бо гиперканорҳои ранга, воситаҳои transversal ва санҷишҳои XT/c-exact/r-exact.
• Шакли 5: Модули таҳқиқотӣ бо банақшагирии маҳаллии max-plus, alpha-cut ва параметрҳои тавлиди қоидаи сохтории Takagi–Sugeno.
• Шакли 6: Панели benchmark, ки profiling-и китобхонаи PNH, интихоби мисоли намоянда, вақтҳои CPU/WebGPU ва режими иҷрои истифодашударо нишон медиҳад.

Натиҷаҳое, ки таҳқиқот дастгирӣ мекунад

• Нишон дода шудааст, ки таҳлили шабакаи Петри ва таҳлили гиперграфи интихобро метавон дар як муҳити браузер муттаҳид кард.
• Барои қадамҳои P-инвариант, ҷузъҳои мошини ҳолат, FRA, transversal ва XTREC хати муттаҳиди таҳқиқот пешниҳод шудааст.
• Гиперграфҳои назариявии вобаста набуда ба шабакаи Петри метавонанд дастӣ кашида ва таҳлил шаванд.
• Нармафзор бо мисолҳои хурди детерминистӣ, баромадҳои интизоршаванда ва санҷишҳои браузерӣ нашр шудааст.
• Роҳи WebGPU ҳангоми дастрас будан воқеан истифода шуда метавонад ва ҳангоми дастгирӣ нашудан режими бозгашт гузориш мешавад.
• Роҳи таҷрибавӣ барои тавлиди artefact-и max-plus ва қоидаи норавшан аз натиҷаҳои таҷзияи сохторӣ сохта шудааст.
• Версияи v1.0.0-и нармафзор бо иҷозатномаи MIT, коди манбаъ дастрас ва ҳамчун snapshot-и таҳқиқотии қобили истинод омода шудааст.

Натиҷаҳое, ки таҳқиқот исбот намекунад

• Нишон дода нашудааст, ки POOH аз ҳамаи воситаҳои таҳлили шабакаи Петри тезтар ё дақиқтар аст.
• Нишон дода нашудааст, ки WebGPU дар мисолҳои хурд тезонӣ медиҳад; дар таҷрибаҳои гузоришшуда роҳи GPU сусттар аст.
• Миқёспазирии вақти ҳисоб ва хотира дар системаҳои калони истеҳсолӣ исбот нашудааст.
• Нишон дода нашудааст, ки таҷзияҳои тавлидшуда метавонанд ба PLC ё контроллери саноатии safety-critical ба таври автоматӣ интиқол дода шаванд.
• Иҷрои closed-loop-и баромадҳои max-plus ва Takagi–Sugeno дар раванди воқеӣ чен нашудааст.
• Дар версияи v1.0.0 дастгирии PNML вуҷуд надорад.
• Нармафзор аз сертификатсияи мустақил ё сертификатсияи амният нагузаштааст.
• Натиҷаҳои benchmark дар як сахтафзор ва муҳити браузер ба GPU ва системаҳои оператсионии гуногун умумӣ карда намешаванд.

Усул ва Натиҷаҳои Таҳқиқот

Тарҳи таҳқиқот

Ин нашр таҳқиқоте нест, ки ба маънои классикӣ иштирокчӣ, саҳро ё таҷрибаи физикии идоракуниро дар бар гирад. Усул ба тавсифи меъмории нармафзор, пешниҳоди модулҳои функсионалӣ, иҷрои мисолҳои хурди детерминистӣ, шарҳи зерсохтори санҷиши автоматӣ ва чен кардани роҳҳои иҷрои CPU–WebGPU асос ёфтааст.

Тасдиқ дар чор сатҳ баррасӣ шудааст:

1. Тасдиқи функсияи сохторӣ: Воридоти PNH, P-инвариант, гиперграфи интихоб, FRA ва XTREC.
2. Мисолҳои дуборатавлидшаванда: Се шабакаи хурди Петри ва баромадҳои истинодии интизоршаванда.
3. Санҷишҳои автоматии нармафзор: Node.js, Playwright ва фармонҳои continuous integration.
4. Benchmark-и роҳи иҷро: Муқоисаи CPU бо роҳи воқеии WebGPU дар ҳамон мисолҳои хурд.

Metadata-и нармафзор

Усули муқоисаи CPU ва WebGPU

Дар се мисоли хурди оммавӣ ҳисоби P-инварианти Martinez–Silva ва санҷиши XTREC чен карда шудаанд. Ҳар конфигуратсияи CPU/CPU ва WebGPU/WebGPU даҳ маротиба такрор шудааст. Таҳқиқот дар маҷмӯъ 120 иҷрои муваффақро гузориш медиҳад.

Системаи санҷиш:

• MacBook Pro бо протсессори Apple M5,
• 10 ядрои CPU,
• 24 GB хотираи муттаҳид,
• macOS 27.0 beta 3,
• Google Chrome 150.

Таносуби суръат бо тақсим кардани вақти CPU ба вақти WebGPU ифода мешавад:

\[ x_{\mathrm{CPU}}=\frac{t_{\mathrm{CPU}}}{t_{\mathrm{WebGPU}}} \]

Арзишҳои аз як хурд нишон медиҳанд, ки роҳи WebGPU нисбат ба CPU вақти бештар гирифтааст.

Натиҷаҳои benchmark

Дар ҳамаи шаш муқоиса иҷрои CPU тезтар аст. Дар ҳисоби Martinez–Silva вақтҳои WebGPU тақрибан 7,7–10,8 маротиба ва дар XTREC тақрибан 9–18 маротиба аз CPU зиёданд. Муҳаққиқон инро бо он шарҳ медиҳанд, ки дар масъалаҳои хурд хароҷоти оғозкунии GPU ва интиқоли додаҳо аз худи ҳисоб зиёдтар мешавад.

Ин натиҷаҳо дастгирӣ мекунанд, ки роҳи коди WebGPU воқеан кор мекунад ва режими иҷро сабт мешавад. Онҳо исбот намекунанд, ки GPU дар моделҳои калон тезонӣ медиҳад. Барои ин таҷрибаҳое лозиманд, ки андозаи масъала ба таври систематикӣ зиёд карда, интиқоли хотира алоҳида чен ва GPU-ҳои гуногун муқоиса шаванд.

Доираи санҷишҳои нармафзор

Санҷиши smoke-и браузер равандҳои зеринро пайдарпай иҷро мекунад:

• Оғоз кардани барномаи маҳаллии PHP,
• Ворид кардани мисоли дуборатавлидшавандаи PNH,
• Ҳисоб кардани P-инвариантҳо,
• Сохтан ва кашидани гиперграфи интихоб,
• Иҷро кардани XTREC,
• Синтез кардани додаҳои SFC/max-plus,
• Санҷидани воридоти файли нодуруст,
• Гузориш кардани metadata-и CPU/WebGPU.

Ин санҷишҳо барои пешгирии вайрон шудани ҷараёни кор байни версияҳои нармафзор муфиданд. Аммо бомуваффақият анҷом ёфтани санҷиши автоматӣ маънои онро надорад, ки ҳамаи алгоритмҳои назариявии татбиқшуда аз ҷиҳати математикӣ ба таври мустақил исбот шудаанд.

Ҷанбаҳои қавӣ

• Муттаҳид кардани таҳлили шабакаи Петри ва гиперграф дар як интерфейс.
• Пешниҳоди натиҷаҳои миёнаравӣ ҳам ба шакли визуалӣ ва ҳам рақамӣ.
• Нишон додани мустақими муқоисаи пеш ва пас аз FRA.
• Дастгирии ҳамзамони тавлиди автоматӣ ва ҷараёни гиперграфи назариявии дастӣ.
• Ҷудо кардани алгоритмҳои асосӣ ба модулҳои JavaScript-и санҷишшаванда.
• Пешниҳоди мисолҳои детерминистӣ, баромадҳои интизоршаванда ва санҷишҳои браузер.
• Сабти ҷудогонаи режими GPU-и дархостшуда ва воқеан истифодашуда.
• Пешниҳоди artefact-и кушодаасос, MIT-литсензияшуда ва версиядор.
• Ошкоро додани изҳороти маблағгузорӣ, бархӯрди манфиатҳо ва истифодаи зеҳни сунъии тавлидӣ.

Маҳдудиятҳо ва номувофиқии версияҳо

• Таҳқиқот preprint-и аз баррасии ҳамтоён нагузашта мебошад.
• Мисолҳои benchmark танҳо аз ду то чор ҷой ва гузариш доранд.
• Ченкуниҳо ба як компютер, системаи оператсионӣ ва конфигуратсияи браузер маҳдуданд.
• Санҷиши модели калон, истифодаи хотира ва истифодаи дарозмуддат пешниҳод нашудааст.
• Бо воситаҳои дигари шабакаи Петри муқоисаи дақиқӣ ё иҷроиш анҷом дода нашудааст.
• Workbook-и benchmark ҳамроҳи ҳуҷҷати боршуда пешниҳод нашудааст.
• Дар screenshot-ҳои пурраэкрана тамғаи beta дида мешавад, дар ҳоле ки арзёбӣ ба версияи v1.0.0 нисбат дода шудааст.
• Эзоҳи Zenodo DOI дар файли GitHub README ҳамзамон бо маълумоти версияи бойгонишуда дар мақола нав карда нашудааст.
• Metadata-и расмии citation-и нармафзор як муаллифи нармафзорро дар бар мегирад, мақола бошад ду муаллиф дорад; муаллифии нармафзор ва мақола бояд ҷудо нишон дода шаванд.
• Дастгирии PNML дар v1.0.0 нест, балки дар хати рушди баъдӣ ҷойгир аст.
• Ҳамаи китобхонаҳои PNH-и тарафи сеюм бо сабаби вазъи иҷозатнома ба версияи оммавӣ дохил нашудаанд.
• Роҳи max-plus ва Takagi–Sugeno дар марҳилаи аввал аст ва тасдиқи саноатиро дар бар намегирад.
• Ҳамаи мантиқи боқимондаи интерфейси корбар ба модулҳои ядроии дубораистифодашаванда интиқол дода нашудааст.
• Барои истифодаи safety-critical-и саноатӣ сертификатсия ё таҳлили hazard вуҷуд надорад.

Қадамҳои пешниҳодшуда барои тасдиқ дар Туркия

1. Бо ҳамкории донишгоҳ ва саноат маҷмӯи мисолҳои туркии шабакаи Петри омода карда шавад.
2. Аз хатҳои истеҳсолии воқеӣ моделҳои беномшудаи PNH ё PNML ҷамъоварӣ шаванд.
3. Ворид ва содироти PNML дар версияи устувор тасдиқ карда шавад.
4. Бо воситаҳои муҳандисии PLC ва SFC муқоисаи баромадҳо анҷом дода шавад.
5. Дар моделҳои дорои садҳо ва ҳазорҳо ҷой-гузариш таҷрибаҳои миқёспазирии вақт ва хотира анҷом дода шаванд.
6. Дар GPU-ҳои гуногуни NVIDIA, AMD, Intel ва Apple муқоисаи WebGPU гузаронида шавад.
7. Transversal-ҳои ҳисобшуда бо китобхонаҳои мустақили гиперграф cross-validation шаванд.
8. Моделҳои тавлидшудаи max-plus ва Takagi–Sugeno дар таҷрибаҳои физикӣ ё hardware-in-the-loop санҷида шаванд.
9. Интерфейси туркӣ, дастури омӯзишӣ ва варақаҳои лабораторӣ омода карда шаванд.

Ёддошт оид ба Манбаъ ва Усул

Номи пурраи аслии таҳқиқот: POOH: A research software platform for Petri-net-based concurrent control systems and XT/R-exact hypergraph decomposition

Муаллифон: Łukasz Stefanowicz; Marcin Witczak.

Тартиби муаллифон: Łukasz Stefanowicz муаллифи якум ва Marcin Witczak муаллифи дуюм мебошанд.

Ҳаммуаллифи якум: Дар версияи баррасишуда изҳороти саҳми баробар ё ҳаммуаллифии якум вуҷуд надорад.

Муаллифи масъул: Łukasz Stefanowicz. Аломати ситора дар номи муаллиф ва нишонии тамоси муассисавӣ муаллифи масъулро нишон медиҳанд.

Муассисаҳо:

• Łukasz Stefanowicz — Institute of Engineering and Technical Sciences, State University of Applied Sciences in Głogów, Głogów, Poland.
• Marcin Witczak — Institute of Control and Computational Engineering, University of Zielona Góra, Zielona Góra, Poland.

DOI-и мақола:10.2139/ssrn.7193125

Маҷалла: Таҳқиқот дар шакли мақолаи нармафзори таҳқиқотии SoftwareX омода шуда, дар матн ибораи “SoftwareX release” истифода шудааст. Аммо сабти нашршудаи SoftwareX бо раванди анҷомёфтаи баррасии ҳамтоён ё DOI-и маҷалла дар версияи баррасишуда вуҷуд надорад.

Ношир: Маълумоти ниҳоӣ ва тасдиқшудаи ношири маҷалла вуҷуд надорад.

Платформаи нашр: SSRN.

Соли нашр: 2026.

Навъи манбаъ: Preprint-и нармафзори таҳқиқотӣ бо коди кушодаасос, мисолҳо, зерсохтори санҷиш, таҷрибаҳои хурди benchmark ва маводи дуборатавлидшавӣ.

Вазъи баррасии ҳамтоён: Таҳқиқот аз баррасии ҳамтоён нагузаштааст.

Сабти расмии мақола:Саҳифаи таҳқиқот дар SSRN.

Номи пурраи нармафзор: POOH — Power Objects of Hypergraphs.

Версияи бойгонишудаи нармафзор: v1.0.0.

Санаи версия: 13 июли 2026.

Коди манбаъ:Дарахти версияи GitHub v1.0.0.

DOI-и версияи нармафзор:10.5281/zenodo.21341387.

DOI-и консепсияи нармафзор:10.5281/zenodo.21341386. DOI-и консепсия барои роҳнамоӣ ба ҳамаи версияҳои бойгонишуда нишон дода шудааст.

Иҷозатномаи нармафзор: MIT License.

Забонҳо ва воситаҳои барномасозӣ: JavaScript, PHP, HTML, CSS/SVG, Web Workers, Node.js, Playwright ва тезонии ихтиёрии браузерии WebGPU/WebGL.

Талаботи насб: PHP 8.1 ё болотар, Node.js 18 ё болотар, npm ва браузери муосир. Барои санҷишҳои браузер Playwright/Chromium истифода мешавад.

ORCID: Маълумоти ORCID дар бахши муаллифони preprint-и баррасишуда мавҷуд нест.

Маблағгузорӣ: Муҳаққиқон гуфтаанд, ки аз муассисаҳои маблағгузории давлатӣ, тиҷоратӣ ё ғайритиҷоратӣ гранти махсус гирифта нашудааст.

Бархӯрди манфиатҳо: Муаллифон изҳор кардаанд, ки манфиати маълуми молиявӣ ё муносибати шахсӣ, ки метавонад ба таҳқиқот таъсир расонад, вуҷуд надорад.

Изҳороти зеҳни сунъии тавлидӣ: Муҳаққиқон гуфтаанд, ки барои дастгирии ҳуҷҷатҳои нармафзор, сохтори мақола ва лоиҳаи забон OpenAI ChatGPT ва Codex-ро истифода кардаанд; мундариҷаро бозбинӣ ва таҳрир намуда, масъулияти ниҳоиро ба уҳда гирифтаанд.

Дастрасӣ ба додаҳо ва нармафзор: Коди манбаъ, ҳуҷҷатҳо, мисолҳо ва скриптҳои дуборатавлидшавӣ дар версияи оммавии GitHub v1.0.0 пешниҳод шудаанд. Китобхонаҳои PNH-и тарафи сеюм то замони тасдиқи иҷозати бозтақсимкунӣ ба artefact-и оммавӣ дохил нашудаанд.

Файли ёрирасони benchmark: Мақола мегӯяд, ки workbook-и ҷамъбасткунандаи 120 иҷрои муваффақ ҳамчун маводи ёрирасон пешниҳод шудааст. Азбаски ин workbook дар байни файлҳои боршуда вуҷуд надошт, мустақилона баррасӣ нашудааст.

Ин шарҳи тоҷикӣ пас аз баррасии матн, ҷадвалҳо, меъмории нармафзор, экранҳои интерфейс, нақшаҳои гиперграф, муқоисаи FRA, натиҷаҳои benchmark ва адабиёти таҳқиқоти 22-саҳифаи боршуда омода шудааст. Ба муҳтавои илмӣ ва техникӣ натиҷаи нави иҷроиш аз берун аз таҳқиқот илова нашудааст. Манбаъҳои беруна танҳо барои тасдиқи библиографии пайвастагиҳои муассисавии муаллифон, сабти мақолаи SSRN ва metadata-и расмии GitHub v1.0.0 истифода шудаанд.

POOH v1.0.0 нармафзори илмии марҳилаи ибтидоӣ мебошад, ки ба муҳаққиқон барои дубора тавлид кардани таҷрибаҳои шабакаи Петри ва таҷзияи гиперграф кӯмак мекунад. Натиҷаҳои benchmark бартарии тезонии GPU-ро нишон намедиҳанд ва баромадҳои `(max,+)` ва назорати норавшан контроллерҳои дар иншооти физикӣ тасдиқшударо тавлид намекунанд. Барои истифодаи нармафзор дар системаҳои воқеии истеҳсолӣ санҷишҳои моделҳои калонтар, тасдиқи мустақили алгоритм, форматҳо стандартии додаҳо, таҳлили амният ва таҷрибаҳои саҳроӣ лозиманд.