POOH — bir vaqtda ishlaydigan boshqaruv tizimlarini Petri tarmoqlari va gipergrafga asoslangan dekompozitsiya usullari orqali o‘rganish uchun ishlab chiqilgan ochiq manbali tadqiqot dasturiy ta’minoti. “Power Objects of Hypergraphs” nomining qisqartmasi bo‘lgan platforma Petri tarmog‘ini chizish yoki import qilish, P-invariantlarni hisoblash, holat-mashina komponenti nomzodlarini chiqarish, tanlov gipergrafini yaratish, Tezkor Qisqartirish Algoritmini qo‘llash, transversal va aniq transversal to‘plamlarini topish, XT, c-exact va r-exact xususiyatlarini tekshirish amallarini yagona brauzer ish maydonida birlashtiradi.

Dasturiy ta’minotning tadqiqot liniyasi faqat strukturaviy dekompozitsiya bilan cheklanmaydi. POOH Petri tarmog‘idan olingan komponentlarni mahalliy `(max,+)` rejalashtirish modellari va strukturaviy tarzda hosil qilingan Takagi–Sugeno noaniq qoida chiqishlari bilan bog‘lashni maqsad qiladi. Shunday qilib, Petri tarmog‘i → P-invariantlar va holat-mashina komponentlari → tanlov gipergrafi → XT/r-exact dekompozitsiya → `(max,+)` rejalashtirish → noaniq yuqori darajali nazorat shaklida integratsiyalashgan tajriba yo‘lini taqdim etadi.

v1.0.0 versiyasi brauzer interfeysi, qayta foydalaniladigan JavaScript yadro modullari, Web Worker jarayonlari, deterministik misollar, Node.js tekshirish buyruqlari, Playwright brauzer testlari, hisobot eksport vositalari va CPU–WebGPU taqqoslash qaydini o‘z ichiga olgan arxivlanadigan tadqiqot dasturi versiyasidir. Kod MIT litsenziyasi ostida ulashilgan. Biroq dasturiy ta’minot sertifikatlangan sanoat boshqaruv mahsuloti sifatida emas, balki Petri tarmog‘i dekompozitsiyasi, aniq transversal gipergraflar va dastlabki bosqichdagi rejalashtirish-noaniq boshqaruv tajribalari uchun ishlab chiqilgan tadqiqot muhiti sifatida taqdim etiladi.

Turkiya uchun ahamiyati

POOH Turkiyadagi avtomatika, boshqaruv va kompyuter muhandisligi laboratoriyalarida ishlab chiqarish liniyalari, robot hujayralari, resurslarni bo‘lishish jarayonlari, bir vaqtda bajariladigan vazifalar va PLC asosidagi tizimlarning strukturaviy tahlili uchun ishlatilishi mumkin bo‘lgan tadqiqot infratuzilmasini taklif qiladi. Petri tarmog‘i modelidan dekompozitsiya va hisobot bosqichigacha bir xil ish maydonidan foydalanish turli skriptlar o‘rtasida ma’lumotlarni qo‘lda o‘zgartirish zaruratini kamaytirishi mumkin.

Turkiyaga moslashtiriladigan versiya uchun turkcha interfeys va texnik hujjatlar, PNML kabi standart ma’lumot formatlarini barqaror versiyaga kiritish, mahalliy ishlab chiqarish liniyasi misollari, turli PLC va SFC vositalari bilan chiqishlarni tekshirish hamda kattaroq ochiq benchmark to‘plamlari zarur. Dasturiy ta’minot hosil qilgan strukturaviy dekompozitsiyalar, rejalashtirish modellari yoki noaniq qoidalar real mashinada qo‘llanishidan oldin mustaqil tekshiruv, xavfsizlik tahlili, hardware-in-the-loop sinovi va vakolatli muhandis ko‘rigidan o‘tishi kerak.

Bir vaqtdagi boshqaruv tizimlarida qaysi muammo ko‘rib chiqiladi?

Bir vaqtda ishlaydigan ishlab chiqarish va boshqaruv tizimlarida bir nechta jarayon bir xil resurslarni bo‘lishishi, turli vaqtlarda sinxronlashishi yoki bir-birini istisno qiluvchi variantlar orasida qaror qilishi mumkin. Bunday tizimlarni modellashtirishda faqat jarayonlar ketma-ketligini emas, balki sababiylik, konflikt, bir vaqtlilik, resurslarni bo‘lishish va qayta konfiguratsiyani ham ko‘rsatish kerak.

Petri tarmoqlari bunday tizimlarda joylar, o‘tishlar, token oqimi va o‘tishlarning faollashish shartlarini grafik tarzda ifodalaydi. Ammo Petri tarmog‘ini yaratish ko‘plab tadqiqotlar uchun faqat birinchi bosqichdir. Keyin tadqiqotchi:

• Strukturaviy invariantlarni hisoblashi,
• Ketma-ket quyi jarayonlar yoki holat-mashina komponentlarini topishi,
• Bu komponentlar asl tarmoqni qanday qamrashini o‘rganishi,
• Tanlov gipergrafini yaratishi,
• Keraksiz komponentlar va qamrash shartlarini qisqartirishi,
• Transversal va aniq transversal to‘plamlarini hisoblashi,
• XT, c-exact yoki r-exact xususiyatlarini tekshirishi,
• Natijalarni rejalashtirish yoki yuqori darajali nazorat modellariga uzatishi

kerak bo‘lishi mumkin. POOH odatda alohida skript va vositalarni talab qiladigan ushbu bosqichlarni yagona qayta ishlab bo‘ladigan ish oqimida birlashtirishni maqsad qiladi.

POOH tadqiqot liniyasi qanday ishlaydi?

Tadqiqotning 4. va 22. sahifalaridagi arxitektura sxemasi asosiy tadqiqot liniyasini quyidagi tartibda ko‘rsatadi:

Petri tarmog‘i → P-invariantlar / holat-mashina komponentlari → tanlov gipergrafi → XT/r-exact dekompozitsiya → `(max,+)` rejalashtirish → Takagi–Sugeno noaniq yuqori darajali nazorati

Ushbu liniyaning birinchi qismi strukturaviy tahlildir. Petri tarmog‘i import qilinadi yoki brauzerda chiziladi. P-invariantlar hisoblanib, holat-mashina komponenti bo‘lishi mumkin bo‘lgan quyi tuzilmalar aniqlanadi. Ushbu komponent nomzodlari tanlov gipergrafining gipertugunlarini hosil qiladi, Petri tarmog‘i tuzilmasidan keluvchi qamrash talablari esa gipergrafning giperqirralarini hosil qiladi.

Ikkinchi qism gipergraf tahlilidir. Gipertugunlardan qaysi tanlovlar barcha qamrash talablarini bajarishi transversal tahlili bilan tekshiriladi. Aniq transversal yondashuvi har bir talab istalgan aniqlik sharti bilan qondiriladigan tanlovlarni o‘rganadi. XT gipergrafi tadqiqotda kengroq r-exact oilasining 1-exact holati sifatida qaraladi.

Uchinchi qism dekompozitsiyalangan komponentlarni boshqaruvga yo‘naltirilgan chiqishlarga aylantirishga qaratilgan tadqiqot kengaytmasidir. Mahalliy komponentlardan `(max,+)` rejalashtirish modellari va strukturaviy munosabatlardan Takagi–Sugeno noaniq qoida loyihalari hosil qilinadi. Bu bo‘lim v1.0.0 da tajribaviy tadqiqot va hisobot maqsadlariga xizmat qiladi.

P-invariantlar va holat-mashina komponentlari

POOHning Petri tarmog‘i qatlami P-invariantlarni hisoblash va holat-mashina komponenti nomzodlarini aniqlash uchun Martinez–Silva yondashuvi bilan bog‘liq hisoblash qatlamidan foydalanadi. Hisoblangan komponentlar asl tarmoqni bir vaqtda yoki ketma-ket qismlar sifatida qanday o‘rganish mumkinligiga doir strukturaviy nomzodlardir.

6. va 17. sahifalardagi tahlil ekrani modelning liveness va safeness tekshiruvi, kirish quyi tarmoqlari, asosiy tugunlar, tanlov gipergrafi, FRA oldi va keyingi matritsalar, transpoz va FRA vaqtlar hamda XTREC tasnifini bir panelda ko‘rsatadi. Ekranning maqsadi dekompozitsiya jarayonidagi oraliq natijalarni alohida fayllar o‘rniga bitta ish maydonida kuzatishdir.

PNH fayl formati nima?

POOH v1.0.0 PNH deb ataladigan ikkita kirish formatini qo‘llab-quvvatlaydi:

• Matritsa formati: Joylar va o‘tishlar soni, o‘tish–joy insidans satrlari, boshlang‘ich marking va ixtiyoriy metadata satrlari.
• Bo‘limli format:PNH 1.0 sarlavhasi ostida [PLACES], [TRANSITIONS], [ARCS] va [MARKING] bo‘limlari.

PNH Hippo Petri tarmog‘i tahlil muhitidan kelgan vositaga xos tadqiqot formatidir; umumiy xalqaro almashinuv standarti sifatida taqdim etilmaydi. ISO/IEC 15909-2:2011 doirasida belgilangan PNML qo‘llab-quvvatlashi tadqiqot tomonidan v1.0.0 dan keyingi rivojlantirish yo‘liga joylashtirilgan. Shu sababli arxivlangan v1.0.0 versiyasi PNML import yoki eksportini ta’minlaydi degan xulosa chiqarilmasligi kerak.

Tanlov gipergrafi nimani ifodalaydi?

Tanlov gipergrafida gipertugunlar Petri tarmog‘idan chiqarilgan holat-mashina komponenti nomzodlarini; giperqirralar esa ushbu nomzodlar bajarishi kerak bo‘lgan strukturaviy qamrash shartlarini ifodalaydi. Rangli giperqirralar bir nechta komponentning bir xil talab bilan munosabatini va qoplanishlarni vizual ko‘rsatadi.

POOH ikkita gipergraf ish usulini taklif qiladi:

1. Dekompozitsiya ish oqimi: Gipergraf Petri tarmog‘i va P-invariant tahlili natijasida avtomatik yaratiladi.
2. Qo‘lda ish oqimi: Foydalanuvchi Petri tarmog‘iga bog‘liq bo‘lmagan nazariy gipergrafni to‘g‘ridan-to‘g‘ri chizadi, gipertugun va giperqirra qo‘shadi, FRA qo‘llaydi va aniqlik xususiyatlarini tekshiradi.

7. va 19. sahifalardagi qo‘lda muharrirda transversal, aniq transversal, barcha transversallar, gipergraf tasnifi, c-exact spektri, XT shartlari va belgilangan r chegarasi uchun r-exact tekshiruvi alohida boshqaruvlar sifatida taqdim etiladi.

Tezkor Qisqartirish Algoritmi nima qiladi?

Tezkor Qisqartirish Algoritmi tanlov gipergrafidagi asosiy elementlar va dominantlik munosabatlarini baholab, keyingi transversal hisoblashda kerak bo‘lmagan gipertugun yoki giperqirralarni kamaytirishni maqsad qiladi. Shu tariqa aniq transversal tahlili kichikroq insidans tuzilmasida bajarilishi mumkin.

6. va 18. sahifalardagi nazoratli misolda qisqartirish quyidagi o‘zgarishni hosil qilgan:

To‘liq ekran taqqoslashida D1, D4, D5 va D7 gipertugunlari; P2, P3, P4 va P5 giperqirralari olib tashlangani ko‘rsatilgan. Vizualizatsiya qisqartirish natijasini faqat raqamli emas, balki asl va qisqartirilgan gipergrafni yonma-yon ko‘rsatib tekshirish imkonini beradi.

Bu misol FRA kichik nazoratli gipergrafni sezilarli darajada kichraytira olishini ko‘rsatadi. Biroq xuddi shu kamayish darajasi barcha Petri tarmog‘i modellarida olinishi yoki katta tarmoqlarda hisoblash vaqtini ma’lum foizga kamaytirishi isbotlanmagan.

Transversal, aniq transversal va XTREC

Transversal gipergrafning qamrash talablarini bajaradigan gipertugun tanlovidir. POOH umumiy transversallar va aniq transversal sifatida tasniflangan tanlovlarni alohida hisoblay oladi.

XTREC ish oqimi shunchaki istalgan hitting set yaratish o‘rniga tanlov gipergrafining exact-transversal hypergraph xususiyatini sinaydi. Dastur quyidagi tahlillarni qo‘llab-quvvatlaydi:

• Transversal ro‘yxatini yaratish,
• Aniq transversallarni tanlash,
• XT yoki 1-exact xususiyatini tekshirish,
• c-exact spektrini o‘rganish,
• Belgilangan chegara ostida r-exact xususiyatini baholash,
• FRA oldi va keyingi natijalarni taqqoslash.

CPU bajarish yo‘li barcha zamonaviy muhitlarda asosiy variant sifatida ishlatiladi. Brauzer va apparat WebGPU funksiyalarini qo‘llab-quvvatlaganda ayrim og‘ir jarayonlar tezlashtirilgan yo‘lga o‘tkazilishi mumkin. WebGPU mavjud bo‘lmasa, dastur mos bajarish yo‘liga qaytadi va so‘ralgan rejim bilan amalda ishlatilgan rejimni xabar qiladi.

`(max,+)` rejalashtirish va Takagi–Sugeno noaniq moduli

8. va 20. sahifalardagi `(max,+)`/Fuzzy moduli strukturaviy dekompozitsiyadan mahalliy rejalashtirish va noaniq nazorat chiqishlarini yaratishni maqsad qiladi. Foydalanuvchi interfeysida Petri, XT, holat-mashina komponenti, max-plus va Takagi–Sugeno bosqichlari alohida tablar bilan ko‘rsatiladi.

Modul quyidagi turdagi kirishlarni o‘z ichiga oladi:

• Fuzzy exact-transversal uchun alfa-cut darajasi va skanerlash qadami,
• Standart joy kechikishlari va joyga xos kechikish xaritasi,
• Bir vaqtlilik, konfliktsizlik, vaqt, coupling va qayta konfiguratsiya og‘irliklari,
• Coupling yoki max-plus chegaralari,
• Tajriba MPC gorizonti kabi tadqiqot parametrlari.

Maqsad noaniq qoida bazasini to‘liq qo‘lda yozish o‘rniga bir vaqtlilik, konflikt, coupling, rejalashtirish va qayta konfiguratsiya kabi strukturaviy tavsiflardan qoida antecedentlarini chiqarishdir. Biroq tadqiqot bu qoidalarning real sanoat obyekti ichida closed-loop boshqaruv muvaffaqiyatini o‘lchamagan. Hosil qilingan chiqishlar v1.0.0 da tadqiqot, taqqoslash va hisobot artefaktlaridir.

Dasturiy ta’minot arxitekturasi

4. va 22. sahifalardagi arxitektura diagrammasi dasturiy ta’minotni besh texnik qatlamga ajratadi:

v1.0.0 ni mustahkamlash jarayonining muhim maqsadlaridan biri algoritmik mantiqni katta brauzer controlleridan test qilinadigan src/core/ modullariga ko‘chirishdir. Maqola bu ko‘chirish davom etayotganini va foydalanuvchi interfeysi bilan bog‘liq ayrim mantiq hanuz katta brauzer controllerida qolayotganini ochiq aytadi.

Qayta ishlab bo‘lish infratuzilmasi

Repozitoriy dasturiy ta’minot maqolasidagi asosiy ish oqimini takrorlash uchun quyidagi komponentlarni o‘z ichiga oladi:

• Deterministik PNH misollari va kutilgan referens chiqishlar,
• Node.js unit va integration testlari,
• Playwright asosidagi Chromium brauzer testlari,
• Noto‘g‘ri import tekshiruvlari,
• P-invariant, tanlov gipergrafi va XTREC ish oqimi testlari,
• SFC/max-plus ma’lumot sintezi testlari,
• CPU/WebGPU bajarish rejimi qaydi,
• CSV va LaTeX hisobot eksport vositalari.

Maqolada tavsiya etilgan asosiy reviewer buyruqlari quyidagilar:

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

Brauzer smoke testlari uchun qo‘shimcha ravishda:

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

buyruqlari beriladi. Bu buyruqlar tadqiqot xabar qilgan reviewer ish oqimidir; yuklangan preprint baholanayotganda alohida o‘rnatish va ishga tushirish tajribasi bajarilmagan.

Uchta qayta ishlab bo‘ladigan misol

Misollar ataylab kichik saqlangan. Bu natijalarni qo‘lda tekshirishni osonlashtiradi, ammo katta sanoat modellarida ishlash va xotira sarfi bo‘yicha dalil bermaydi.

Rasmlar nimani ko‘rsatadi?

• 1-rasm: Brauzer, Web Worker, yadro moduli, server yordamchilari va qayta ishlab bo‘lish qatlamlaridan tashkil topgan dasturiy ta’minot arxitekturasi.
• 2-rasm: Petri tarmog‘i yuklangandan so‘ng P-invariantlar va tanlov gipergrafi hisoblanadigan integratsiyalashgan tahlil paneli.
• 3-rasm: FRA oldidan 7 × 7 va 21 insidansli gipergrafning FRA dan keyin 3 × 3 va uch insidansga qisqarishi.
• 4-rasm: Rangli giperqirralar, transversal vositalari va XT/c-exact/r-exact tekshiruvlarini o‘z ichiga olgan qo‘lda gipergraf muharriri.
• 5-rasm: Mahalliy max-plus rejalashtirish, alfa-cut va strukturaviy Takagi–Sugeno qoida ishlab chiqarish parametrlarini o‘z ichiga olgan tadqiqot moduli.
• 6-rasm: PNH kutubxonasini profiling qilish, reprezentativ misol tanlash, CPU/WebGPU vaqtlar va ishlatilgan bajarish rejimini ko‘rsatadigan benchmark paneli.

Tadqiqot qo‘llab-quvvatlaydigan natijalar

• Petri tarmog‘i tahlili bilan tanlov gipergrafi tahlilini bir xil brauzer muhitida birlashtirish mumkinligi ko‘rsatilgan.
• P-invariantlar, holat-mashina komponentlari, FRA, transversal va XTREC bosqichlari uchun integratsiyalashgan tadqiqot liniyasi taqdim etilgan.
• Petri tarmog‘iga bog‘liq bo‘lmagan nazariy gipergraflarni qo‘lda chizish va tahlil qilish mumkin.
• Dasturiy ta’minot kichik deterministik misollar, kutilgan chiqishlar va brauzer testlari bilan birga nashr qilingan.
• WebGPU yo‘li mavjud bo‘lganda real ishlatilishi, qo‘llab-quvvatlanmaganda fallback rejimi xabar qilinishi mumkin.
• Strukturaviy dekompozitsiya natijalaridan max-plus va noaniq qoida artefaktini ishlab chiqarishga qaratilgan tajribaviy yo‘l yaratilgan.
• Dasturiy ta’minotning v1.0.0 versiyasi MIT litsenziyali, manba kodi ochiq va akademik iqtibos berish mumkin bo‘lgan tadqiqot snapshoti sifatida tayyorlangan.

Tadqiqot isbotlamaydigan natijalar

• POOH barcha Petri tarmog‘i tahlil vositalaridan tezroq yoki aniqroq ekani ko‘rsatilmagan.
• WebGPU kichik misollarda tezlashuv berishi ko‘rsatilmagan; xabar qilingan tajribalarda GPU yo‘li sekinroq.
• Katta masshtabli ishlab chiqarish tizimlarida hisoblash va xotira skalalanishi isbotlanmagan.
• Hosil qilingan dekompozitsiyalarni safety-critical PLC yoki sanoat kontrolleriga avtomatik uzatish mumkinligi ko‘rsatilmagan.
• Max-plus va Takagi–Sugeno chiqishlarining real jarayonda closed-loop samaradorligi o‘lchanmagan.
• v1.0.0 versiyasida PNML qo‘llab-quvvatlashi yo‘q.
• Dasturiy ta’minot mustaqil sertifikatlash yoki xavfsizlik sertifikatsiyasidan o‘tmagan.
• Bitta apparat va brauzer muhitidagi benchmark natijalari turli GPU va operatsion tizimlarga umumlashtirilmaydi.

Tadqiqot usuli va natijalari

Tadqiqot dizayni

Ushbu nashr klassik ma’noda ishtirokchi, maydon yoki fizik boshqaruv tajribasini o‘z ichiga olgan tadqiqot emas. Usul dasturiy ta’minot arxitekturasini ta’riflash, funksional modullarni taqdim etish, kichik deterministik misollarni ishga tushirish, avtomatik test infratuzilmasini tushuntirish va CPU–WebGPU bajarish yo‘llarini o‘lchashga asoslanadi.

Tekshirish to‘rtta darajada ko‘rib chiqilgan:

1. Strukturaviy funksiya tekshiruvi: PNH import, P-invariant, tanlov gipergrafi, FRA va XTREC.
2. Qayta ishlab bo‘ladigan misollar: Uchta kichik Petri tarmog‘i va kutilgan referens chiqishlar.
3. Avtomatik dasturiy testlar: Node.js, Playwright va continuous integration buyruqlari.
4. Bajarish yo‘li benchmarki: CPU va real WebGPU yo‘lining bir xil kichik misollarda taqqoslanishi.

Dasturiy ta’minot metadata’si

CPU va WebGPU taqqoslash usuli

Uchta ochiq kichik misolda Martinez–Silva P-invariant hisobi va XTREC tekshiruvi o‘lchangan. Har bir CPU/CPU va WebGPU/WebGPU konfiguratsiyasi o‘n marta takrorlangan. Tadqiqot jami 120 muvaffaqiyatli bajarishni xabar qiladi.

Sinov tizimi:

• Apple M5 protsessorli MacBook Pro,
• 10 CPU yadro,
• 24 GB birlashtirilgan xotira,
• macOS 27.0 beta 3,
• Google Chrome 150.

Tezlik nisbati CPU vaqtining WebGPU vaqtiga bo‘linishi bilan ifodalanadi:

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

Birdan kichik qiymatlar WebGPU yo‘li CPU dan ko‘proq vaqt olganini ko‘rsatadi.

Benchmark natijalari

Oltita taqqoslashning barchasida CPU bajarishi tezroq. Martinez–Silva hisobida WebGPU vaqtlari CPU vaqtlaridan taxminan 7,7–10,8 baravar; XTRECda esa taxminan 9–18 baravar yuqori. Tadqiqotchilar buni kichik muammolarda GPU ishga tushirish va ma’lumot uzatish xarajati asosiy hisoblashdan ko‘proq bo‘lishi bilan izohlaydilar.

Bu natijalar WebGPU kod yo‘li haqiqatan ishlashini va bajarish rejimini qayd etish mumkinligini qo‘llab-quvvatlaydi. Ular katta modellarda GPU tezlik beradi degan fikrni isbotlamaydi. Buning uchun muammo o‘lchami tizimli oshirilgan, xotira uzatishi alohida o‘lchangan va turli GPUlar taqqoslangan tajribalar kerak.

Dasturiy ta’minot testlarining qamrovi

Brauzer smoke testi quyidagi jarayonlarni zanjir tarzida bajaradi:

• Mahalliy PHP ilovasini ishga tushirish,
• Qayta ishlab bo‘ladigan PNH misolini import qilish,
• P-invariantlarni hisoblash,
• Tanlov gipergrafini yaratish va chizish,
• XTRECni ishga tushirish,
• SFC/max-plus ma’lumotini sintez qilish,
• Noto‘g‘ri fayl importini tekshirish,
• CPU/WebGPU metadata’sini xabar qilish.

Bu testlar ish oqimining dasturiy versiyalar orasida buzilishini oldini olish uchun foydalidir. Biroq avtomatik testning muvaffaqiyatli tugashi amalga oshirilgan barcha nazariy algoritmlar matematik jihatdan mustaqil ravishda isbotlangan degani emas.

Kuchli tomonlar

• Petri tarmog‘i va gipergraf tahlilini bir interfeysda birlashtirishi.
• Oraliq natijalarni vizual va raqamli ko‘rinishda birga taqdim etishi.
• FRA oldi-keyingi taqqoslashni to‘g‘ridan-to‘g‘ri ko‘rsatishi.
• Avtomatik hosil qilish va qo‘lda nazariy gipergraf ish oqimlarini birgalikda qo‘llab-quvvatlashi.
• Yadro algoritmlarini test qilinadigan JavaScript modullariga ajratishi.
• Deterministik misollar, kutilgan chiqishlar va brauzer testlarini taqdim etishi.
• So‘ralgan va amalda ishlatilgan GPU rejimini alohida qayd etishi.
• Ochiq manbali, MIT litsenziyali va versiyalangan tadqiqot artefaktini taqdim etishi.
• Moliyalashtirish, manfaatlar to‘qnashuvi va generativ sun’iy intellektdan foydalanish bayonotlarini ochiq berishi.

Cheklovlar va versiya nomuvofiqliklari

• Tadqiqot ekspertlar ko‘rib chiqishidan o‘tmagan preprintdir.
• Benchmark misollari faqat ikki-to‘rt joy va o‘tishni o‘z ichiga oladi.
• O‘lchovlar bitta kompyuter, operatsion tizim va brauzer konfiguratsiyasi bilan cheklangan.
• Katta model, xotira sarfi va uzoq muddatli foydalanish testi taqdim etilmagan.
• Boshqa Petri tarmog‘i vositalari bilan aniqlik yoki samaradorlik taqqoslanmagan.
• Benchmark workbook yuklangan hujjat bilan birga taqdim etilmagan.
• To‘liq ekran rasmlarida beta versiya yorlig‘i ko‘rinsa-da, baholash v1.0.0 versiyasiga tegishli deb berilgan.
• GitHub README dagi Zenodo DOI eslatmasi maqoladagi arxivlangan versiya ma’lumoti bilan bir vaqtda yangilanmagan.
• Dasturiy ta’minotning rasmiy citation metadata’si bitta dastur muallifini ko‘rsatadi, maqola esa ikki muallifli; dasturiy ta’minot va maqola muallifligi alohida ko‘rsatilishi kerak.
• PNML qo‘llab-quvvatlashi v1.0.0 da emas, keyingi rivojlantirish yo‘lida.
• Uchinchi tomon PNH kutubxonalarining barchasi litsenziya holati sababli ochiq versiyaga qo‘shilmagan.
• Max-plus va Takagi–Sugeno yo‘li dastlabki bosqichda va sanoat validatsiyasini o‘z ichiga olmaydi.
• Qolgan foydalanuvchi interfeysi mantiqining barchasi qayta foydalaniladigan yadro modullariga ko‘chirilmagan.
• Safety-critical sanoat foydalanishi uchun sertifikatsiya yoki hazard tahlili mavjud emas.

Turkiyada tekshirish uchun tavsiya etilgan qadamlar

1. Universitet va sanoat hamkorligida turkcha Petri tarmog‘i misollari to‘plamini tayyorlash.
2. Real ishlab chiqarish liniyalaridan anonimlashtirilgan PNH yoki PNML modellarini yig‘ish.
3. PNML import va eksportini barqaror versiyada tekshirish.
4. PLC va SFC muhandislik vositalari bilan chiqishlarni taqqoslash.
5. Yuzlab va minglab joy-o‘tishga ega modellarda vaqt va xotira masshtablash tajribalarini bajarish.
6. Turli NVIDIA, AMD, Intel va Apple GPUlarida WebGPU taqqoslashini o‘tkazish.
7. Hisoblangan transversallarni mustaqil gipergraf kutubxonalari bilan o‘zaro tekshirish.
8. Hosil qilingan max-plus va Takagi–Sugeno modellarini fizik yoki hardware-in-the-loop boshqaruv tajribalarida sinash.
9. Turkcha foydalanuvchi interfeysi, o‘quv qo‘llanmasi va laboratoriya topshiriqlari tayyorlash.

Manba va usul eslatmasi

Tadqiqotning to‘liq asl nomi: POOH: A research software platform for Petri-net-based concurrent control systems and XT/R-exact hypergraph decomposition

Mualliflar: Łukasz Stefanowicz; Marcin Witczak.

Mualliflar tartibi: Łukasz Stefanowicz birinchi, Marcin Witczak ikkinchi muallifdir.

Teng birinchi muallif: Ko‘rib chiqilgan versiyada teng hissa yoki teng birinchi muallif bayonoti yo‘q.

Mas’ul muallif: Łukasz Stefanowicz. Muallif nomidagi yulduzcha va institutsional aloqa manzili mas’ul muallifni ko‘rsatadi.

Muassasalar:

• Ł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.

Maqola DOI:10.2139/ssrn.7193125

Jurnal: Tadqiqot SoftwareX tadqiqot dasturiy ta’minot maqolasi formatida tayyorlangan va matnda “SoftwareX release” iborasi ishlatilgan. Biroq ekspertlar ko‘rib chiqishi tugallangan nashr qilingan SoftwareX yozuvi yoki jurnal DOI ko‘rib chiqilgan versiyada mavjud emas.

Nashriyot: Yakuniy jurnal nashriyoti haqida tasdiqlangan ma’lumot yo‘q.

Nashr platformasi: SSRN.

Nashr yili: 2026.

Manba turi: Ochiq manba kod, misollar, test infratuzilmasi, kichik benchmark tajribalari va qayta ishlab bo‘lish materiallarini o‘z ichiga olgan tadqiqot dasturi preprinti.

Ekspert ko‘rib chiqish holati: Tadqiqot ekspertlar ko‘rib chiqishidan o‘tmagan.

Rasmiy maqola yozuvi:SSRN tadqiqot sahifasi.

Dasturiy ta’minotning to‘liq nomi: POOH — Power Objects of Hypergraphs.

Arxivlangan dasturiy versiya: v1.0.0.

Versiya sanasi: 13 iyul 2026.

Manba kod:GitHub v1.0.0 versiya daraxti.

Dasturiy versiya DOI:10.5281/zenodo.21341387.

Dasturiy konsept DOI:10.5281/zenodo.21341386. Konsept DOI barcha arxivlangan versiyalarga yo‘naltirish uchun ko‘rsatilgan.

Dasturiy ta’minot litsenziyasi: MIT License.

Dasturlash tillari va vositalar: JavaScript, PHP, HTML, CSS/SVG, Web Workers, Node.js, Playwright va ixtiyoriy WebGPU/WebGL brauzer tezlashtirishi.

O‘rnatish talablari: PHP 8.1 yoki yuqori, Node.js 18 yoki yuqori, npm va zamonaviy brauzer. Brauzer testlari uchun Playwright/Chromium ishlatiladi.

ORCID: ORCID ma’lumoti ko‘rib chiqilgan preprint mualliflar bo‘limida mavjud emas.

Moliyalashtirish: Tadqiqotchilar davlat, tijoriy yoki notijorat moliyalashtirish tashkilotlaridan maxsus grant olinmaganini bildirgan.

Manfaatlar to‘qnashuvi: Mualliflar tadqiqotga ta’sir qilishi mumkin bo‘lgan ma’lum moliyaviy manfaat yoki shaxsiy munosabat yo‘qligini bildirgan.

Generativ sun’iy intellekt bayonoti: Tadqiqotchilar dasturiy ta’minot hujjatlari, maqola tuzilishi va til loyihasini qo‘llab-quvvatlash uchun OpenAI ChatGPT va Codexdan foydalanganlarini; mazmunni ko‘rib chiqib tahrir qilganlarini va yakuniy mas’uliyatni o‘z zimmalariga olganlarini bildirgan.

Ma’lumot va dasturiy ta’minotga kirish: Manba kod, hujjatlar, misollar va qayta ishlab bo‘lish skriptlari ommaviy v1.0.0 GitHub versiyasida taqdim etilgan. Uchinchi tomon PNH kutubxonalari qayta tarqatish ruxsatlari tasdiqlanmaguncha ommaviy artefaktga kiritilmagan.

Benchmark yordamchi fayli: Maqola 120 muvaffaqiyatli ishga tushirishni jamlagan workbook yordamchi material sifatida berilganini bildiradi. Ushbu workbook yuklangan fayllar orasida bo‘lmagani uchun mustaqil tekshirilmagan.

Ushbu o‘zbekcha izoh yuklangan 22 sahifalik tadqiqotning matni, jadvallari, dasturiy arxitekturasi, interfeys ekranlari, gipergraf chizmalari, FRA taqqoslashlari, benchmark natijalari va adabiyotlari ko‘rib chiqilib tayyorlangan. Ilmiy va texnik mazmunga tadqiqot tashqarisidan yangi samaradorlik natijasi qo‘shilmagan. Tashqi manbalar faqat mualliflarning institutsional aloqalari, SSRN maqola yozuvi va rasmiy v1.0.0 GitHub metadata’sini bibliografik tasdiqlash uchun ishlatilgan.

POOH v1.0.0 tadqiqotchilarga Petri tarmog‘i va gipergraf dekompozitsiyasi tajribalarini qayta ishlab bo‘lishga yordam beradigan dastlabki bosqichdagi ilmiy dasturdir. Benchmark natijalari GPU tezlashtirish ustunligini ko‘rsatmaydi, `(max,+)` va noaniq boshqaruv chiqishlari fizik obyektda tasdiqlangan kontrollerlarni hosil qilmaydi. Dasturiy ta’minotni real ishlab chiqarish tizimlarida qo‘llash uchun kattaroq model testlari, mustaqil algoritm validatsiyasi, standart ma’lumot formatlari, xavfsizlik tahlili va maydon tajribalari zarur.