An Extended Petri Net EPRES for Embedded System Modeling

2008 ◽  
Author(s):  
Liu Sen ◽  
Chundi Mu
Keyword(s):  
Embedded System ◽  
Petri Net ◽  
System Modeling

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

scholarly journals Optimization of Power Plant for Telecom Sector Based on Embedded System

2019 ◽  
Vol 38 (1) ◽  
pp. 209-220
Author(s):  
Sarang Karim ◽  
Halar Haleem Memon ◽  
Shahzeb Ansari ◽  
Kashif Hussain ◽  
Bhawani Shanker Chowdhry
Keyword(s):  
Embedded System ◽  
Power Density ◽  
System Modeling ◽  
Electronic Devices ◽  
Diesel Generator ◽  
Telecommunication Equipment ◽  
Switch Mode ◽  
Virtual System ◽  
Telecom Sector ◽  
Rectification Process

Modern Telecom Sector is eventually facing exceptionally tough challenges because of continuous and unexpected increase in power density requirement for the communicating machinery and equipment. To fulfil the power requirements for the equipment, a significant architecture and an optimal technique must be introduced. In this paper, a microcontroller-based optimization use of power-density has been carried out. Meeting above requirements, various equipment and electronic devices are employed. We have designed a microcontroller-based system via PROTEUS Virtual System Modeling to acquire efficient and effective results. The main focus of our work is to supply the power to Telecom equipment in meantime. The power is feeding on batteries and DG (Diesel Generator) set, depending on the condition of the power requirements. The changeover operations are performed by different relays, which are dully programmed via a microcontroller in Keil software. The power capacity of Telecom ((Telecommunication) equipment is ranged from 39-48 Volts DC. The rectification process is done by switch mode rectifiers instead of linear rectifiers. Because the switch-mode rectifier technology has brought fabulous improvements in power density as compared to linear rectifiers. This is done via simulation of the smart switch in PROTEUS software. The outcomes of the proposed system are costeffective in terms of fuel consumption of DG.

scholarly journals Formal Modeling and Verification for MVB

2013 ◽  
Vol 2013 ◽  
pp. 1-12 ◽  
Author(s):  
Mo Xia ◽  
Kueiming Lo ◽  
Shuangjia Shao ◽  
Mian Sun
Keyword(s):  
Model Checking ◽  
Petri Net ◽  
System Modeling ◽  
Formal Modeling ◽  
Critical Component ◽  
System A ◽  
Communication Environment ◽  
Train Communication Network ◽  
Asynchronous Methods ◽  
Transfer Protocol

Multifunction Vehicle Bus (MVB) is a critical component in the Train Communication Network (TCN), which is widely used in most of the modern train techniques of the transportation system. How to ensure security of MVB has become an important issue. Traditional testing could not ensure the system correctness. The MVB system modeling and verification are concerned in this paper. Petri Net and model checking methods are used to verify the MVB system. A Hierarchy Colored Petri Net (HCPN) approach is presented to model and simulate the Master Transfer protocol of MVB. Synchronous and asynchronous methods are proposed to describe the entities and communication environment. Automata model of the Master Transfer protocol is designed. Based on our model checking platform M3C, the Master Transfer protocol of the MVB is verified and some system logic critical errors are found. Experimental results show the efficiency of our methods.

Sign in / Sign up

Export Citation Format

Share Document