Какво означава Петровци?

Петровци
Пèтровци е село в Северна България, община Габрово, област Габрово.

Петра
Петра (на арабски: البتراء‎ – ал-Батра́; на старогръцки: Πέτρα) е древен град в днешна Йордания, столица на набатеите. Разположен е в естествено укрепената планинска долина Вади Муса („Долината на Мойсей“) на източния склон на Уади Араба, на кръстопътя на главните търговски маршрути – към Газа на запад, Бостра и Дамаск на север, Ейлат на Червено море и Персийския залив от другата страна на пустинята. Непознат на западния свят в продължение на стотици години, розовочервеникавият град Петра някога процъфтявал като важна точка от древните търговски маршрути. Той е обграден от високи планини и е достъпен през тясно дефиле, а забележителните му, изсечени в скалите сгради са запазени непокътнати. На 6 декември 1985 Петра е включена Списъка на световното културно и природно наследство на ЮНЕСКО.

Мрежа на Петри
Мрежите на Петри (на английски: Petri net) задават един от няколкото езика за математическо моделиране и описание на дискретни разпределени системи. Мрежата на Петри е ориентиран двуделен (двуцветен) граф, чиито възли представляват: преходи (transitions), т.е. дискретни събития, които могат да настъпят, позиции (places), т.е. условия, и насочени (ориентирани) дъги, които описват кои позиции за кои преходи са пред и/или пост-условия.Мрежите на Петри са дефинирани през 1962 година от Карл-Адам Петри. Подобно на индустриални стандарти като UML-диаграмите, Business Process Modeling Notation и Event-driven process chain, появили се доста по-късно, мрежите на Петри предлагат графична нотация на постъпкови процеси, съдържащи избор, итерация и паралелно изпълнение. За разлика от тези стандарти, мрежите на Петри имат точна математическа дефиниция на семантиката на изпълнението си, с добре разработена математическа теория за анализ на процесите.