Հեղինակի գրքերը (1)
Ինֆորմատիկա
Պետրիի ցանցերի և նրանց ընդհանրացումների մոդելավորման հնարավորությունները
Այս աշխատանքը նվիրված է Պետրիի ցանցերի և դրանց ընդհանրացումների մոդելավորման հնարավորությունների ուսումնասիրությանը՝ որպես դիսկրետ իրադարձային համակարգերի վերլուծության և նախագծման հզոր մաթեմատիկական գործիք, որը լայն կիրառություն ունի ինֆորմացիոն տեխնոլոգիաներում, արտադրական գործընթացներում, ցանցային համակարգերում և բիզնես գործընթացների մոդելավորման մեջ։ Հետազոտության շրջանակում ներկայացվում են Պետրիի ցանցերի հիմնական տարրերը՝ տեղերը, անցումները և նշանները, ինչպես նաև դրանց դինամիկ վարքագծի կանոնները, որոնք թույլ են տալիս նկարագրել զուգահեռություն, սինխրոնացում և ռեսուրսների բաշխում բարդ համակարգերում։ Առանձնահատուկ ուշադրություն է դարձվում ընդհանրացված մոդելներին՝ գունավոր Պետրիի ցանցերին, ժամանակային և ստոխաստիկ ընդլայնումներին, որոնք հնարավորություն են տալիս մոդելավորել իրական համակարգերի ավելի բարդ և անորոշ վարքագծերը՝ ներառելով ժամանակային սահմանափակումներ և հավանականային անցումներ։ Վերլուծվում են նաև մոդելավորման և վերլուծության մեթոդները՝ հասանելիության, կենդանության, փակուղիների և արդյունավետության գնահատման տեսանկյունից, ինչպես նաև գործիքային միջավայրերը, որոնք աջակցում են Պետրիի ցանցերի կիրառական օգտագործմանը։ Աշխատությունը ընդգծում է, որ Պետրիի ցանցերը և դրանց ընդհանրացումները կարևոր դեր ունեն բարդ համակարգերի ֆորմալ ստուգման, օպտիմալացման և ավտոմատացված վերլուծության մեջ՝ ապահովելով բարձր ճշգրտություն և տեսական հիմնավորվածություն մոդելավորման գործընթացներում:
Թարմացվել է՝ 2026-06-15