POOH параллелдүү башкаруу системаларын Petri тармактары жана гиперграфка негизделген ажыратуу ыкмалары менен изилдөө үчүн иштелип чыккан ачык булактуу изилдөө программасы. “Power Objects of Hypergraphs” аталышынын кыскартмасы болгон платформа Petri тармагын чийүү же импорттоо, P-инварианттарды эсептөө, абал-машина компонентинин талапкерлерин чыгаруу, тандоо гиперграфын түзүү, Ыкчам Кыскартуу Алгоритмин колдонуу, transversal жана так transversal топтомдорун табуу, XT, c-exact жана r-exact касиеттерин текшерүү иштерин бир браузердик жумуш мейкиндигинде бириктирет.

Программанын изилдөө багыты структуралык ажыратуу менен гана чектелбейт. POOH Petri тармагынан алынган компоненттерди жергиликтүү `(max,+)` пландоо моделдери жана структуралык түрдө түзүлгөн Takagi–Sugeno бүдөмүк эрежелеринин чыгыштары менен байланыштыруу максатын көздөйт. Ошентип Petri тармагы → P-инварианттар жана абал-машина компоненттери → тандоо гиперграфы → XT/r-exact ажыратуу → `(max,+)` пландоо → бүдөмүк жогорку көзөмөл түрүндөгү интеграцияланган эксперимент жолу сунушталат.

v1.0.0 версиясы браузер интерфейси, кайра колдонулуучу JavaScript өзөк модулдары, Web Worker операциялары, детерминисттик мисалдар, Node.js текшерүү буйруктары, Playwright браузер тесттери, отчет экспорттоо куралдары жана CPU–WebGPU салыштыруу жазуусун камтыган архивделүүчү изилдөө программасынын чыгарылышы. Код MIT лицензиясы менен бөлүшүлөт. Бирок программа сертификатталган өнөр жай башкаруу өнүмү катары эмес, Petri тармагын ажыратуу, так transversal гиперграфтары жана алгачкы этаптагы пландоо-бүдөмүк башкаруу эксперименттери үчүн иштелип чыккан изилдөө чөйрөсү катары сунушталат.

Түркия үчүн мааниси

POOH Түркияда автоматташтыруу, башкаруу жана компьютердик инженерия лабораторияларында өндүрүш линияларын, робот уячаларын, ресурстарды бөлүшүү процесстерин, параллелдүү тапшырмаларды жана PLC негизиндеги системаларды структуралык талдоо үчүн колдонула турган изилдөө инфраструктурасын сунуштайт. Petri тармагы моделинен ажыратуу жана отчеттоо этабына чейин бир эле жумуш мейкиндигин колдонуу ар башка скрипттердин ортосунда маалыматты кол менен которуу зарылдыгын азайтышы мүмкүн.

Түркияга ыңгайлаштырылган версия үчүн түркчө интерфейс жана техникалык документация, PNML сыяктуу стандарттык маалымат форматтарын туруктуу версияга киргизүү, жергиликтүү өндүрүш линияларынын мисалдары, ар башка PLC жана SFC куралдары менен чыгыштарды текшерүү жана чоңураак ачык benchmark коллекциялары талап кылынат. Программа түзгөн структуралык ажыратуулар, пландоо моделдери же бүдөмүк эрежелер чыныгы машинада колдонулганга чейин көз карандысыз текшерүүдөн, коопсуздук анализинен, hardware-in-the-loop тестинен жана ыйгарым укуктуу инженердин кароосунан өтүшү керек.

Параллелдүү башкаруу системаларында кайсы көйгөй каралат?

Параллелдүү иштеген өндүрүш жана башкаруу системаларында бир нече процесс бир эле ресурстарды бөлүшүп, ар башка убакта синхрондошуп же бири-бирин жокко чыгарган тандоолордун ортосунда чечим кабыл алышы мүмкүн. Мындай системаларды моделдөөдө операциялардын иретин гана эмес, себептүүлүктү, конфликтти, параллелдүүлүктү, ресурстарды бөлүшүүнү жана кайра конфигурациялоону да көрсөтүү керек.

Petri тармактары мындай системаларда орундарды, өтүүлөрдү, token агымын жана өтүүлөрдүн активдешүү шарттарын графикалык түрдө көрсөтөт. Бирок Petri тармагын түзүү көпчүлүк изилдөөлөр үчүн болгону биринчи этап. Андан кийин изилдөөчү:

• Структуралык инварианттарды эсептеши,
• Иреттүү ички процесстерди же абал-машина компоненттерин табышы,
• Бул компоненттер баштапкы тармакты кантип каптарын изилдеши,
• Тандоо гиперграфын түзүшү,
• Керексиз компоненттерди жана каптоо шарттарын кыскартышы,
• Transversal жана так transversal топтомдорун эсептеши,
• XT, c-exact же r-exact касиеттерин текшериши,
• Жыйынтыктарды пландоо же жогорку көзөмөл моделдерине өткөрүшү

керек болушу мүмкүн. POOH адатта өзүнчө скрипттерди жана куралдарды талап кылган бул кадамдарды бир кайра өндүрүлүүчү иш агымында бириктирүүнү көздөйт.

POOH изилдөө багыты кантип иштейт?

Изилдөөнүн 4. жана 22. беттериндеги архитектуралык схема негизги изилдөө багытын төмөнкү иретте көрсөтөт:

Petri тармагы → P-инварианттар / абал-машина компоненттери → тандоо гиперграфы → XT/r-exact ажыратуу → `(max,+)` пландоо → Takagi–Sugeno бүдөмүк жогорку көзөмөлү

Бул багыттын биринчи бөлүгү структуралык анализ. Petri тармагы импорттолот же браузерде чийилет. P-инварианттар эсептелип, абал-машина компоненти боло турган ички түзүлүштөр аныкталат. Бул компонент талапкерлери тандоо гиперграфынын гипер-түйүндөрүн түзөт, ал эми Petri тармагынын түзүлүшүнөн келген каптоо талаптары гиперграфтын гипер-кырларын түзөт.

Экинчи бөлүк гиперграф анализи. Гипер-түйүндөрдөн турган кайсы тандоолор бардык каптоо талаптарын канааттандырары transversal анализи аркылуу изилденет. Так transversal ыкмасы ар бир талап керектүү тактык шарты менен канааттандырылган тандоолорду карайт. XT гиперграфы изилдөөдө кененирээк r-exact үй-бүлөсүнүн 1-exact абалы катары каралат.

Үчүнчү бөлүк ажыратылган компоненттерди башкарууга багытталган чыгыштарга айландырууга арналган изилдөө кеңейтүүсү. Жергиликтүү компоненттерден `(max,+)` пландоо моделдери жана структуралык байланыштардан Takagi–Sugeno бүдөмүк эрежелеринин долбоорлору түзүлөт. Бул бөлүк v1.0.0 версиясында эксперименттик изилдөө жана отчеттоо максатын көздөйт.

P-инварианттар жана абал-машина компоненттери

POOHтун Petri тармагы катмары P-инварианттарды эсептөө жана абал-машина компонентинин талапкерлерин аныктоо үчүн Martinez–Silva ыкмасы менен байланышкан эсептөө катмарын колдонот. Эсептелген компоненттер баштапкы тармакты параллелдүү же иреттүү бөлүктөр катары кантип изилдөөгө болорун көрсөткөн структуралык талапкерлер.

6. жана 17. беттердеги анализ экраны моделдин жандуулук жана коопсуздук текшерүүсүн, кирүүчү ички тармактарды, негизги түйүндөрдү, тандоо гиперграфын, FRAга чейинки жана кийинки матрицаларды, transpose жана FRA убакыттарын, ошондой эле XTREC классификациясын бир панелде көрсөтөт. Экрандын максаты ажыратуу процессиндеги аралык жыйынтыктарды бири-биринен бөлөк файлдарда эмес, бир жумуш мейкиндигинде байкоо.

PNH файл форматы деген эмне?

POOH v1.0.0 PNH деп аталган эки киргизүү форматын колдойт:

• Матрица форматы: Орун жана өтүү сандары, өтүү–орун инциденттик саптары, баштапкы белгилөө жана кошумча metadata саптары.
• Бөлүмдүү формат:PNH 1.0 аталышы астында [PLACES], [TRANSITIONS], [ARCS] жана [MARKING] бөлүмдөрү.

PNH Hippo Petri тармагын талдоо чөйрөсүнөн келген куралга тиешелүү изилдөө форматы; жалпы эл аралык алмашуу стандарты катары сунушталбайт. ISO/IEC 15909-2:2011 алкагында аныкталган PNML колдоосу изилдөө тарабынан v1.0.0’дон кийинки өнүктүрүү багытына киргизилген. Ошондуктан архивделген v1.0.0 версиясы PNML импортун же экспортун камсыз кылат деген жыйынтык чыгарылбашы керек.

Тандоо гиперграфы эмнени билдирет?

Тандоо гиперграфында гипер-түйүндөр Petri тармагынан алынган абал-машина компонентинин талапкерлерин, ал эми гипер-кырлар бул талапкерлер аткарууга тийиш болгон структуралык каптоо шарттарын билдирет. Түстүү гипер-кырлар бир нече компоненттин бир эле талап менен байланышын жана бири-бирине дал келүүлөрдү визуалдык көрсөтөт.

POOH гиперграф менен иштөөнүн эки режимин сунуштайт:

1. Ажыратуу иш агымы: Гиперграф Petri тармагы жана P-инвариант анализинин натыйжасында автоматтык түзүлөт.
2. Кол менен иш агымы: Колдонуучу Petri тармагына байланышпаган теориялык гиперграфты түз чийип, гипер-түйүн жана гипер-кыр кошот, FRA колдонот жана тактык касиеттерин текшерет.

7. жана 19. беттердеги кол менен редактордо transversal, так transversal, бардык transversals, гиперграф классификациясы, c-exact спектри, XT шарттары жана белгиленген r босогосу үчүн r-exact текшерүүсү өзүнчө башкаруулар катары берилет.

Ыкчам Кыскартуу Алгоритми эмне кылат?

Ыкчам Кыскартуу Алгоритми тандоо гиперграфындагы негизги элементтерди жана үстөмдүк мамилелерин баалап, кийинки transversal эсептөөгө кереги жок гипер-түйүндөрдү же гипер-кырларды азайтууну көздөйт. Ошентип так transversal анализи кичирээк инциденттик түзүлүштө жүргүзүлөт.

6. жана 18. беттердеги көзөмөлдөнгөн мисалда кыскартуу төмөнкү өзгөрүүнү берген:

Толук экран салыштырууда D1, D4, D5 жана D7 гипер-түйүндөрү; P2, P3, P4 жана P5 гипер-кырлары алынып салынганы көрсөтүлгөн. Визуалдаштыруу кыскартуу жыйынтыгын сандык гана эмес, баштапкы жана кыскартылган гиперграфтарды жанаша көрсөтүп текшерүүгө мүмкүндүк берет.

Бул мисал FRA кичине көзөмөлдөнгөн гиперграфты олуттуу кичирейте аларын көрсөтөт. Бирок ошол эле кыскартуу катышы бардык Petri тармагы моделдеринде алынары же чоң тармактарда эсептөө убактысын белгилүү катышта азайтары далилденген эмес.

Transversal, так transversal жана XTREC

Transversal гиперграфтын каптоо талаптарын аткарган гипер-түйүн тандоосу. POOH жалпы transversals жана так transversal катары классификацияланган тандоолорду өзүнчө эсептей алат.

XTREC иш агымы жөн гана каалаган hitting set түзүүнүн ордуна тандоо гиперграфынын так-transversal гиперграф касиетин сынайт. Колдонмо төмөнкү анализдерди колдойт:

• Transversal тизмесин түзүү,
• Так transversals тандоо,
• XT же 1-exact касиетин текшерүү,
• c-exact спектрин кароо,
• Белгиленген босого астында r-exact касиетин баалоо,
• FRAга чейинки жана кийинки жыйынтыктарды салыштыруу.

CPU аткаруу жолу бардык заманбап чөйрөлөрдө негизги вариант катары колдонулат. Браузер жана жабдуу WebGPU функцияларын колдогондо айрым оор операциялар тездетилген жолго өткөрүлүшү мүмкүн. WebGPU жеткиликсиз болсо, колдонмо шайкеш аткаруу жолуна кайтып, суралган режим менен чындап колдонулган режимди отчеттойт.

`(max,+)` пландоо жана Takagi–Sugeno бүдөмүк модулу

8. жана 20. беттердеги `(max,+)`/Fuzzy модулу структуралык ажыратуудан жергиликтүү пландоо жана бүдөмүк көзөмөл чыгыштарын түзүүнү көздөйт. Колдонуучу интерфейсинде Petri, XT, абал-машина компоненти, max-plus жана Takagi–Sugeno этаптары өзүнчө табдар менен көрсөтүлөт.

Модуль төмөнкү түрдөгү киргизүүлөрдү камтыйт:

• Fuzzy exact-transversal үчүн альфа-кесүү деңгээли жана скан кадамы,
• Демейки орун кечигүүлөрү жана орунга мүнөздүү кечигүү картасы,
• Параллелдүүлүк, конфликтсиздик, убакыт, coupling жана кайра конфигурациялоо салмактары,
• Coupling же max-plus чектери,
• Эксперименттик MPC горизонту сыяктуу изилдөө параметрлери.

Максат бүдөмүк эреже базасын толугу менен кол менен жазуунун ордуна параллелдүүлүк, конфликт, coupling, пландоо жана кайра конфигурациялоо сыяктуу структуралык сүрөттөмөлөрдөн эрежелердин алдынкы бөлүктөрүн чыгаруу. Бирок изилдөө бул эрежелердин чыныгы өнөр жай объектинде жабык цикл башкаруу ийгилигин өлчөгөн эмес. Түзүлгөн чыгыштар v1.0.0 версиясында изилдөө, салыштыруу жана отчеттоо артефакттары болуп саналат.

Программалык архитектура

4. жана 22. беттердеги архитектура диаграммасы программаны беш техникалык катмарга бөлөт:

v1.0.0 бекемдөө процессинин маанилүү максаттарынын бири алгоритмдик логиканы чоң браузер контроллеринен тесттен өткөрүлө турган src/core/ модулдарына көчүрүү болгон. Макала бул өтүү улантылып жатканын жана колдонуучу интерфейсине байланышкан айрым логика дагы эле чоң браузер контроллеринде калганын ачык айтат.

Кайра өндүрүлүүчүлүк инфраструктурасы

Репозиторий программалык макаладагы негизги иш агымын кайталоо үчүн төмөнкү компоненттерди камтыйт:

• Детерминисттик PNH мисалдары жана күтүлгөн эталон чыгыштар,
• Node.js бирдиктик жана интеграциялык тесттер,
• Playwright негизиндеги Chromium браузер тесттери,
• Жараксыз импорт текшерүүлөрү,
• P-инвариант, тандоо гиперграфы жана XTREC иш агымы тесттери,
• SFC/max-plus маалымат синтези тесттери,
• CPU/WebGPU аткаруу режими жазуусу,
• CSV жана LaTeX отчет экспорттоо куралдары.

Макалада сунушталган негизги кароочу буйруктар төмөнкүлөр:

npm ci
npm run ci
php -S 127.0.0.1:8000

Браузер smoke тесттери үчүн кошумча:

npx playwright install chromium
npm run test:browser

буйруктары берилет. Бул буйруктар изилдөө билдирген кароочу иш агымы; жүктөлгөн preprint бааланып жатканда өзүнчө орнотуу жана иштетүү эксперименти жүргүзүлгөн эмес.

Үч кайра өндүрүлүүчү мисал

Мисалдар атайын кичине кармалган. Бул жыйынтыктарды кол менен текшерүүнү жеңилдетет, бирок чоң өнөр жай моделдериндеги өндүрүмдүүлүк жана эс тутум колдонуу боюнча далил бербейт.

Сүрөттөр эмнени көрсөтөт?

• 1-сүрөт: Браузер, Web Worker, өзөк модулу, сервердик жардамчылар жана кайра өндүрүлүүчүлүк катмарларынан турган программалык архитектура.
• 2-сүрөт: Petri тармагы жүктөлгөндөн кийин P-инварианттар жана тандоо гиперграфы эсептелген интеграцияланган анализ панели.
• 3-сүрөт: FRAга чейин 7 × 7 жана 21 инцидент камтыган гиперграфтын FRAдан кийин 3 × 3 жана үч инцидентке чейин кыскартылышы.
• 4-сүрөт: Түстүү гипер-кырлар, transversal куралдары жана XT/c-exact/r-exact текшерүүлөрүн камтыган кол менен гиперграф редактору.
• 5-сүрөт: Жергиликтүү max-plus пландоо, альфа-кесүү жана структуралык Takagi–Sugeno эреже түзүү параметрлерин камтыган изилдөө модулу.
• 6-сүрөт: PNH китепканасын профилдөө, өкүлчүлүктүү мисал тандоо, CPU/WebGPU убакыттары жана колдонулган аткаруу режимин көрсөткөн benchmark панели.

Изилдөө колдогон жыйынтыктар

• Petri тармагы анализи менен тандоо гиперграф анализин бир браузер чөйрөсүндө бириктирүүгө болору көрсөтүлгөн.
• P-инварианттар, абал-машина компоненттери, FRA, transversal жана XTREC кадамдары үчүн интеграцияланган изилдөө багыты сунушталган.
• Petri тармагына байланышпаган теориялык гиперграфтарды кол менен чийип, талдоого болот.
• Программа кичине детерминисттик мисалдар, күтүлгөн чыгыштар жана браузер тесттери менен кошо жарыяланган.
• WebGPU жолу жеткиликтүү болгондо чындап колдонулат, колдоо жок болсо fallback режими отчеттолот.
• Структуралык ажыратуу жыйынтыктарынан max-plus жана бүдөмүк эреже артефактын түзүүгө багытталган эксперименттик жол пайда кылынган.
• Программанын v1.0.0 версиясы MIT лицензиялуу, булак коду жеткиликтүү жана академиялык цитаталоого боло турган изилдөө snapshotу катары даярдалган.

Изилдөө далилдебеген жыйынтыктар

• POOH бардык Petri тармагы анализ куралдарынан ылдамыраак же такыраак экени көрсөтүлгөн эмес.
• WebGPU кичине мисалдарда ылдамдатуу берери көрсөтүлгөн эмес; билдирилген эксперименттерде GPU жолу жайыраак.
• Чоң масштабдагы өндүрүш системаларында эсептөө убактысынын жана эс тутумдун масштабдалышы далилденген эмес.
• Түзүлгөн ажыратууларды коопсуздук-критикалык PLC же өнөр жай контроллерине автоматтык өткөрүүгө болору көрсөтүлгөн эмес.
• Max-plus жана Takagi–Sugeno чыгыштарынын чыныгы процессте жабык цикл өндүрүмдүүлүгү өлчөнгөн эмес.
• v1.0.0 версиясында PNML колдоосу жок.
• Программа көз карандысыз сертификациядан же коопсуздук тастыктоосунан өткөн эмес.
• Бир жабдуу жана браузер чөйрөсүндөгү benchmark жыйынтыктарын башка GPU жана операциялык системаларга жалпылоого болбойт.

Изилдөөнүн Ыкмасы жана Табылгалары

Изилдөө дизайны

Бул жарыя классикалык мааниде катышуучусу, талаа же физикалык башкаруу эксперименти бар изилдөө эмес. Ыкма программалык архитектураны сүрөттөөгө, функционалдык модулдарды көрсөтүүгө, кичине детерминисттик мисалдарды иштетүүгө, автоматтык тест инфраструктурасын түшүндүрүүгө жана CPU–WebGPU аткаруу жолдорун өлчөөгө негизделет.

Текшерүү төрт деңгээлде каралган:

1. Структуралык функцияны текшерүү: PNH импорттоо, P-инвариант, тандоо гиперграфы, FRA жана XTREC.
2. Кайра өндүрүлүүчү мисалдар: Үч кичине Petri тармагы жана күтүлгөн эталон чыгыштар.
3. Автоматтык программалык тесттер: Node.js, Playwright жана үзгүлтүксүз интеграция буйруктары.
4. Аткаруу жолу benchmarkы: CPU менен чыныгы WebGPU жолун бирдей кичине мисалдарда салыштыруу.

Программалык metadata

CPU жана WebGPU салыштыруу ыкмасы

Үч ачык кичине мисалда Martinez–Silva P-инвариант эсептөөсү жана XTREC текшерүүсү өлчөнгөн. Ар бир CPU/CPU жана WebGPU/WebGPU конфигурациясы он жолу кайталанган. Изилдөө жалпысынан 120 ийгиликтүү аткарууну билдирет.

Тест системасы:

• Apple M5 процессорлуу MacBook Pro,
• 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 убакыттары CPU убакыттарынан болжол менен 7,7–10,8 эсе; XTRECте болжол менен 9–18 эсе узун. Изилдөөчүлөр муну кичине көйгөйлөрдө GPUну ишке киргизүү жана маалымат өткөрүү чыгымы негизги эсептөөдөн жогору болушу менен түшүндүрүшөт.

Бул жыйынтыктар WebGPU код жолу чындап иштей турганын жана аткаруу режими каттала турганын колдойт. Чоң моделдерде GPU ылдамдатат деп далилдебейт. Бул үчүн көйгөй өлчөмү системалуу чоңойтулган, эс тутум өткөрүү өзүнчө өлчөнгөн жана ар башка GPUлар салыштырылган эксперименттер керек.

Программалык тесттердин камтуусу

Браузер smoke тести төмөнкү иштерди чынжыр менен аткарат:

• Жергиликтүү PHP колдонмосун ишке киргизүү,
• Кайра өндүрүлүүчү PNH мисалын импорттоо,
• P-инварианттарды эсептөө,
• Тандоо гиперграфын түзүү жана чийүү,
• XTREC иштетүү,
• SFC/max-plus маалыматын синтездөө,
• Жараксыз файл импортун текшерүү,
• CPU/WebGPU metadataсын отчеттоо.

Бул тесттер иш агымы программалык версиялардын ортосунда бузулуп калбашы үчүн пайдалуу. Бирок автоматтык тесттин ийгиликтүү бүтүшү колдонулган бардык теориялык алгоритмдер математикалык жактан көз карандысыз далилденди дегенди билдирбейт.

Күчтүү жактар

• Petri тармагы менен гиперграф анализин бир интерфейсте бириктириши.
• Аралык жыйынтыктарды визуалдык жана сандык түрдө бирге көрсөтүшү.
• FRAга чейинки жана кийинки салыштырууну түз көрсөтүшү.
• Автоматтык генерация жана кол менен теориялык гиперграф иш агымдарын бирге колдошу.
• Өзөк алгоритмдерди тесттен өткөрүлө турган JavaScript модулдарына бөлүшү.
• Детерминисттик мисалдар, күтүлгөн чыгыштар жана браузер тесттерин бериши.
• Суралган жана чындап колдонулган GPU режимин өзүнчө катташы.
• Ачык булактуу, MIT лицензиялуу жана версияланган изилдөө артефактын бериши.
• Каржылоо, кызыкчылыктардын кагылышы жана генеративдик жасалма интеллект колдонуу билдирүүлөрүн ачык бериши.

Чектөөлөр жана версия шайкешсиздиктери

• Изилдөө рецензиядан өтпөгөн preprint.
• Benchmark мисалдары болгону экиден төрткө чейин орун жана өтүүнү камтыйт.
• Өлчөөлөр бир компьютер, операциялык система жана браузер конфигурациясы менен чектелген.
• Чоң модель, эс тутум керектөө жана узак мөөнөттүү колдонуу тести берилген эмес.
• Башка Petri тармагы куралдары менен тактык же өндүрүмдүүлүк салыштыруусу жасалган эмес.
• Benchmark жумуш китеби жүктөлгөн документ менен кошо берилген эмес.
• Толук экран сүрөттөрүндө beta версия белгиси көрүнгөнү менен баалоо v1.0.0 версиясына таандык деп берилет.
• GitHub README файлындагы Zenodo DOI эскертүүсү макаладагы архивделген версия маалыматы менен бир убакта жаңыланган эмес.
• Программанын расмий citation metadataсы бир программалык авторду камтыса, макалада эки автор бар; программа жана макала авторлугу өзүнчө көрсөтүлүшү керек.
• PNML колдоосу v1.0.0’до эмес, кийинки өнүктүрүү багытында.
• Үчүнчү тарап PNH китепканаларынын баары лицензия абалына байланыштуу ачык версияга кошулган эмес.
• Max-plus жана Takagi–Sugeno жолу алгачкы этапта жана өнөр жай текшерүүсүн камтыбайт.
• Калган колдонуучу интерфейси логикасынын баары кайра колдонулуучу өзөк модулдарына көчүрүлгөн эмес.
• Коопсуздук-критикалык өнөр жай колдонуу үчүн сертификация же коркунуч анализи жок.

Түркияда текшерүү үчүн сунушталган кадамдар

1. Университет жана өнөр жай кызматташуусу менен түркчө Petri тармагы мисал коллекциясын даярдоо.
2. Чыныгы өндүрүш линияларынан анонимдештирилген PNH же PNML моделдерин чогултуу.
3. PNML импортун жана экспортун туруктуу версияда текшерүү.
4. PLC жана SFC инженердик куралдары менен чыгыштарды салыштыруу.
5. Жүздөгөн жана миңдеген орун-өтүү камтыган моделдерде убакыт жана эс тутум масштабдоо эксперименттерин жүргүзүү.
6. Ар башка NVIDIA, AMD, Intel жана Apple GPUларында WebGPU салыштыруусун жүргүзүү.
7. Эсептелген transversalsты көз карандысыз гиперграф китепканалары менен кайчылаш текшерүү.
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.

Булактын түрү: Ачык булак код, мисалдар, тест инфраструктурасы, кичине benchmark эксперименттери жана кайра өндүрүлүүчүлүк материалдары бар изилдөө программасы preprintи.

Рецензия абалы: Изилдөө рецензиядан өтө элек.

Расмий макала каттоосу: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 колдонушканын; мазмунду карап чыгып редакциялашканын жана акыркы жоопкерчиликти өздөрүнө алганын билдиришкен.

Маалымат жана программага жетүү: Булак код, документация, мисалдар жана кайра өндүрүлүүчүлүк скрипттери ачык v1.0.0 GitHub версиясында берилген. Үчүнчү тарап PNH китепканалары кайра бөлүштүрүү уруксаттары текшерилмейинче ачык артефактка кошулган эмес.

Benchmark жардамчы файлы: Макала 120 ийгиликтүү иштетүүнү жыйынтыктаган жумуш китеби жардамчы материал катары берилгенин айтат. Бул жумуш китеби жүктөлгөн файлдардын арасында болбогондуктан көз карандысыз каралган эмес.

Бул кыргызча түшүндүрмө жүктөлгөн 22 беттик изилдөөнүн тексти, таблицалары, программалык архитектурасы, интерфейс экрандары, гиперграф сүрөттөрү, FRA салыштыруусу, benchmark жыйынтыктары жана булактар тизмеси каралып даярдалды. Илимий жана техникалык мазмунга изилдөөнүн сыртынан жаңы өндүрүмдүүлүк жыйынтыгы кошулган жок. Тышкы булактар авторлордун мекемелик байланыштарын, SSRN макала каттоосун жана расмий v1.0.0 GitHub metadataсын библиографиялык текшерүү үчүн гана колдонулган.

POOH v1.0.0 изилдөөчүлөргө Petri тармагы жана гиперграф ажыратуу эксперименттерин кайра өндүрүүгө жардам берген алгачкы этаптагы илимий программа. Benchmark жыйынтыктары GPU тездетүү артыкчылыгын көрсөтпөйт, `(max,+)` жана бүдөмүк башкаруу чыгыштары физикалык объекттерде текшерилген контроллерлерди түзбөйт. Программаны чыныгы өндүрүш системаларында колдонуу үчүн чоңураак модель тесттери, көз карандысыз алгоритм текшерүүсү, стандарттык маалымат форматтары, коопсуздук анализи жана талаа эксперименттери талап кылынат.