scholarly journals Modeling and Analysis of Network Control System Based on Hierarchical Coloured Petri Net and Markov Chain

2021 ◽  
Vol 2021 ◽  
pp. 1-11
Author(s):  
Jingdong Li ◽  
Zhangang Wang ◽  
Liankun Sun ◽  
Wanru Wang

This paper investigates a modified modeling of networked control systems (NCSs) with programmable logic controller (PLC). First, the controller-to-actuator and sensor-to-controller network-induced delays are investigated by a modeling tactics based on hierarchical coloured petri net (HCPN) in a structure-conserving way. Comparing with the recent result, the signal transmission delay is set in a random interval instead of a fixed mode; moreover, the data packet drop out and disorder are also taken into consideration. Second, delays captured form CPN tools are analyzed with a strategy based on Baum–Welch algorithm and statistics science. Besides, time delays are modeled as a Markov chain and the transition probabilities is calculated using the consequent from the previous operation. Finally, a comparison verification illustrates the equivalence property between proposed models.


2020 ◽  
Vol 26 (1) ◽  
Author(s):  
K.C. Olufokunbi ◽  
O.D. Ninan ◽  
O.A. Odejobi

E-wastes generation and management is still a major challenge for most developing countries. This paper discusses the development of a computational model for effective generation, accumulation and disposal of e-waste. This is with a view to providing information for managing the pattern of the e-waste growth and the recycling processes. Coloured Petri net (CPN) was used to model three selected e-waste recycling process. These models were simulated and analysed using the CPN Tools. The results of the simulation of the selected ewaste process models showed that the e-waste dynamics is a forward sequential and concurrent process. The model never can reach a state, which it is impossible to terminate with the correct result.Keywords: E-waste, Computational model, Recycling process, Simulation, State spaceVol. 26 No 1, June 2019



Author(s):  
Ion Dan MIRONESCU ◽  
Monica MIRONESCU

This paper investigates the use of the Petri Net modelling language for the description and analysis of the enzymatic reactions that are used for the starch liquefaction. The Coloured Petri Net formalism supported by the CPN Tools modelling and simulation environment is used. The pools of substrates and products are represented as the places and the possible reactions as the transition of the net. The concurrent reactions are modelled trough transitions that are enabled at the same time. The occurrence probabilities associated with each of these concurrent transitions are chosen as the model parameters. The analysis of the specific properties of the model is used to fit the model to data from the industrial production process using the enzyme Liquozyme for the starch hydrolysis.



2015 ◽  
Vol 2015 ◽  
pp. 1-7 ◽  
Author(s):  
Yan-Feng Wang ◽  
Zu-Xin Li ◽  
Hui-Ying Chen ◽  
Li-Di Quan ◽  
Xiao-Rui Guo

The problem of state feedback control for a class of nonlinear networked control systems with time delay is discussed in this paper. The time delay is modeled as a finite state Markov chain of which transition probabilities are partly unknown. The closed-loop system model is obtained by means of state augmentation. A sufficient condition is given which guarantees the stochastic stability of the closed-loop system in the form of linear matrix inequalities and the maximum bound of the nonlinearity is also obtained. Finally, a simulation example is used to show the validity of the proposed method.



2014 ◽  
Vol 687-691 ◽  
pp. 2351-2358
Author(s):  
Shi Liao Zhang ◽  
Yi Tao Wang ◽  
Jian Zhou Mao

AACSWT is one of the most important fighting styles, and C2E is an important index to deal with saturation attack. This paper models the AACSWT command and control system based on LCPN, and simulates to get all useful datum by the CPN Tools. By analyzing the indexes of response time and throughput rate which represent the C2E, this paper gives a lot of useful advices.



2019 ◽  
Vol 31 (5) ◽  
pp. 479-490 ◽  
Author(s):  
Zhigang Su ◽  
Mengqi Qiu

In order to satisfy the requirements of International Civil Aviation Organization (ICAO) for aircraft taxi route planning in Advanced Surface Movement Guidance and Control System (A-SMGCS), an airport surface operation modelling and simulation approach based on timed and coloured Petri net is presented. According to the layout of the airport surface and the features of surface operation units, a static Petri net model of the airport surface is established. On this basis, in line with the requirements on the aircraft taxiing velocity in ICAO DOC 9830, the dynamic Petri net model of the airport surface operation is established by adding the time attribute to the static model. Additionally, the method of defining the capacity of airport operation unit place is proposed and the constraints of the airport surface operation are incorporated using Petri net elements. Unlike other papers in the field, the airport surface Petri net model established in this paper can simulate conflict-free taxiing using a Petri net simulator without relying on other model-independent algorithms. Based on the CPN Tools software, taking Toulouse Airport as an example, the validity of the model has been verified by comparing the model running data with real flight data.



Author(s):  
R. Jamuna

CpG islands (CGIs) play a vital role in genome analysis as genomic markers.  Identification of the CpG pair has contributed not only to the prediction of promoters but also to the understanding of the epigenetic causes of cancer. In the human genome [1] wherever the dinucleotides CG occurs the C nucleotide (cytosine) undergoes chemical modifications. There is a relatively high probability of this modification that mutates C into a T. For biologically important reasons the mutation modification process is suppressed in short stretches of the genome, such as ‘start’ regions. In these regions [2] predominant CpG dinucleotides are found than elsewhere. Such regions are called CpG islands. DNA methylation is an effective means by which gene expression is silenced. In normal cells, DNA methylation functions to prevent the expression of imprinted and inactive X chromosome genes. In cancerous cells, DNA methylation inactivates tumor-suppressor genes, as well as DNA repair genes, can disrupt cell-cycle regulation. The most current methods for identifying CGIs suffered from various limitations and involved a lot of human interventions. This paper gives an easy searching technique with data mining of Markov Chain in genes. Markov chain model has been applied to study the probability of occurrence of C-G pair in the given   gene sequence. Maximum Likelihood estimators for the transition probabilities for each model and analgously for the  model has been developed and log odds ratio that is calculated estimates the presence or absence of CpG is lands in the given gene which brings in many  facts for the cancer detection in human genome.



Sign in / Sign up

Export Citation Format

Share Document