Modular Petri net based modeling, analysis and synthesis of dedicated production systems

2004 ◽  
Author(s):  
G.J. Tsinarakis ◽  
K.P. Valavanis ◽  
N.C. Tsourveloudis
Keyword(s):  
Petri Net ◽  
Production Systems ◽  
Modeling Analysis ◽  
Analysis And Synthesis

Shellshock Bash Vulnerability Modeling Analysis Based on Petri Net

2021 ◽  
Author(s):  
Liumei Zhang ◽  
Xi Deng ◽  
Yichuan Wang
Keyword(s):  
Petri Net ◽  
Modeling Analysis

Some Possibilities of Modeling Colored Petri Nets

2021 ◽  
pp. 77-91
Author(s):  
Goharik Petrosyan ◽  
Armen Gaboutchian ◽  
Vladimir Knyaz
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Optimal Allocation ◽  
Production Systems ◽  
Oriented Graph ◽  
Discrete Systems ◽  
Colored Petri Nets ◽  
Venn Diagram ◽  
Colored Petri Net ◽  
Language Class

Petri nets are a mathematical apparatus for modelling dynamic discrete systems. Their feature is the ability to display parallelism, asynchrony and hierarchy. First was described by Karl Petri in 1962 [1,2,8]. The Petri net is a bipartite oriented graph consisting of two types of vertices - positions and transitions connected by arcs between each other; vertices of the same type cannot be directly connected. Positions can be placed by tags (markers) that can move around the network. [2] Petri Nets (PN) used for modelling real systems is sometimes referred to as Condition/Events nets. Places identify the conditions of the parts of the system (working, idling, queuing, and failing), and transitions describe the passage from one state to another (end of a task, failure, repair...). An event occurs (a transition fire) when all the conditions are satisfied (input places are marked) and give concession to the event. The occurrence of the event entirely or partially modifies the status of the conditions (marking). The number of tokens in a place can be used to identify the number of resources lying in the condition denoted by that place [1,2,8]. Coloured Petri nets (CPN) is a graphical oriented language for design, specification, simulation and verification of systems [3-6,9,15]. It is in particular well-suited for systems that consist of several processes which communicate and synchronize. Typical examples of application areas are communication protocols, distributed systems, automated production systems, workflow analysis and VLSI chips. In the Classical Petri Net, tokens do not differ; we can say that they are colourless. Unlike standard Petri nets in Colored Petri Net of a position can contain tokens of arbitrary complexity, such as lists, etc., that enables modelling to be more reliable. The article is devoted to the study of the possibilities of modelling Colored Petri nets. The article discusses the interrelation of languages of the Colored Petri nets and traditional formal languages. The Venn diagram, which the author has modified, shows the relationship between the languages of the Colored Petri nets and some traditional languages. The language class of the Colored Petri nets includes a whole class of Context-free languages and some other classes. The paper shows modelling the task synchronization Patil using Colored Petri net, which can't be modeled using well- known operations P and V or by classical Petri network, since the operations P and V and classical Petri networks have limited mathematical properties which do not allow to model the mechanisms in which the process should be synchronized with the optimal allocation of resources.

scholarly journals Indicators of economic risks in the indicator system of the Russian financial market: dynamics and role in ensuring the country’s economic security

2020 ◽  
Vol 13 (2) ◽  
pp. 69-78
Author(s):  
T. I. Demidenko ◽  
Yu. S. Zharkova ◽  
E. I. Brichka
Keyword(s):  
Financial Market ◽  
Large Scale ◽  
Indicator System ◽  
Economic Security ◽  
Economic Life ◽  
Theoretical Level ◽  
Modeling Analysis ◽  
Analysis And Synthesis ◽  
Economic Risks

The need to ensure economic security in the context of globalization is based on the stable and safe development of all spheres of society. The financial market is the most large–scale and vulnerable area of the economic life of society, in this regard, it is relevant to study the threats affecting the activities of entities in the financial market, namely the role of economic risks in the financial market as an element of ensuring the country’s economic security. The methodological instruments of the work is based on the use of general methods of scientific knowledge, used both at the empirical and theoretical level: comparison, abstraction, modeling, analysis and synthesis. The article analyzes the risk factors of the Russian financial market since 2014, which allowed us to draw conclusions and formulate possible measures to reduce risks in the financial market that can expand the country’s economic security.

Optimization of Assembly Production Based on Imitation of Petri Nets

2021 ◽  
pp. 133-146
Author(s):  
A.N. Sochnev
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Production Systems ◽  
Significant Degree ◽  
Practical Significance ◽  
Optimal Planning ◽  
Binary Function ◽  
Typical Situation ◽  
Branched Structure ◽  
Assembly Production

The paper describes the approach to solving the problem of optimal planning of the production process. A discrete production system represented by the operations of machining, welding and painting was chosen as the object of research. The study states the problem of optimization of assembly production, which contains a typical criterion of optimality. A mechanism for meeting the criterion using a simulation model based on a Petri net is determined. The rules for developing feedback on the state of the network model and a method for controlling the simulation of the Petri net based on the analysis of its states are given. A binary function is used to analyze the states of the model. The developed approach to process optimization develops the theory of Petri nets, makes it more suitable for modeling complex systems with a branched structure and a large number of interconnections, which is a typical situation for production systems. The most universal approaches of control theory, e.g. feedback principle, are used, which implies a significant degree of universality and replicability of the approach. On the basis of the developed theoretical provisions, a test example is presented that characterizes the effect of their application. The presence of assembly production at most mechanical-engineering enterprises determines the high practical significance of the developed approach

Spectral modeling, analysis, and synthesis of musical sounds

2002 ◽  
Vol 112 (5) ◽  
pp. 2237-2238
Author(s):  
Sylvain Marchand ◽  
Myriam Desainte‐Catherine
Keyword(s):  
Spectral Modeling ◽  
Modeling Analysis ◽  
Analysis And Synthesis ◽  
Musical Sounds
Sign in / Sign up

Export Citation Format

Share Document