Timed Petri Nets - 9781461375319

Skatinama didesnio produktyvumo, lankstumo ir konkurencingumo, šiuolaikinė civilizacija vis dažniau kuria didelio našumo diskrečiųjų įvykių dinamines sistemas (DEDS). Šios sistemos demonstruoja lygiagrečią, nuoseklią, konkurencinę veiklą tarp jų komponentų. Jie dažnai yra sudėtingi ir didelio masto, būtinai lankstūs, todėl reikalaujantys daug kapitalo. Sistemų pavyzdžiai yra gamybos sistemos, ryšių tinklai, eismo ir logistikos sistemos bei karinės vadovybės ir valdymo sistemos. Modeliavimas ir našumo vertinimas vaidina labai svarbų vaidmenį kuriant ir eksploatuojant tokius didelio našumo DEDS, todėl per pastaruosius du dešimtmečius jie sulaukė didelio mokslininkų dėmesio. Viena iš šių pastangų sukurta metodika yra pagrįsta Petri tinklais ir susijusiais grafiniais bei matematiniais įrankiais. Populiarumas, kurį Petri tinklai įgijo modeliuojant DEDS, yra susijęs su jų galingu vaizdavimo lygiagretumu ir sinchronizavimu, tačiau šios DEDS savybės negali būti lengvai išreikštos tradiciniais formalizmais, sukurtais „klasikinėms“ sistemoms su nuosekliu elgesiu analizuoti. Šioje knygoje sistemingai pristatomos Petri tinklų teorijos ir pritaikymas. Be to, jame taip pat pateikiama daug praktinių pritaikymų, be teorinių patobulinimų, naujausių tyrimų rezultatų ir pramoninių Petri tinklų pritaikymo laiko atžvilgiu. Laikini Petri tinklai: teorija ir taikymas yra skirti naudoti tyrėjams ir praktikams diskrečių įvykių dinaminių sistemų srityje.