Петри нет
Petri net бол дискрет хуваарилалтын системийн тодорхойлолтод зориулсан математик загварчлалын хэлүүдийн нэг юм. Petri net нь transition-ыг илэрхийлэх зангилаа (зэрэгцээ шугамуудаар тохиолдлыг), place (дугуйгаар нөхцөл байдлыг), arc –аар холбогдох (сумаар илэрхийлэгдэх нөхцөлүүдийг зэрэгцээ шугамын холболт) гэсэн үндсэн бүрэлдэхүүн хэсэгтэй. Petri net –ийг Карл Адам Петри 13 насандаа химийн процессийг дүрслэх зорилготойгоор 1939 оны 8 сард нээсэн.
UML үйл ажиллагааны диаграм, BPMN болон EPC гэх мэт салбарын стандартууд шиг Petri net нь сонголт, давталт, гүйцэтгэл зэрэг процессүүдийг агуулсан алхамуудыг графикаар харуулдаг. Эдгээр стандартаас ялгаатай нь Petri net нь процессийн шинжилгээнд зориулсан сайтар хөгжүүлсэн математикийн онол дээр тулгуурласан математик томьёоны тодорхойлолттой.
Аркууд нь плаэсаас транзишн, транзишнээс плаэс хооронд холбоно. Харин плаэс хооронд эсвэл транзишн хооронд холбогдохгүй. Оролт болон гаралтын транзишн байдаг.
Плаэс нь сөрөг утгатай тоо авахгүй. Тэмдгийн хуваарилалт нь олонлогийн хувьд маркинг буюу дугаарлалт гэж нэрлэнэ. Петри нетийн транзишн бүх оролтын аркын төгсгөлд тэмдэглэгээ бүр нь асдаг(fire), асах үедээ эдгээр тэмдэглэгээ тавигдана, бүх гаралтын аркуудын төгсгөлд плаэсүүдийг тэмдэглэнэ.
Петри нетийн гүйцэтгэл тийм ч тодорхой бус байдаг. Маш олон тразишн яг нэг дор идэвхижвэл тэдгээрийн аль нэг нь асна. Хэрвээ транзишн идэвхижвэл тэр асна гэхдээ шаардлагагүй. Асалт нь тодорхойгүйгээс хойш, олон тэмдэгтүүд олонлогийн аль нэг газар, нэг газар ч гэсэн гарч ирж болдог. Петри нет нь хуваарилалтын системийн харилцан үйлчлэх зан төлвийг загварчлахад илүү тохирно.
Албан ёсны тодорхойлолт ба үндсэн нэр томьёо
Дараах албан ёсны тодорхойлолт нь 1981онд Peterson гаргасан. Маш олон сонголтын тодорхойлолтууд байдаг.
- S is a finite set of places
- T is a finite set of transitions
- S and T are disjoint, i.e. no object can be both a place and a transition
No comments:
Post a Comment