FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3125880387> ?p ?o ?g. }

• W3125880387 endingPage "40" @default.
• W3125880387 startingPage "34" @default.
• W3125880387 abstract "Описываются основные определения дерева достижимости сетей Петри. Также рассматриваются различные примеры стохастических сетей Петри, в которых после выставления начальных маркировок в первых позициях определяются значения во всех остальных позициях. Показаны примеры определения маркировок при помощи высчитывания вектора диагональной свертки. Для каждого примера стохастической сети Петри проводится анализ данной сети. Данный анализ необходим для различных распределительных систем и процессов, особенно на заключительном этапе. Основными методами анализа являются дерево достижимости и матричные уравнения. Рассматривается один из таких методов анализа сетей Петри. С использованием дерева достижимости можно проанализировать, выявить и исправить сбои в процессах, которые могут произойти при наличии тупиковых состояний и при неправильной последовательности срабатывания переходов. Исходя из рассмотренных примеров предлагается обобщенный алгоритм построения дерева достижимости для стохастических сетей Петри. Предложенный алгоритм построения дерева достижимости стохастических сетей Петри можно применять для всех сетей как с конечным, так и с бесконечным множеством достижимости. Данный алгоритм будет являться полезным инструментом при анализе стохастических сетей Петри The article describes the basic definitions of the reachability tree of Petri nets. It also considers various examples of stochastic Petri nets, in which, after setting the initial markings in the first positions, the values in all other positions are determined. The work shows examples of determining markings by calculating the vector of the diagonal convolution. Each example of a stochastic Petri net is analyzed. This analysis is necessary for various distribution systems and processes, especially in the final stage. The main analysis methods are reachability tree and matrix equations. I consider one of such methods for analyzing Petri nets. Using the reachability tree, you can analyze, identify, and correct process failures that can occur when there are deadlocks and when transitions are fired incorrectly. Based on the examples considered, I propose a generalized algorithm for constructing a reachability tree for stochastic Petri nets. The proposed algorithm for constructing the reachability tree of stochastic Petri nets can be applied to all nets with both finite and infinite reachability sets. This algorithm will be a useful tool for analyzing stochastic Petri nets" @default.
• W3125880387 created "2021-02-01" @default.
• W3125880387 creator A5013049123 @default.
• W3125880387 date "2021-01-10" @default.
• W3125880387 modified "2023-10-14" @default.
• W3125880387 title "ALGORITHM FOR CONSTRUCTING A REACHABILITY TREE FOR STOCHASTIC PETRI NETS" @default.
• W3125880387 doi "https://doi.org/10.36622/vstu.2020.16.6.005" @default.
• W3125880387 hasPublicationYear "2021" @default.
• W3125880387 type Work @default.
• W3125880387 sameAs 3125880387 @default.
• W3125880387 citedByCount "0" @default.
• W3125880387 crossrefType "journal-article" @default.
• W3125880387 hasAuthorship W3125880387A5013049123 @default.
• W3125880387 hasConcept C113174947 @default.
• W3125880387 hasConcept C11413529 @default.
• W3125880387 hasConcept C114614502 @default.
• W3125880387 hasConcept C134306372 @default.
• W3125880387 hasConcept C136155141 @default.
• W3125880387 hasConcept C136643341 @default.
• W3125880387 hasConcept C197551870 @default.
• W3125880387 hasConcept C2777669093 @default.
• W3125880387 hasConcept C33923547 @default.
• W3125880387 hasConcept C34388435 @default.
• W3125880387 hasConcept C38677869 @default.
• W3125880387 hasConcept C41008148 @default.
• W3125880387 hasConcept C80444323 @default.
• W3125880387 hasConceptScore W3125880387C113174947 @default.
• W3125880387 hasConceptScore W3125880387C11413529 @default.
• W3125880387 hasConceptScore W3125880387C114614502 @default.
• W3125880387 hasConceptScore W3125880387C134306372 @default.
• W3125880387 hasConceptScore W3125880387C136155141 @default.
• W3125880387 hasConceptScore W3125880387C136643341 @default.
• W3125880387 hasConceptScore W3125880387C197551870 @default.
• W3125880387 hasConceptScore W3125880387C2777669093 @default.
• W3125880387 hasConceptScore W3125880387C33923547 @default.
• W3125880387 hasConceptScore W3125880387C34388435 @default.
• W3125880387 hasConceptScore W3125880387C38677869 @default.
• W3125880387 hasConceptScore W3125880387C41008148 @default.
• W3125880387 hasConceptScore W3125880387C80444323 @default.
• W3125880387 hasIssue "6" @default.
• W3125880387 hasLocation W31258803871 @default.
• W3125880387 hasOpenAccess W3125880387 @default.
• W3125880387 hasPrimaryLocation W31258803871 @default.
• W3125880387 hasRelatedWork W1500907979 @default.
• W3125880387 hasRelatedWork W1548737106 @default.
• W3125880387 hasRelatedWork W1972910911 @default.
• W3125880387 hasRelatedWork W2002058814 @default.
• W3125880387 hasRelatedWork W2016151994 @default.
• W3125880387 hasRelatedWork W2148229336 @default.
• W3125880387 hasRelatedWork W2341552178 @default.
• W3125880387 hasRelatedWork W2522627362 @default.
• W3125880387 hasRelatedWork W2890208214 @default.
• W3125880387 hasRelatedWork W4362586970 @default.
• W3125880387 isParatext "false" @default.
• W3125880387 isRetracted "false" @default.
• W3125880387 magId "3125880387" @default.
• W3125880387 workType "article" @default.