POOH ni programu ya utafiti ya chanzo huria iliyotengenezwa kuchunguza mifumo ya udhibiti sambamba kwa kutumia mitandao ya Petri na mbinu za utenganishaji zinazotegemea hypergraph. Jukwaa, ambalo jina lake ni kifupi cha “Power Objects of Hypergraphs”, linaunganisha katika nafasi moja ya kazi ya kivinjari shughuli za kuchora au kuingiza mtandao wa Petri, kukokotoa P-invariants, kutoa wagombea wa sehemu za state-machine, kuunda hypergraph ya uteuzi, kutumia Fast Reduction Algorithm, kupata seti za transversal na exact transversal, na kukagua sifa za XT, c-exact na r-exact.

Mkondo wa utafiti wa programu hauishii kwenye utenganishaji wa kimuundo pekee. POOH inalenga kuhusisha sehemu zinazotokana na mtandao wa Petri na modeli za ndani za upangaji wa `(max,+)` pamoja na matokeo ya sheria fuzzy za Takagi–Sugeno zinazozalishwa kimuundo. Kwa hivyo inatoa njia iliyounganishwa ya majaribio katika muundo wa mtandao wa Petri → P-invariants na sehemu za state-machine → hypergraph ya uteuzi → utenganishaji wa XT/r-exact → upangaji wa `(max,+)` → usimamizi wa juu wa fuzzy.

Toleo la v1.0.0 ni toleo la programu ya utafiti linaloweza kuhifadhiwa kwenye kumbukumbu, likijumuisha kiolesura cha kivinjari, moduli kuu za JavaScript zinazoweza kutumika tena, michakato ya Web Worker, mifano deterministic, amri za uthibitishaji za Node.js, majaribio ya kivinjari ya Playwright, zana za kusafirisha ripoti na rekodi ya ulinganisho wa CPU–WebGPU. Msimbo unashirikiwa chini ya leseni ya MIT. Hata hivyo, programu haijawasilishwa kama bidhaa ya udhibiti wa viwandani iliyoidhinishwa; imewasilishwa kama mazingira ya utafiti kwa utenganishaji wa mitandao ya Petri, hypergraph za exact transversal na majaribio ya hatua za mwanzo ya upangaji na udhibiti fuzzy.

Umuhimu wake kwa Uturuki

POOH inatoa miundombinu ya utafiti inayoweza kutumiwa katika maabara za automatisering, udhibiti na uhandisi wa kompyuta nchini Uturuki kwa uchambuzi wa kimuundo wa mistari ya uzalishaji, seli za roboti, michakato ya kugawana rasilimali, kazi sambamba na mifumo inayotegemea PLC. Kutumia nafasi moja ya kazi kuanzia modeli ya mtandao wa Petri hadi hatua za utenganishaji na utoaji ripoti kunaweza kupunguza hitaji la kubadilisha data kwa mkono kati ya script tofauti.

Kwa toleo litakalobadilishwa kwa Uturuki, zinahitajika kiolesura na nyaraka za kiufundi kwa Kituruki, kuleta katika toleo thabiti miundo ya data ya kiwango kama PNML, mifano ya mistari ya uzalishaji ya ndani, uthibitishaji wa matokeo kwa zana tofauti za PLC na SFC, na makusanyo makubwa zaidi ya benchmark ya umma. Utenganishaji wa kimuundo, modeli za upangaji au sheria fuzzy zinazozalishwa na programu zinapaswa kupitia uthibitishaji huru, uchambuzi wa usalama, jaribio la hardware-in-the-loop na mapitio ya mhandisi aliyeidhinishwa kabla ya kutumiwa kwenye mashine halisi.

Ni tatizo gani linaloshughulikiwa katika mifumo ya udhibiti sambamba?

Katika mifumo ya uzalishaji na udhibiti inayofanya kazi sambamba, michakato mingi inaweza kushiriki rasilimali zilezile, kusawazishwa katika nyakati tofauti au kufanya maamuzi kati ya chaguo zinazotengana. Katika kuunda modeli za mifumo hii, si lazima kuonyesha tu mpangilio wa shughuli, bali pia usababishaji, migongano, usambamba, ugawanaji wa rasilimali na uundaji upya.

Mitandao ya Petri huwakilisha kwa mchoro maeneo, transitions, mtiririko wa token na masharti ya kuwashwa kwa transitions katika mifumo kama hii. Hata hivyo, kuunda mtandao wa Petri ni hatua ya kwanza tu kwa tafiti nyingi. Kisha mtafiti anaweza kuhitaji:

• Kukokotoa invariants za kimuundo,
• Kupata michakato midogo ya mfululizo au sehemu za state-machine,
• Kuchunguza jinsi sehemu hizo zinavyofunika mtandao wa awali,
• Kuunda hypergraph ya uteuzi,
• Kupunguza sehemu zisizo za lazima na masharti ya kufunika,
• Kukokotoa seti za transversal na exact transversal,
• Kukagua sifa za XT, c-exact au r-exact,
• Kuhamisha matokeo kwenye modeli za upangaji au usimamizi wa juu

POOH inalenga kuunganisha hatua hizi, ambazo kwa kawaida zingehitaji script na zana tofauti, katika mtiririko mmoja wa kazi unaoweza kurudiwa.

Mkondo wa utafiti wa POOH hufanyaje kazi?

Mchoro wa usanifu katika kurasa za 4. na 22. za utafiti unaonyesha mkondo mkuu wa utafiti katika mpangilio huu:

Mtandao wa Petri → P-invariants / sehemu za state-machine → hypergraph ya uteuzi → utenganishaji wa XT/r-exact → upangaji wa `(max,+)` → usimamizi wa juu wa fuzzy wa Takagi–Sugeno

Sehemu ya kwanza ya mkondo huu ni uchambuzi wa kimuundo. Mtandao wa Petri huingizwa au kuchorwa katika kivinjari. P-invariants hukokotolewa ili kutambua miundo midogo inayoweza kuwa sehemu za state-machine. Wagombea hawa wa sehemu huunda hypernodes za hypergraph ya uteuzi, huku mahitaji ya kufunika yanayotokana na muundo wa mtandao wa Petri yakitengeneza hyperedges za hypergraph.

Sehemu ya pili ni uchambuzi wa hypergraph. Uchambuzi wa transversal hutumiwa kuchunguza ni uteuzi gani wa hypernodes unaokidhi mahitaji yote ya kufunika. Mbinu ya exact transversal huchunguza uteuzi ambapo kila hitaji linatimizwa kwa hali maalum ya exactness inayotakiwa. Hypergraph ya XT inachukuliwa katika utafiti kama hali ya 1-exact ya familia pana ya r-exact.

Sehemu ya tatu ni upanuzi wa utafiti wa kubadilisha sehemu zilizotenganishwa kuwa matokeo yanayolenga udhibiti. Modeli za ndani za upangaji wa `(max,+)` hutolewa kutoka sehemu za ndani na rasimu za sheria fuzzy za Takagi–Sugeno hutolewa kutoka mahusiano ya kimuundo. Sehemu hii katika v1.0.0 inalenga utafiti wa majaribio na utoaji ripoti.

P-invariants na sehemu za state-machine

Safu ya mtandao wa Petri ya POOH hutumia safu ya ukokotoaji inayohusishwa na mbinu ya Martinez–Silva kukokotoa P-invariants na kutambua wagombea wa sehemu za state-machine. Sehemu zinazokokotolewa ni wagombea wa kimuundo kuhusu jinsi mtandao wa awali unavyoweza kuchunguzwa kama vipande sambamba au vya mfululizo.

Skrini ya uchambuzi katika kurasa za 6. na 17. inaonyesha katika paneli moja ukaguzi wa liveness na safeness wa modeli, subnet za kuingiza, nodi msingi, hypergraph ya uteuzi, matriksi kabla na baada ya FRA, muda wa transpose na FRA, na uainishaji wa XTREC. Lengo la skrini ni kufanya matokeo ya kati ya mchakato wa utenganishaji yaweze kufuatiliwa katika nafasi moja ya kazi badala ya faili zilizotawanyika.

Muundo wa faili wa PNH ni nini?

POOH v1.0.0 inaunga mkono miundo miwili ya ingizo inayoitwa PNH:

• Muundo wa matriksi: Idadi ya places na transitions, safu za incidence za transition–place, marking ya mwanzo na safu za hiari za metadata.
• Muundo wa sehemu: Chini ya kichwa cha PNH 1.0 kuna sehemu za [PLACES], [TRANSITIONS], [ARCS] na [MARKING].

PNH ni muundo wa utafiti mahususi kwa zana uliotoka katika mazingira ya uchambuzi wa mitandao ya Petri ya Hippo; haujawasilishwa kama kiwango cha kimataifa cha jumla cha kubadilishana data. Msaada wa PNML unaofafanuliwa chini ya ISO/IEC 15909-2:2011 umewekwa na utafiti katika mkondo wa maendeleo baada ya v1.0.0. Kwa hiyo, haipaswi kuhitimishwa kwamba toleo lililohifadhiwa la v1.0.0 lina uingizaji au usafirishaji wa PNML.

Hypergraph ya uteuzi inawakilisha nini?

Katika hypergraph ya uteuzi, hypernodes huwakilisha wagombea wa sehemu za state-machine zinazotolewa kutoka mtandao wa Petri; hyperedges huwakilisha masharti ya kimuundo ya kufunika ambayo wagombea hao wanapaswa kutimiza. Hyperedges zenye rangi huonyesha kwa kuona uhusiano wa sehemu nyingi na hitaji moja pamoja na mwingiliano wa kufunika.

POOH inatoa aina mbili za mtiririko wa kazi wa hypergraph:

1. Mtiririko wa utenganishaji: Hypergraph hutengenezwa kiotomatiki kutokana na uchambuzi wa mtandao wa Petri na P-invariant.
2. Mtiririko wa mwongozo: Mtumiaji huchora moja kwa moja hypergraph ya kinadharia isiyofungwa na mtandao wa Petri, huongeza hypernode na hyperedge, hutumia FRA na kukagua sifa za exactness.

Katika kihariri cha mwongozo cha kurasa za 7. na 19., transversal, exact transversal, transversal zote, uainishaji wa hypergraph, spectrum ya c-exact, masharti ya XT na ukaguzi wa r-exact kwa kizingiti cha r kilichowekwa hutolewa kama vidhibiti tofauti.

Fast Reduction Algorithm hufanya nini?

Fast Reduction Algorithm inalenga kupunguza hypernodes au hyperedges zisizohitajika katika ukokotoaji unaofuata wa transversal kwa kutathmini vipengele msingi na mahusiano ya dominance katika hypergraph ya uteuzi. Kwa njia hii, uchambuzi wa exact transversal unaweza kuendeshwa juu ya muundo mdogo wa incidence.

Katika mfano uliodhibitiwa wa kurasa za 6. na 18., upunguzaji ulitoa mabadiliko yafuatayo:

Katika ulinganisho wa skrini nzima imeelezwa kwamba hypernodes D1, D4, D5 na D7 pamoja na hyperedges P2, P3, P4 na P5 zimeondolewa. Uonyeshaji huruhusu matokeo ya upunguzaji kukaguliwa si kwa namba tu bali pia kwa kuonyesha hypergraph ya asili na iliyopunguzwa sambamba.

Mfano huu unaonyesha kwamba FRA inaweza kupunguza sana hypergraph ndogo iliyodhibitiwa. Hata hivyo, haijathibitishwa kwamba uwiano uleule wa kupunguza utapatikana katika modeli zote za mitandao ya Petri au kwamba utapunguza muda wa ukokotoaji kwa kiwango maalum katika mitandao mikubwa.

Transversal, exact transversal na XTREC

Transversal ni uteuzi wa hypernodes unaokidhi mahitaji ya kufunika ya hypergraph. POOH inaweza kukokotoa transversal za jumla na uteuzi unaoainishwa kama exact transversal tofauti.

Mtiririko wa XTREC hauzalishi tu hitting set yoyote; unajaribu sifa ya exact-transversal hypergraph ya hypergraph ya uteuzi. Programu inaunga mkono uchambuzi ufuatao:

• Kuunda orodha ya transversal,
• Kuchagua exact transversal,
• Kukagua sifa ya XT au 1-exact,
• Kuchunguza spectrum ya c-exact,
• Kutathmini sifa ya r-exact chini ya kizingiti kilichowekwa,
• Kulinganisha matokeo kabla na baada ya FRA.

Njia ya utekelezaji ya CPU hutumiwa kama chaguo msingi katika mazingira yote ya kisasa. Kivinjari na vifaa vinapounga mkono utendaji wa WebGPU, baadhi ya shughuli nzito zinaweza kuhamishwa kwenye njia iliyoharakishwa. WebGPU isipopatikana, programu hurudi kwenye njia sambamba ya utekelezaji na huripoti modi iliyoombwa pamoja na modi iliyotumika kwa kweli.

Upangaji wa `(max,+)` na moduli fuzzy ya Takagi–Sugeno

Moduli ya `(max,+)`/Fuzzy katika kurasa za 8. na 20. inalenga kuzalisha matokeo ya upangaji wa ndani na udhibiti fuzzy kutoka katika utenganishaji wa kimuundo. Katika kiolesura cha mtumiaji, hatua za Petri, XT, sehemu ya state-machine, max-plus na Takagi–Sugeno zinaonyeshwa katika tab tofauti.

Moduli ina aina zifuatazo za ingizo:

• Kiwango cha alpha-cut na hatua ya scan kwa fuzzy exact-transversal,
• Ucheleweshaji wa kawaida wa place na ramani ya ucheleweshaji mahususi kwa place,
• Uzito wa concurrency, conflict-free, time, coupling na reconfiguration,
• Vizingiti vya coupling au max-plus,
• Vigezo vya utafiti kama upeo wa majaribio wa MPC.

Lengo ni kutoa antecedents za sheria kutokana na descriptors za kimuundo kama concurrency, conflict, coupling, scheduling na reconfiguration badala ya kuandika kwa mkono msingi mzima wa sheria fuzzy. Hata hivyo, utafiti haujapima mafanikio ya closed-loop control ya sheria hizi katika kituo halisi cha viwandani. Matokeo yanayozalishwa katika v1.0.0 ni artefact za utafiti, ulinganisho na utoaji ripoti.

Usanifu wa programu

Mchoro wa usanifu katika kurasa za 4. na 22. hugawanya programu katika tabaka tano za kiufundi:

Lengo muhimu la mchakato wa kuimarisha v1.0.0 ni kuhamisha mantiki ya algoriti kutoka kwa kidhibiti kikubwa cha kivinjari kwenda kwenye moduli zinazoweza kupimwa za src/core/. Makala inaeleza wazi kwamba mpito huu bado unaendelea na kwamba baadhi ya mantiki inayohusiana na kiolesura cha mtumiaji bado ipo katika kidhibiti kikubwa cha kivinjari.

Miundombinu ya uwezo wa kurudiwa

Hazina inajumuisha vipengele vifuatavyo kwa lengo la kurudia mtiririko mkuu wa kazi katika makala ya programu:

• Mifano deterministic ya PNH na matokeo rejea yanayotarajiwa,
• Majaribio ya unit na integration ya Node.js,
• Majaribio ya kivinjari ya Chromium yanayotegemea Playwright,
• Ukaguzi wa uingizaji usio halali,
• Majaribio ya mtiririko wa P-invariant, hypergraph ya uteuzi na XTREC,
• Majaribio ya synthesis ya data ya SFC/max-plus,
• Rekodi ya modi ya utekelezaji ya CPU/WebGPU,
• Zana za kusafirisha ripoti za CSV na LaTeX.

Amri kuu za reviewer zinazopendekezwa katika makala ni:

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

Kwa majaribio ya smoke ya kivinjari pia:

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

amri zimetolewa. Amri hizi ni mtiririko wa reviewer ulioripotiwa na utafiti; wakati preprint iliyopakiwa ilipotathminiwa, jaribio tofauti la kusakinisha na kuendesha halikufanywa.

Mifano mitatu inayoweza kurudiwa

Mifano imewekwa midogo kwa makusudi. Hii hurahisisha kukagua matokeo kwa mkono, lakini haitoi ushahidi kuhusu utendaji na matumizi ya kumbukumbu katika modeli kubwa za viwandani.

Michoro inaonyesha nini?

• Mchoro 1: Usanifu wa programu unaojumuisha kivinjari, Web Worker, moduli kuu, visaidizi vya seva na tabaka za uwezo wa kurudiwa.
• Mchoro 2: Paneli iliyounganishwa ya uchambuzi ambapo P-invariants na hypergraph ya uteuzi hukokotolewa baada ya mtandao wa Petri kupakiwa.
• Mchoro 3: Kupunguzwa kwa hypergraph yenye 7 × 7 na incidence 21 kabla ya FRA hadi 3 × 3 na incidence tatu baada ya FRA.
• Mchoro 4: Kihariri cha hypergraph cha mwongozo chenye hyperedges za rangi, zana za transversal na ukaguzi wa XT/c-exact/r-exact.
• Mchoro 5: Moduli ya utafiti yenye upangaji wa max-plus wa ndani, alpha-cut na vigezo vya kutengeneza sheria za Takagi–Sugeno za kimuundo.
• Mchoro 6: Paneli ya benchmark inayoonyesha profiling ya maktaba ya PNH, uteuzi wa mfano wakilishi, nyakati za CPU/WebGPU na modi ya utekelezaji iliyotumika.

Matokeo yanayoungwa mkono na utafiti

• Imeonyeshwa kwamba uchambuzi wa mtandao wa Petri na uchambuzi wa hypergraph ya uteuzi unaweza kuunganishwa katika mazingira yale yale ya kivinjari.
• Mkondo mmoja wa utafiti umetolewa kwa hatua za P-invariants, sehemu za state-machine, FRA, transversal na XTREC.
• Hypergraph za kinadharia zisizofungamana na mtandao wa Petri zinaweza kuchorwa na kuchambuliwa kwa mkono.
• Programu imechapishwa pamoja na mifano midogo deterministic, matokeo yanayotarajiwa na majaribio ya kivinjari.
• Njia ya WebGPU inaweza kutumika kweli inapopatikana, na modi ya fallback inaweza kuripotiwa isipoungwa mkono.
• Njia ya majaribio imeundwa kwa kuzalisha artefact za max-plus na sheria fuzzy kutoka matokeo ya utenganishaji wa kimuundo.
• Toleo la v1.0.0 la programu limeandaliwa kama snapshot ya utafiti yenye leseni ya MIT, msimbo unaopatikana na inayoweza kunukuliwa kitaaluma.

Matokeo ambayo utafiti haujathibitisha

• Haijaonyeshwa kwamba POOH ni ya haraka au sahihi kuliko zana zote za uchambuzi wa mitandao ya Petri.
• Haijaonyeshwa kwamba WebGPU hutoa kuongeza kasi kwenye mifano midogo; katika majaribio yaliyoripotiwa njia ya GPU ni polepole zaidi.
• Uwezo wa kuongezeka kwa muda wa ukokotoaji na kumbukumbu katika mifumo mikubwa ya uzalishaji haujathibitishwa.
• Haijaonyeshwa kwamba utenganishaji unaozalishwa unaweza kuhamishwa kiotomatiki kwenye PLC au controller ya viwandani ya safety-critical.
• Utendaji wa closed-loop wa matokeo ya max-plus na Takagi–Sugeno katika mchakato halisi haujapimwa.
• Hakuna msaada wa PNML katika toleo la v1.0.0.
• Programu haijapitia uthibitishaji huru au certification ya usalama.
• Matokeo ya benchmark katika mazingira ya vifaa na kivinjari kimoja hayawezi kujumlishwa kwa GPU na mifumo ya uendeshaji tofauti.

Mbinu na Matokeo ya Utafiti

Muundo wa utafiti

Chapisho hili si utafiti wa kawaida unaojumuisha washiriki, uwanja au jaribio la kimwili la udhibiti. Mbinu inategemea kufafanua usanifu wa programu, kuwasilisha moduli za kazi, kuendesha mifano midogo deterministic, kueleza miundombinu ya majaribio ya kiotomatiki na kupima njia za utekelezaji za CPU–WebGPU.

Uthibitishaji umeshughulikiwa katika ngazi nne:

1. Uthibitishaji wa kazi za kimuundo: Uingizaji wa PNH, P-invariant, hypergraph ya uteuzi, FRA na XTREC.
2. Mifano inayoweza kurudiwa: Mitandao mitatu midogo ya Petri na matokeo rejea yanayotarajiwa.
3. Majaribio ya programu ya kiotomatiki: Node.js, Playwright na amri za continuous integration.
4. Benchmark ya njia ya utekelezaji: Ulinganisho wa CPU na njia halisi ya WebGPU kwenye mifano hiyo midogo.

Metadata ya programu

Mbinu ya kulinganisha CPU na WebGPU

Kwenye mifano mitatu midogo ya umma, ukokotoaji wa P-invariant wa Martinez–Silva na ukaguzi wa XTREC ulipimwa. Kila usanidi wa CPU/CPU na WebGPU/WebGPU ulirudiwa mara kumi. Utafiti unaripoti jumla ya utekelezaji 120 uliofanikiwa.

Mfumo wa majaribio:

• MacBook Pro yenye processor ya Apple M5,
• 10 CPU cores,
• 24 GB ya unified memory,
• macOS 27.0 beta 3,
• Google Chrome 150.

Uwiano wa kasi unaelezwa kwa kugawa muda wa CPU kwa muda wa WebGPU:

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

Thamani ndogo kuliko moja zinaonyesha kwamba njia ya WebGPU ilichukua muda mrefu kuliko CPU.

Matokeo ya benchmark

Katika ulinganisho wote sita utekelezaji wa CPU ni wa haraka zaidi. Katika ukokotoaji wa Martinez–Silva, muda wa WebGPU ni takriban mara 7,7–10,8 ya muda wa CPU; katika XTREC ni takriban mara 9–18. Watafiti wanaeleza hali hii kwa gharama ya kuanzisha GPU na kuhamisha data kuwa kubwa kuliko ukokotoaji wenyewe katika matatizo madogo.

Matokeo haya yanaunga mkono kwamba njia ya msimbo wa WebGPU inafanya kazi kweli na kwamba modi ya utekelezaji inaweza kurekodiwa. Hayathibitishi kwamba GPU itatoa kuongeza kasi kwenye modeli kubwa. Kwa hilo, zinahitajika majaribio ambapo ukubwa wa tatizo unaongezwa kwa utaratibu, uhamishaji wa kumbukumbu unapimwa tofauti na GPU mbalimbali zinalinganishwa.

Upeo wa majaribio ya programu

Jaribio la smoke la kivinjari huendesha mfululizo wa shughuli zifuatazo:

• Kuanzisha programu ya ndani ya PHP,
• Kuingiza mfano wa PNH unaoweza kurudiwa,
• Kukokotoa P-invariants,
• Kuunda na kuchora hypergraph ya uteuzi,
• Kuendesha XTREC,
• Kusanisi data ya SFC/max-plus,
• Kukagua uingizaji wa faili usio halali,
• Kuripoti metadata ya CPU/WebGPU.

Majaribio haya yanafaa kuzuia mtiririko wa kazi kuvunjika kati ya matoleo ya programu. Hata hivyo, kukamilika kwa mafanikio kwa jaribio la kiotomatiki hakumaanishi kwamba algoriti zote za kinadharia zilizotekelezwa zimethibitishwa kihisabati kwa kujitegemea.

Nguvu

• Kuunganisha uchambuzi wa mtandao wa Petri na hypergraph katika kiolesura kimoja.
• Kutoa matokeo ya kati kwa namna ya kuona na ya namba kwa pamoja.
• Kuonyesha moja kwa moja ulinganisho wa kabla na baada ya FRA.
• Kuunga mkono pamoja mtiririko wa uundaji wa kiotomatiki na wa hypergraph ya kinadharia ya mwongozo.
• Kutenganisha algoriti kuu katika moduli za JavaScript zinazoweza kupimwa.
• Kutoa mifano deterministic, matokeo yanayotarajiwa na majaribio ya kivinjari.
• Kurekodi tofauti modi ya GPU iliyoombwa na iliyotumika kweli.
• Kutoa artefact ya utafiti ya chanzo huria, yenye leseni ya MIT na yenye matoleo.
• Kutoa wazi matamko ya ufadhili, mgongano wa maslahi na matumizi ya akili bandia zalishi.

Mapungufu na kutokulingana kwa matoleo

• Utafiti ni preprint ambayo haijapitiwa na wenzao.
• Mifano ya benchmark ina places na transitions mbili hadi nne tu.
• Vipimo vimezuiliwa kwa kompyuta moja, mfumo mmoja wa uendeshaji na usanidi mmoja wa kivinjari.
• Hakuna jaribio la modeli kubwa, matumizi ya kumbukumbu au matumizi ya muda mrefu lililotolewa.
• Hakuna ulinganisho wa usahihi au utendaji uliofanywa na zana nyingine za mitandao ya Petri.
• Workbook ya benchmark haikutolewa pamoja na hati iliyopakiwa.
• Katika picha za skrini nzima lebo ya toleo la beta inaonekana, huku tathmini ikihusishwa na toleo la v1.0.0.
• Maelezo ya Zenodo DOI katika faili ya GitHub README hayakusasishwa wakati mmoja na taarifa ya toleo lililohifadhiwa katika makala.
• Metadata rasmi ya citation ya programu ina mwandishi mmoja wa programu, huku makala ina waandishi wawili; uandishi wa programu na wa makala unapaswa kutajwa tofauti.
• Msaada wa PNML haupo katika v1.0.0 bali katika mkondo wa maendeleo wa baadaye.
• Si maktaba zote za PNH za wahusika wengine zilizojumuishwa katika toleo la umma kwa sababu ya hali ya leseni.
• Njia ya max-plus na Takagi–Sugeno iko katika hatua ya mwanzo na haina uthibitishaji wa viwandani.
• Si mantiki yote iliyobaki ya kiolesura cha mtumiaji imehamishwa kwenye moduli kuu zinazoweza kutumika tena.
• Hakuna certification au uchambuzi wa hazard kwa matumizi ya viwandani ya safety-critical.

Hatua zinazopendekezwa za uthibitishaji nchini Uturuki

1. Kuandaa mkusanyiko wa mifano ya mitandao ya Petri kwa Kituruki kwa ushirikiano wa chuo kikuu na viwanda.
2. Kukusanya modeli za PNH au PNML zilizofichwa utambulisho kutoka mistari halisi ya uzalishaji.
3. Kuthibitisha uingizaji na usafirishaji wa PNML katika toleo thabiti.
4. Kulinganisha matokeo na zana za uhandisi za PLC na SFC.
5. Kufanya majaribio ya scaling ya muda na kumbukumbu kwenye modeli zenye mamia na maelfu ya place-transition.
6. Kufanya ulinganisho wa WebGPU kwenye GPU tofauti za NVIDIA, AMD, Intel na Apple.
7. Kufanya cross-validation ya transversal zilizokokotolewa na maktaba huru za hypergraph.
8. Kujaribu modeli zinazozalishwa za max-plus na Takagi–Sugeno katika majaribio ya kimwili au hardware-in-the-loop.
9. Kuandaa kiolesura cha Kituruki, mwongozo wa kufundishia na karatasi za maabara za mfano.

Maelezo ya Chanzo na Mbinu

Jina kamili la asili la utafiti: POOH: A research software platform for Petri-net-based concurrent control systems and XT/R-exact hypergraph decomposition

Waandishi: Łukasz Stefanowicz; Marcin Witczak.

Mpangilio wa waandishi: Łukasz Stefanowicz ni mwandishi wa kwanza, Marcin Witczak ni wa pili.

Mwandishi mwenza wa kwanza: Hakuna tamko la mchango sawa au uandishi mwenza wa kwanza katika toleo lililochunguzwa.

Mwandishi anayewajibika: Łukasz Stefanowicz. Alama ya nyota kwenye jina la mwandishi na anwani ya mawasiliano ya taasisi inaonyesha mwandishi anayewajibika.

Taasisi:

• Ł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 ya makala:10.2139/ssrn.7193125

Jarida: Utafiti umeandaliwa katika muundo wa makala ya programu ya utafiti ya SoftwareX na maandishi yanatumia msemo “SoftwareX release”. Hata hivyo, rekodi iliyochapishwa ya SoftwareX yenye mchakato wa mapitio uliokamilika au DOI ya jarida haipo katika toleo lililochunguzwa.

Mchapishaji: Hakuna taarifa ya mwisho ya mchapishaji wa jarida iliyothibitishwa.

Jukwaa la uchapishaji: SSRN.

Mwaka wa uchapishaji: 2026.

Aina ya chanzo: Preprint ya programu ya utafiti inayojumuisha msimbo wa chanzo huria, mifano, miundombinu ya majaribio, majaribio madogo ya benchmark na nyenzo za uwezo wa kurudiwa.

Hali ya mapitio: Utafiti haujapitiwa na wenzao.

Rekodi rasmi ya makala:Ukurasa wa utafiti wa SSRN.

Jina kamili la programu: POOH — Power Objects of Hypergraphs.

Toleo la programu lililohifadhiwa: v1.0.0.

Tarehe ya toleo: 13 Julai 2026.

Msimbo wa chanzo:Mti wa toleo la GitHub v1.0.0.

DOI ya toleo la programu:10.5281/zenodo.21341387.

DOI ya dhana ya programu:10.5281/zenodo.21341386. DOI ya dhana imeelezwa kuelekeza kwenye matoleo yote yaliyohifadhiwa.

Leseni ya programu: MIT License.

Lugha na zana za programu: JavaScript, PHP, HTML, CSS/SVG, Web Workers, Node.js, Playwright na uharakishaji wa hiari wa kivinjari wa WebGPU/WebGL.

Mahitaji ya usakinishaji: PHP 8.1 au zaidi, Node.js 18 au zaidi, npm na kivinjari cha kisasa. Playwright/Chromium hutumiwa kwa majaribio ya kivinjari.

ORCID: Taarifa za ORCID hazipo katika sehemu ya waandishi ya preprint iliyochunguzwa.

Ufadhili: Watafiti wameeleza kwamba hakuna ruzuku maalum iliyopokelewa kutoka kwa mashirika ya ufadhili ya umma, kibiashara au yasiyo ya faida.

Mgongano wa maslahi: Waandishi wametangaza kwamba hakuna maslahi ya kifedha yanayojulikana au mahusiano binafsi ambayo yanaweza kuathiri utafiti.

Tamko la akili bandia zalishi: Watafiti wameeleza kwamba walitumia OpenAI ChatGPT na Codex kusaidia nyaraka za programu, mpangilio wa makala na rasimu ya lugha; walipitia na kuhariri maudhui na wanabeba wajibu wa mwisho.

Upatikanaji wa data na programu: Msimbo wa chanzo, nyaraka, mifano na script za uwezo wa kurudiwa zinapatikana katika toleo la umma la GitHub v1.0.0. Maktaba za PNH za wahusika wengine hazijajumuishwa katika artefact ya umma hadi ruhusa za kusambaza upya zithibitishwe.

Faili saidizi ya benchmark: Makala inaeleza kwamba workbook inayofupisha utekelezaji 120 uliofanikiwa imetolewa kama nyenzo saidizi. Kwa kuwa workbook hii haikuwapo kati ya faili zilizopakiwa, haikuchunguzwa kwa kujitegemea.

Maelezo haya ya Kiswahili yameandaliwa baada ya kuchunguza maandishi, majedwali, usanifu wa programu, skrini za kiolesura, michoro ya hypergraph, ulinganisho wa FRA, matokeo ya benchmark na marejeo ya utafiti wa kurasa 22 uliopakiwa. Hakuna matokeo mapya ya utendaji kutoka nje ya utafiti yaliyoingizwa kwenye maudhui ya kisayansi na kiufundi. Vyanzo vya nje vilitumiwa tu kwa uthibitishaji wa kibibliografia wa uhusiano wa taasisi wa waandishi, rekodi ya makala ya SSRN na metadata rasmi ya GitHub v1.0.0.

POOH v1.0.0 ni programu ya kisayansi ya hatua za mwanzo inayowasaidia watafiti kurudia majaribio ya mitandao ya Petri na utenganishaji wa hypergraph. Matokeo ya benchmark hayaonyeshi ubora wa kuongeza kasi kwa GPU, na matokeo ya `(max,+)` na udhibiti fuzzy hayatengenezi controllers zilizothibitishwa katika mitambo ya kimwili. Matumizi ya programu katika mifumo halisi ya uzalishaji yanahitaji majaribio ya modeli kubwa zaidi, uthibitishaji huru wa algoriti, miundo ya data ya kiwango, uchambuzi wa usalama na majaribio ya uwanjani.