scholarly journals Airport Surface Modelling and Simulation Based on Timed Coloured Petri Net

2019 ◽  
Vol 31 (5) ◽  
pp. 479-490 ◽  
Author(s):  
Zhigang Su ◽  
Mengqi Qiu
Keyword(s):  
Petri Net ◽  
Route Planning ◽  
Modelling And Simulation ◽  
Civil Aviation ◽  
Guidance And Control ◽  
System A ◽  
Cpn Tools ◽  
Coloured Petri Net ◽  
Operation Unit ◽  
And Control

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.

Research on Command and Control Efficiency of Anti-Air Combat Using Ships and Warplanes Together Based on Layered Coloured Petri Net

2014 ◽  
Vol 687-691 ◽  
pp. 2351-2358
Author(s):  
Shi Liao Zhang ◽  
Yi Tao Wang ◽  
Jian Zhou Mao
Keyword(s):  
Control System ◽  
Response Time ◽  
Petri Net ◽  
Command And Control ◽  
Throughput Rate ◽  
Important Index ◽  
Cpn Tools ◽  
Coloured Petri Net ◽  
And Control ◽  
Command And Control System

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.

scholarly journals VILNIUS ADVANCED-SURFACE MOVEMENT GUIDANCE AND CONTROL SYSTEM (A-SMGCS) SAFETY OBJECTIVES / VILNIAUS AERODROMO AUTOMATIZUOTOS ANTŽEMINIO EISMO STEBĖJIMO IR KONTROLĖS SISTEMOS SAUGOS TIKSLŲ ANALIZĖ

Aviation ◽  
2012 ◽  
Vol 16 (4) ◽  
pp. 130-135
Author(s):  
Vaidotas Kondroška ◽  
Jonas Stankūnas
Keyword(s):  
Control System ◽  
System Analysis ◽  
Flight Safety ◽  
Frequency Of Occurrence ◽  
Surface Movement ◽  
Safety Requirements ◽  
Methods Of Determination ◽  
Guidance And Control ◽  
System A ◽  
And Control

This work reviews the innovative and progressive methods of determination and analysis of safety objectives using Vilnius A-SMGCS example. The aim of the analysis is to determine how failures in this system could affect flight safety in Vilnius aerodrome. Identified safety objectives will limit the frequency of occurrence of hazards enough for the associated risk to be acceptable, and will ensure that appropriate mitigation means are reflected subsequently as Safety Requirements for the system. Analysis reflects aspects of A-SMGCS Safety objectives, which should be taken into consideration. Santrauka Darbe apžvelgiami progresyvūs saugos tikslų analizės metodai pagal Vilniaus aerodromo automatizuotos antžeminio eismo stebėjimo ir kontrolės sistemos veiklos pavyzdį. Analizuojama, kaip šios sistemos sutrikimai gali paveikti skrydžių saugą Vilniaus aerodrome. Remiantis galimų pavojų skrydžių saugai analize, tyrime nustatyti saugos tikslai, pagal kuriuos vėliau bus numatomos riziką mažinančios priemonės (galimų pavojų neutralizavimui ar kylančios rizikos sumažinimui iki priimtino lygio). Straipsnyje pateikiami veiksniai, kuriuos reikėtų įvertinti nustatant aerodromo automatizuotos antžeminio eismo stebėjimo ir kontrolės sistemos saugos tikslus.

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
Keyword(s):  
Markov Chain ◽  
Petri Net ◽  
Networked Control Systems ◽  
Transition Probabilities ◽  
Signal Transmission ◽  
Network Control ◽  
Drop Out ◽  
Modeling And Analysis ◽  
Cpn Tools ◽  
Coloured Petri Net

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.

Computational modelling of selected E-waste recycling process

2020 ◽  
Vol 26 (1) ◽  
Author(s):  
K.C. Olufokunbi ◽  
O.D. Ninan ◽  
O.A. Odejobi
Keyword(s):  
Computational Model ◽  
Petri Net ◽  
Computational Modelling ◽  
Waste Recycling ◽  
Process Models ◽  
Recycling Process ◽  
Concurrent Process ◽  
Cpn Tools ◽  
Effective Generation ◽  
Coloured Petri Net

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

scholarly journals Petri Net Modelling of the Starch Enzymatic Liquefaction

2012 ◽  
Vol 69 (2) ◽  
Author(s):  
Ion Dan MIRONESCU ◽  
Monica MIRONESCU
Keyword(s):  
Petri Net ◽  
Industrial Production ◽  
Model Parameters ◽  
Enzymatic Reactions ◽  
Simulation Environment ◽  
Modelling Language ◽  
Enzymatic Liquefaction ◽  
Cpn Tools ◽  
Coloured Petri Net ◽  
Starch Liquefaction

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.

Sign in / Sign up

Export Citation Format

Share Document