Petri tīkli

Ievads.
Petri tīkls (pazīstams arī kā vietas / Pārejas perioda tīkls) ir viena no vairākām matemātiskās modelēšanas valodas, lai aprakstītu izplatīšanas sistēmas. Tas ir abstrakta oficiālu modeļu informācijas plūsma. Īpašības, koncepcijas un metodes ar Petri tīkliem tiek uzlabotas meklējot dabīgas, vienkāršas un spēcīgas metodes, lai aprakstītu un analizētu informācijas plūsmu un kontroli sistēmā, it īpaši sistēmas, kas var eksponēt asinhronā un līdztekus veicamajā darbībā. Galvenais Petri tīklu izmantošana ir sistēmu notikumu modelēšana, kas iespējami notikt vienlaicīgi vienlaicīgi, taču ir ierobežojumi attiecībā uz piekrišanu, prioritāti vai biežumu šo notikumu. Petri tīkls ir vērsts divpusējs grafiks, kurā mezgliem ir pārejas, tas ir, notikumi, kas var rasties (apzīmēti ar taisnstūriem) un vietas, tas ir, nosacījumi (apzīmēti ar apļiem). Vērstu loku veidā apraksta, kādi vietām ir pirms un /vai pēc apstākļu nosacījumi, kur pārejas apzīmē ar bultiņām. Tāpat kā tas ir tādiem nozares standartiem kā UML darbības diagrammām, BPMN un EPCs, Petri tīkli piedāvā grafisko apzīmējumu pakāpeniskai procesu analīzei, kas ietver izvēles, iterācijas, un vienlaicīgu izpildi. Atšķirībā no šiem standartiem, Petri tīkliem ir precīza matemātiska definīcija to izpildes semantikai, ar labi attīstītu matemātisku teoriju procesa analīzei.
…