Coloured Petri net model of the bCMS system using CPN tools

2013 ◽  
Author(s):  
Isabel Sofia Brito ◽  
Joao Paulo Barros
Keyword(s):  
Petri Net ◽  
Cpn Tools ◽  
Coloured Petri Net

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.

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 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.

scholarly journals Heterogeneous Hierarchical Coloured Petri Net Software/Hardware Architectural View of Embedded System based on System Behaviours

2013 ◽  
Vol 11 ◽  
pp. 925-932 ◽  
Author(s):  
Mahdi Sahlabadi ◽  
Ravie Chandren Muniyandi ◽  
Zarina Shukor ◽  
Amirhossein Sahlabadi
Keyword(s):  
Embedded System ◽  
Petri Net ◽  
Coloured Petri Net

Virtual Assembly Operation Modeling Based on Colored Petri Net

2010 ◽  
Vol 431-432 ◽  
pp. 237-240 ◽  
Author(s):  
Peng Chen ◽  
Ping Jun Xia ◽  
Yue Dong Lang ◽  
Ying Xue Yao
Keyword(s):  
Petri Net ◽  
Early Stage ◽  
Virtual Assembly ◽  
Assembly System ◽  
Colored Petri Net ◽  
Stage Design ◽  
Assembly Operation ◽  
Cpn Tools ◽  
Early Stage Design ◽  
Mathematical Presentation

In this paper, a Colored Petri Net modeling method for early stage design of virtual assembly operation is presented. The characteristics of virtual assembly system, Petri Net and Colored Petri Net are analyzed. Some previous work in Petri Net application in assembly and virtual assembly system is discussed. The theoretical aspects of Colored Petri Net are introduced mathematically. Based on the mathematical presentation and the process of fasteners assembly operation, a Colored Petri Net model is constructed for the simulation of assembly operation in virtual environment. With CPN Tools software package, the simulation for evaluating the feasibility of modeling is implemented. It is demonstrated that the modeling approach can support the early stage design of virtual assembly system.

Sign in / Sign up

Export Citation Format

Share Document