POOH paralel idarəetmə sistemlərini Petri şəbəkələri və hiperqraf əsaslı parçalanma üsulları ilə araşdırmaq üçün hazırlanmış açıq mənbəli tədqiqat proqramıdır. “Power Objects of Hypergraphs” adının qısaltması olan platforma Petri şəbəkəsi çəkmə və ya idxal etmə, P-dəyişməzlərini hesablama, vəziyyət-maşını komponent namizədlərini çıxarma, seçim hiperqrafını yaratma, Sürətli Reduksiya Alqoritmini tətbiq etmə, transversal və dəqiq transversal çoxluqları tapma, XT, c-exact və r-exact xüsusiyyətlərini yoxlama əməliyyatlarını vahid brauzer iş sahəsində birləşdirir.

Proqramın tədqiqat xətti yalnız struktur parçalanma ilə məhdudlaşmır. POOH Petri şəbəkəsindən əldə olunan komponentləri yerli `(max,+)` planlaşdırma modelləri və struktur olaraq yaradılan Takagi–Sugeno bulanıq qayda çıxışları ilə əlaqələndirməyi hədəfləyir. Beləliklə Petri şəbəkəsi → P-dəyişməzləri və vəziyyət-maşını komponentləri → seçim hiperqrafı → XT/r-exact parçalanma → `(max,+)` planlaşdırma → bulanıq üst nəzarət formasında inteqrasiya olunmuş sınaq yolu təqdim edir.

v1.0.0 versiyası brauzer interfeysi, yenidən istifadə edilə bilən JavaScript nüvə modulları, Web Worker əməliyyatları, deterministik nümunələr, Node.js doğrulama əmrləri, Playwright brauzer testləri, hesabat ixrac vasitələri və CPU–WebGPU müqayisə qeydi ehtiva edən arxivləşdirilə bilən tədqiqat proqramı buraxılışıdır. Kod MIT lisenziyası ilə paylaşılır. Lakin proqram sertifikatlaşdırılmış sənaye idarəetmə məhsulu kimi deyil; Petri şəbəkəsinin parçalanması, dəqiq transversal hiperqrafları və erkən mərhələli planlaşdırma-bulanıq idarəetmə sınaqları üçün hazırlanmış tədqiqat mühiti kimi təqdim edilir.

Türkiyə baxımından əhəmiyyəti

POOH Türkiyədə avtomatlaşdırma, idarəetmə və kompüter mühəndisliyi laboratoriyalarında istehsal xətlərinin, robot hüceyrələrinin, resurs paylaşma proseslərinin, paralel tapşırıqların və PLC əsaslı sistemlərin struktur analizində istifadə oluna biləcək tədqiqat infrastrukturu təqdim edir. Petri şəbəkəsi modelindən parçalanma və hesabatlaşdırma mərhələsinə qədər eyni iş sahəsindən istifadə etmək müxtəlif skriptlər arasında məlumatı əl ilə çevirmə ehtiyacını azalda bilər.

Türkiyəyə uyğunlaşdırılacaq versiya üçün türkcə interfeys və texniki sənədləşmə, PNML kimi standart məlumat formatlarının sabit versiyaya daxil edilməsi, yerli istehsal xətti nümunələri, müxtəlif PLC və SFC alətləri ilə çıxışların doğrulanması və daha böyük açıq benchmark kolleksiyaları tələb olunur. Proqramın yaratdığı struktur parçalanmalar, planlaşdırma modelləri və ya bulanıq qaydalar real maşında istifadə edilməzdən əvvəl müstəqil doğrulama, təhlükəsizlik analizi, hardware-in-the-loop testi və səlahiyyətli mühəndis yoxlamasından keçirilməlidir.

Paralel idarəetmə sistemlərində hansı problem araşdırılır?

Paralel işləyən istehsal və idarəetmə sistemlərində bir neçə proses eyni resursları paylaşa, müxtəlif vaxtlarda sinxronlaşa və ya bir-birini istisna edən seçimlər arasında qərar verə bilər. Bu sistemləri modelləşdirərkən yalnız əməliyyat ardıcıllığını deyil, səbəbiyyət, konflikt, paralellik, resurs paylaşımı və yenidən konfiqurasiyanı da göstərmək lazımdır.

Petri şəbəkələri belə sistemlərdə yerləri, keçidləri, token axınını və keçidlərin aktivləşmə şərtlərini qrafik şəkildə təmsil edir. Lakin Petri şəbəkəsinin yaradılması çox tədqiqat üçün yalnız ilk mərhələdir. Tədqiqatçı daha sonra:

• Struktur dəyişməzləri hesablamalı,
• Ardıcıl alt prosesləri və ya vəziyyət-maşını komponentlərini tapmalı,
• Bu komponentlərin ilkin şəbəkəni necə örtdüyünü araşdırmalı,
• Seçim hiperqrafını yaratmalı,
• Lazımsız komponent və örtmə şərtlərini azaltmalı,
• Transversal və dəqiq transversal çoxluqları hesablamalı,
• XT, c-exact və ya r-exact xüsusiyyətlərini yoxlamalı,
• Nəticələri planlaşdırma və ya üst nəzarət modellərinə ötürməli

ola bilər. POOH adətən ayrı skriptlər və alətlər tələb edən bu addımları vahid yenidən istehsal edilə bilən iş axınında birləşdirməyi hədəfləyir.

POOH tədqiqat xətti necə işləyir?

Tədqiqatın 4. və 22. səhifələrindəki arxitektura sxemi əsas tədqiqat xəttini bu ardıcıllıqla göstərir:

Petri şəbəkəsi → P-dəyişməzləri / vəziyyət-maşını komponentləri → seçim hiperqrafı → XT/r-exact parçalanma → `(max,+)` planlaşdırma → Takagi–Sugeno bulanıq üst nəzarəti

Bu xəttin birinci hissəsi struktur analizidir. Petri şəbəkəsi idxal edilir və ya brauzerdə çəkilir. P-dəyişməzləri hesablanaraq vəziyyət-maşını komponenti ola biləcək alt strukturlar müəyyən edilir. Bu komponent namizədləri seçim hiperqrafının hiper-düyünlərini təşkil edir, Petri şəbəkəsi strukturundan gələn örtmə tələbləri isə hiperqrafın hiper-kənarlarını yaradır.

İkinci hissə hiperqraf analizidir. Hiper-düyünlərdən ibarət hansı seçimlərin bütün örtmə tələblərini ödədiyi transversal analizi ilə araşdırılır. Dəqiq transversal yanaşması hər tələbin istənilən dəqiqlik şərti ilə ödənildiyi seçimləri yoxlayır. XT hiperqrafı tədqiqatda daha geniş r-exact ailəsinin 1-exact halı kimi nəzərdən keçirilir.

Üçüncü hissə parçalanmış komponentləri idarəetmə yönümlü çıxışlara çevirmə istiqamətində tədqiqat uzantısıdır. Yerli komponentlərdən `(max,+)` planlaşdırma modelləri və struktur əlaqələrdən Takagi–Sugeno bulanıq qayda layihələri yaradılır. Bu bölmə v1.0.0-da eksperimental tədqiqat və hesabat məqsədi daşıyır.

P-dəyişməzləri və vəziyyət-maşını komponentləri

POOH-un Petri şəbəkəsi qatı P-dəyişməzlərini hesablamaq və vəziyyət-maşını komponent namizədlərini müəyyən etmək üçün Martinez–Silva yanaşması ilə əlaqəli hesablama qatından istifadə edir. Hesablanan komponentlər ilkin şəbəkənin paralel və ya ardıcıl hissələr şəklində necə araşdırıla biləcəyinə dair struktur namizədlərdir.

6. və 17. səhifələrdəki analiz ekranı modelin canlılıq və təhlükəsizlik yoxlamasını, giriş alt şəbəkələrini, əsas düyünləri, seçim hiperqrafını, FRA-dan əvvəl və sonra matriksləri, transpoz və FRA müddətlərini, eləcə də XTREC təsnifatını eyni paneldə göstərir. Ekranın məqsədi parçalanma prosesindəki aralıq nəticələri bir-birindən ayrı fayllarda deyil, vahid iş sahəsində izləməkdir.

PNH fayl formatı nədir?

POOH v1.0.0 PNH adlanan iki giriş formatını dəstəkləyir:

• Matriks formatı: Yer və keçid sayları, keçid–yer insidensiya sətirləri, başlanğıc işarələmə və isteğe bağlı metadata sətirləri.
• Bölməli format:PNH 1.0 başlığı altında [PLACES], [TRANSITIONS], [ARCS] və [MARKING] bölmələri.

PNH Hippo Petri şəbəkəsi analiz mühitindən gələn alətə xas tədqiqat formatıdır; ümumi beynəlxalq mübadilə standartı kimi təqdim olunmur. ISO/IEC 15909-2:2011 çərçivəsində müəyyən edilən PNML dəstəyi tədqiqat tərəfindən v1.0.0-dan sonrakı inkişaf xəttinə yerləşdirilib. Buna görə arxivləşdirilmiş v1.0.0 versiyasının PNML idxal və ya ixracı təmin etdiyi nəticəsi çıxarılmamalıdır.

Seçim hiperqrafı nəyi təmsil edir?

Seçim hiperqrafında hiper-düyünlər Petri şəbəkəsindən çıxarılan vəziyyət-maşını komponent namizədlərini, hiper-kənarlar isə bu namizədlərin ödəməli olduğu struktur örtmə şərtlərini təmsil edir. Rəngli hiper-kənarlar bir neçə komponentin eyni tələblə əlaqəsini və üst-üstə düşmələri vizual olaraq göstərir.

POOH iki hiperqraf iş rejimi təqdim edir:

1. Parçalanma iş axını: Hiperqraf Petri şəbəkəsi və P-dəyişməzi analizinin nəticəsində avtomatik yaradılır.
2. Manual iş axını: İstifadəçi Petri şəbəkəsinə bağlı olmayan nəzəri hiperqrafı birbaşa çəkir, hiper-düyün və hiper-kənar əlavə edir, FRA tətbiq edir və dəqiqlik xüsusiyyətlərini yoxlayır.

7. və 19. səhifələrdəki manual redaktorda transversal, dəqiq transversal, bütün transversallar, hiperqraf təsnifatı, c-exact spektri, XT şərtləri və müəyyən edilən r həddi üçün r-exact yoxlaması ayrı nəzarətlər kimi təqdim edilir.

Sürətli Reduksiya Alqoritmi nə edir?

Sürətli Reduksiya Alqoritmi seçim hiperqrafındakı əsas elementləri və dominantlıq əlaqələrini qiymətləndirərək sonrakı transversal hesablamasında lazım olmayan hiper-düyünləri və ya hiper-kənarları azaltmağı hədəfləyir. Beləliklə dəqiq transversal analizi daha kiçik insidensiya quruluşu üzərində aparıla bilər.

6. və 18. səhifələrdəki nəzarətli nümunədə reduksiya aşağıdakı dəyişikliyi yaradıb:

Tam ekran müqayisəsində D1, D4, D5 və D7 hiper-düyünlərinin; P2, P3, P4 və P5 hiper-kənarlarının çıxarıldığı göstərilir. Vizualizasiya reduksiya nəticəsini yalnız sayısal deyil, ilkin və azaldılmış hiperqrafı yan-yana göstərərək yoxlamağa imkan verir.

Bu nümunə FRA-nın kiçik nəzarətli hiperqrafı ciddi şəkildə kiçildə bildiyini göstərir. Lakin eyni azalma nisbətinin bütün Petri şəbəkəsi modellərində əldə ediləcəyi və ya böyük şəbəkələrdə hesablama müddətini müəyyən nisbətdə azaldacağı sübut edilməyib.

Transversal, dəqiq transversal və XTREC

Transversal hiperqrafın örtmə tələblərini qarşılayan hiper-düyün seçimidir. POOH ümumi transversalları və dəqiq transversal kimi təsnif olunan seçimləri ayrıca hesablaya bilir.

XTREC iş axını yalnız istənilən hitting set yaratmaq əvəzinə seçim hiperqrafının dəqiq-transversal hiperqraf xüsusiyyətini sınaqdan keçirir. Tətbiq aşağıdakı analizləri dəstəkləyir:

• Transversal siyahısının yaradılması,
• Dəqiq transversalların seçilməsi,
• XT və ya 1-exact xüsusiyyətinin yoxlanması,
• c-exact spektrinin araşdırılması,
• Müəyyən edilən hədd altında r-exact xüsusiyyətinin qiymətləndirilməsi,
• FRA-dan əvvəl və sonrakı nəticələrin müqayisəsi.

CPU icra yolu bütün müasir mühitlərdə əsas seçim kimi istifadə olunur. Brauzer və avadanlıq WebGPU funksiyalarını dəstəklədikdə bəzi ağır əməliyyatlar sürətləndirilmiş yola ötürülə bilər. WebGPU mövcud olmadıqda tətbiq uyğun icra yoluna qayıdır və tələb olunan rejimlə faktiki istifadə olunan rejimi hesabatlandırır.

`(max,+)` planlaşdırma və Takagi–Sugeno bulanıq modulu

8. və 20. səhifələrdəki `(max,+)`/Fuzzy modulu struktur parçalanmadan yerli planlaşdırma və bulanıq nəzarət çıxışları yaratmağı hədəfləyir. İstifadəçi interfeysində Petri, XT, vəziyyət-maşını komponenti, max-plus və Takagi–Sugeno mərhələləri ayrı tablarla göstərilir.

Modul aşağıdakı növ girişləri ehtiva edir:

• Fuzzy exact-transversal üçün alfa-kəsim səviyyəsi və skan addımı,
• Standart yer gecikmələri və yerə xas gecikmə xəritəsi,
• Paralellik, konfliktsizlik, zaman, coupling və yenidən konfiqurasiya çəkiləri,
• Coupling və ya max-plus sərhədləri,
• Eksperimental MPC üfüqü kimi tədqiqat parametrləri.

Məqsəd bulanıq qayda bazasını tam əl ilə yazmaq əvəzinə paralellik, konflikt, coupling, planlaşdırma və yenidən konfiqurasiya kimi struktur təsvirlərdən qayda öncülləri çıxarmaqdır. Lakin tədqiqat bu qaydaların real sənaye obyektində qapalı dövr idarəetmə uğurunu ölçməyib. Yaradılan çıxışlar v1.0.0-da tədqiqat, müqayisə və hesabat artefaktlarıdır.

Proqram arxitekturası

4. və 22. səhifələrdəki arxitektura diaqramı proqramı beş texniki qata ayırır:

v1.0.0 sərtləşdirmə prosesinin mühüm hədəflərindən biri alqoritmik məntiqin böyük brauzer nəzarətçisindən test edilə bilən src/core/ modullarına köçürülməsidir. Məqalə bu keçidin davam etdiyini və istifadəçi interfeysi ilə əlaqəli bəzi məntiqin hələ də böyük brauzer nəzarətçisində qaldığını açıq şəkildə bildirir.

Yenidən istehsal edilə bilmə infrastrukturu

Repo proqram məqaləsindəki əsas iş axınını təkrarlamaq məqsədilə aşağıdakı komponentləri ehtiva edir:

• Deterministik PNH nümunələri və gözlənilən istinad çıxışları,
• Node.js vahid və inteqrasiya testləri,
• Playwright əsaslı Chromium brauzer testləri,
• Etibarsız idxal yoxlamaları,
• P-dəyişməzi, seçim hiperqrafı və XTREC iş axını testləri,
• SFC/max-plus məlumat sintezi testləri,
• CPU/WebGPU icra rejimi qeydi,
• CSV və LaTeX hesabat ixrac alətləri.

Məqalədə təklif olunan əsas nəzərdən keçirici əmrlər bunlardır:

npm ci
npm run ci
php -S 127.0.0.1:8000

Brauzer smoke testləri üçün əlavə olaraq:

npx playwright install chromium
npm run test:browser

əmrləri verilir. Bu əmrlər tədqiqatın bildirdiyi nəzərdən keçirici iş axınıdır; yüklənmiş preprint qiymətləndirilərkən ayrıca quraşdırma və işə salma sınağı aparılmayıb.

Üç yenidən istehsal edilə bilən nümunə

Nümunələr qəsdən kiçik saxlanılıb. Bu, nəticələrin əl ilə yoxlanmasını asanlaşdırsa da böyük sənaye modellərində performans və yaddaş istifadəsi haqqında sübut yaratmır.

Şəkillər nə göstərir?

• Şəkil 1: Brauzer, Web Worker, nüvə modulu, server yardımçıları və yenidən istehsal edilə bilmə qatlarından ibarət proqram arxitekturası.
• Şəkil 2: Petri şəbəkəsi yükləndikdən sonra P-dəyişməzləri və seçim hiperqrafının hesablandığı inteqrasiya olunmuş analiz paneli.
• Şəkil 3: FRA-dan əvvəl 7 × 7 və 21 insidensiyalı hiperqrafın, FRA-dan sonra 3 × 3 və üç insidensiyaya endirilməsi.
• Şəkil 4: Rəngli hiper-kənarlar, transversal alətləri və XT/c-exact/r-exact yoxlamalarını ehtiva edən manual hiperqraf redaktoru.
• Şəkil 5: Yerli max-plus planlaşdırma, alfa-kəsim və struktur Takagi–Sugeno qayda generasiya parametrlərini ehtiva edən tədqiqat modulu.
• Şəkil 6: PNH kitabxanası profilləşdirməsi, nümayəndə nümunə seçimi, CPU/WebGPU müddətləri və istifadə olunan icra rejimini göstərən benchmark paneli.

Tədqiqatın dəstəklədiyi nəticələr

• Petri şəbəkəsi analizi ilə seçim hiperqrafı analizinin eyni brauzer mühitində birləşdirilə bildiyi göstərilib.
• P-dəyişməzləri, vəziyyət-maşını komponentləri, FRA, transversal və XTREC addımları üçün inteqrasiya olunmuş tədqiqat xətti təqdim edilib.
• Petri şəbəkəsinə bağlı olmayan nəzəri hiperqraflar manual olaraq çəkilib analiz edilə bilir.
• Proqram kiçik deterministik nümunələr, gözlənilən çıxışlar və brauzer testləri ilə birlikdə yayımlanıb.
• WebGPU yolu mövcud olduqda faktiki istifadə oluna bilir, dəstəklənmədikdə geri dönüş rejimi hesabatlandırılır.
• Struktur parçalanma nəticələrindən max-plus və bulanıq qayda artefaktı yaratmağa yönəlmiş eksperimental yol yaradılıb.
• Proqramın v1.0.0 versiyası MIT lisenziyalı, mənbə kodu əlçatan və akademik olaraq istinad edilə bilən tədqiqat snapshotu kimi hazırlanıb.

Tədqiqatın sübut etmədiyi nəticələr

• POOH-un bütün Petri şəbəkəsi analiz alətlərindən daha sürətli və ya daha doğru olduğu göstərilməyib.
• WebGPU-nun kiçik nümunələrdə sürət artımı verdiyi göstərilməyib; bildirilən sınaqlarda GPU yolu daha yavaşdır.
• Böyük miqyaslı istehsal sistemlərində hesablama müddəti və yaddaş miqyaslana bilməsi sübut edilməyib.
• Yaradılan parçalanmaların təhlükəsizlik-kritik PLC və ya sənaye nəzarətçisinə avtomatik ötürülə biləcəyi göstərilməyib.
• Max-plus və Takagi–Sugeno çıxışlarının real prosesdə qapalı dövr performansı ölçülməyib.
• v1.0.0 versiyasında PNML dəstəyi yoxdur.
• Proqram müstəqil sertifikatlaşdırma və ya təhlükəsizlik təsdiqindən keçməyib.
• Tək avadanlıq və brauzer mühitindəki benchmark nəticələri müxtəlif GPU və əməliyyat sistemlərinə ümumiləşdirilə bilməz.

Tədqiqatın Metodu və Tapıntıları

Tədqiqat dizaynı

Bu nəşr klassik mənada iştirakçı, sahə və ya fiziki idarəetmə sınağı ehtiva edən tədqiqat deyil. Metod proqram arxitekturasının təsviri, funksional modulların təqdimatı, kiçik deterministik nümunələrin işə salınması, avtomatik test infrastrukturunun izahı və CPU–WebGPU icra yollarının ölçülməsinə əsaslanır.

Doğrulama dörd səviyyədə nəzərdən keçirilib:

1. Struktur funksiya doğrulaması: PNH idxalı, P-dəyişməzi, seçim hiperqrafı, FRA və XTREC.
2. Yenidən istehsal edilə bilən nümunələr: Üç kiçik Petri şəbəkəsi və gözlənilən istinad çıxışları.
3. Avtomatik proqram testləri: Node.js, Playwright və davamlı inteqrasiya əmrləri.
4. İcra yolu benchmarkı: CPU ilə real WebGPU yolunun eyni kiçik nümunələrdə müqayisəsi.

Proqram metadatası

CPU və WebGPU müqayisə üsulu

Üç açıq kiçik nümunədə Martinez–Silva P-dəyişməzi hesabı və XTREC yoxlaması ölçülüb. Hər CPU/CPU və WebGPU/WebGPU konfiqurasiyası on dəfə təkrarlanıb. Tədqiqat ümumilikdə 120 uğurlu icra bildirir.

Test sistemi:

• Apple M5 prosessorlu MacBook Pro,
• 10 CPU nüvəsi,
• 24 GB birləşdirilmiş yaddaş,
• macOS 27.0 beta 3,
• Google Chrome 150.

Sürət nisbəti CPU müddətinin WebGPU müddətinə bölünməsi ilə ifadə olunur:

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

Birdən kiçik dəyərlər WebGPU yolunun CPU-dan daha uzun çəkdiyini göstərir.

Benchmark nəticələri

Altı müqayisənin hamısında CPU icrası daha sürətlidir. Martinez–Silva hesabında WebGPU müddətləri CPU müddətlərinin təxminən 7,7–10,8 qatı; XTREC-də təxminən 9–18 qatı səviyyəsindədir. Tədqiqatçılar bunu kiçik problemlərdə GPU başlanğıc və məlumat ötürmə xərcinin əsas hesablamadan daha yüksək olması ilə izah edir.

Bu nəticələr WebGPU kod yolunun həqiqətən işlədiyini və icra rejiminin qeyd oluna bildiyini dəstəkləyir. Böyük modellərdə GPU-nun sürət təmin edəcəyini sübut etmir. Bunun üçün problem ölçüsünün sistematik artırıldığı, yaddaş ötürməsinin ayrıca ölçüldüyü və müxtəlif GPU-ların müqayisə olunduğu sınaqlar lazımdır.

Proqram testlərinin əhatəsi

Brauzer smoke testi aşağıdakı əməliyyatları zəncirvari yerinə yetirir:

• Yerli PHP tətbiqini işə salmaq,
• Yenidən istehsal edilə bilən PNH nümunəsini idxal etmək,
• P-dəyişməzlərini hesablamaq,
• Seçim hiperqrafını yaratmaq və çəkmək,
• XTREC işə salmaq,
• SFC/max-plus məlumatı sintez etmək,
• Etibarsız fayl idxalını yoxlamaq,
• CPU/WebGPU metadatasını hesabatlandırmaq.

Bu testlər iş axınının proqram versiyaları arasında pozulmasının qarşısını almaq üçün faydalıdır. Bununla belə avtomatik testin uğurla tamamlanması tətbiq olunan bütün nəzəri alqoritmlərin riyazi baxımdan müstəqil şəkildə sübut edildiyi demək deyil.

Güclü tərəflər

• Petri şəbəkəsi ilə hiperqraf analizini eyni interfeysdə birləşdirməsi.
• Aralıq nəticələri vizual və sayısal formada birlikdə təqdim etməsi.
• FRA-dan əvvəl-sonra müqayisəni birbaşa göstərməsi.
• Avtomatik generasiya və manual nəzəri hiperqraf iş axınlarını birlikdə dəstəkləməsi.
• Nüvə alqoritmlərini test edilə bilən JavaScript modullarına ayırması.
• Deterministik nümunələr, gözlənilən çıxışlar və brauzer testləri təqdim etməsi.
• Tələb olunan və faktiki istifadə olunan GPU rejimini ayrıca qeyd etməsi.
• Açıq mənbəli, MIT lisenziyalı və versiyalanmış tədqiqat artefaktı təmin etməsi.
• Maliyyələşdirmə, maraqlar toqquşması və generativ süni intellekt istifadəsi bəyanlarını açıq təqdim etməsi.

Məhdudiyyətlər və versiya uyğunsuzluqları

• Tədqiqat resenziyadan keçməmiş preprintdir.
• Benchmark nümunələri yalnız iki ilə dörd yer və keçid ehtiva edir.
• Ölçmələr tək kompüter, əməliyyat sistemi və brauzer konfiqurasiyası ilə məhduddur.
• Böyük model, yaddaş sərfiyyatı və uzunmüddətli istifadə testi təqdim edilməyib.
• Digər Petri şəbəkəsi alətləri ilə dəqiqlik və ya performans müqayisəsi aparılmayıb.
• Benchmark iş kitabı yüklənmiş sənədlə birlikdə təqdim edilməyib.
• Tam ekran görüntülərində beta versiya etiketi göründüyü halda qiymətləndirmə v1.0.0 versiyasına aid edilir.
• GitHub README faylındakı Zenodo DOI qeydi məqalədəki arxivləşdirilmiş versiya məlumatı ilə eyni vaxtda yenilənməyib.
• Proqramın rəsmi citation metadatası tək proqram müəllifi ehtiva etdiyi halda məqalə iki müəlliflidir; proqram və məqalə müəllifliyi ayrıca göstərilməlidir.
• PNML dəstəyi v1.0.0-da deyil, sonrakı inkişaf xəttindədir.
• Üçüncü tərəf PNH kitabxanalarının hamısı lisenziya vəziyyətinə görə açıq versiyaya daxil edilməyib.
• Max-plus və Takagi–Sugeno xətti erkən mərhələdədir və sənaye doğrulaması ehtiva etmir.
• Qalan istifadəçi interfeysi məntiqinin hamısı yenidən istifadə edilə bilən nüvə modullarına köçürülməyib.
• Təhlükəsizlik-kritik sənaye istifadəsi üçün sertifikatlaşdırma və ya təhlükə analizi yoxdur.

Türkiyədə doğrulama üçün tövsiyə olunan addımlar

1. Universitet və sənaye əməkdaşlığı ilə türkcə Petri şəbəkəsi nümunə kolleksiyasının hazırlanması.
2. Real istehsal xətlərindən anonimləşdirilmiş PNH və ya PNML modellərinin toplanması.
3. PNML idxal və ixracının sabit versiyada doğrulanması.
4. PLC və SFC mühəndislik alətləri ilə çıxış müqayisəsinin aparılması.
5. Yüzlərlə və minlərlə yer-keçid ehtiva edən modellərdə müddət və yaddaş miqyaslama sınaqlarının aparılması.
6. Müxtəlif NVIDIA, AMD, Intel və Apple GPU-larında WebGPU müqayisəsinin aparılması.
7. Hesablanan transversalların müstəqil hiperqraf kitabxanaları ilə çarpaz doğrulanması.
8. Yaradılan max-plus və Takagi–Sugeno modellərinin fiziki və ya hardware-in-the-loop idarəetmə sınaqlarında yoxlanması.
9. Türkcə istifadəçi interfeysi, tədris bələdçisi və nümunə laboratoriya vərəqlərinin hazırlanması.

Mənbə və Metod Qeydi

Tədqiqatın tam orijinal adı: POOH: A research software platform for Petri-net-based concurrent control systems and XT/R-exact hypergraph decomposition

Müəlliflər: Łukasz Stefanowicz; Marcin Witczak.

Müəllif sıralaması: Łukasz Stefanowicz birinci, Marcin Witczak ikinci müəllifdir.

Bərabər birinci müəllif: Bərabər töhfə və ya bərabər birinci müəllif bəyanı araşdırılan versiyada yoxdur.

Məsul müəllif: Łukasz Stefanowicz. Müəllif adındakı ulduz işarəsi və qurum əlaqə ünvanı məsul müəllifi göstərir.

Qurumlar:

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

Məqalə DOI-si:10.2139/ssrn.7193125

Jurnal: Tədqiqat SoftwareX tədqiqat proqramı məqaləsi formatında hazırlanıb və mətndə “SoftwareX release” ifadəsi istifadə olunub. Lakin resenziya prosesi tamamlanmış yayımlanmış SoftwareX qeydi və ya jurnal DOI-si araşdırılan versiyada yoxdur.

Nəşriyyat: Qəti yekun jurnal nəşriyyatı məlumatı yoxdur.

Nəşr platforması: SSRN.

Nəşr ili: 2026.

Mənbə növü: Açıq mənbə kod, nümunələr, test infrastrukturu, kiçik benchmark sınaqları və yenidən istehsal edilə bilmə materialları ehtiva edən tədqiqat proqramı preprinti.

Resenziya statusu: Tədqiqat resenziyadan keçməyib.

Rəsmi məqalə qeydi:SSRN tədqiqat səhifəsi.

Proqramın tam adı: POOH — Power Objects of Hypergraphs.

Arxivləşdirilmiş proqram versiyası: v1.0.0.

Versiya tarixi: 13 İyul 2026.

Mənbə kod:GitHub v1.0.0 versiya ağacı.

Proqram versiyası DOI-si:10.5281/zenodo.21341387.

Proqram konsept DOI-si:10.5281/zenodo.21341386. Konsept DOI-si arxivləşdirilmiş bütün versiyalara yönləndirmək üçün göstərilib.

Proqram lisenziyası: MIT License.

Proqramlaşdırma dilləri və alətlər: JavaScript, PHP, HTML, CSS/SVG, Web Workers, Node.js, Playwright və isteğe bağlı WebGPU/WebGL brauzer sürətləndirməsi.

Quraşdırma tələbləri: PHP 8.1 və ya yuxarı, Node.js 18 və ya yuxarı, npm və müasir brauzer. Brauzer testləri üçün Playwright/Chromium istifadə olunur.

ORCID: ORCID məlumatı araşdırılan preprintin müəllif bölməsində yoxdur.

Maliyyələşdirmə: Tədqiqatçılar dövlət, kommersiya və ya qeyri-kommersiya maliyyələşdirmə qurumlarından xüsusi qrant alınmadığını bildiriblər.

Maraqlar toqquşması: Müəlliflər tədqiqata təsir edə biləcək məlum maliyyə marağı və ya şəxsi münasibət olmadığını bəyan ediblər.

Generativ süni intellekt bəyanı: Tədqiqatçılar proqram sənədləşməsi, məqalə quruluşu və dil layihəsini dəstəkləmək üçün OpenAI ChatGPT və Codex istifadə etdiklərini; məzmunu nəzərdən keçirib redaktə etdiklərini və son məsuliyyəti daşıdıqlarını açıqlayıblar.

Məlumat və proqrama çıxış: Mənbə kod, sənədləşmə, nümunələr və yenidən istehsal edilə bilmə skriptləri açıq v1.0.0 GitHub versiyasında təqdim olunur. Üçüncü tərəf PNH kitabxanaları yenidən paylama icazələri təsdiqlənməyənədək açıq artefakta daxil edilməyib.

Benchmark yardımçı faylı: Məqalə 120 uğurlu işə salmanı ümumiləşdirən iş kitabının yardımçı material kimi verildiyini bildirir. Bu iş kitabı yüklənən fayllar arasında olmadığından müstəqil araşdırılmayıb.

Bu Azərbaycan dilində izah yüklənmiş 22 səhifəlik tədqiqatın mətni, cədvəlləri, proqram arxitekturası, interfeys ekranları, hiperqraf təsvirləri, FRA müqayisəsi, benchmark nəticələri və biblioqrafiyası araşdırılaraq hazırlanıb. Elmi və texniki məzmuna tədqiqatdan kənar yeni performans nəticəsi əlavə edilməyib. Xarici mənbələr yalnız müəlliflərin qurum əlaqələrinin, SSRN məqalə qeydinin və rəsmi v1.0.0 GitHub metadatasının biblioqrafik doğrulanması məqsədilə istifadə olunub.

POOH v1.0.0 tədqiqatçıların Petri şəbəkəsi və hiperqraf parçalanma sınaqlarını yenidən istehsal etməsinə kömək edən erkən mərhələli elmi proqramdır. Benchmark nəticələri GPU sürətləndirmə üstünlüyü göstərmir, `(max,+)` və bulanıq idarəetmə çıxışları fiziki obyektlərdə doğrulanmış nəzarətçilər yaratmır. Proqramın real istehsal sistemlərində istifadəsi üçün daha böyük model testləri, müstəqil alqoritm doğrulaması, standart məlumat formatları, təhlükəsizlik analizi və sahə sınaqları tələb olunur.