Property preservation of Petri synthesis net based representation for embedded systems

2020 ◽  
pp. 1-12 ◽  
Author(s):  
Chuanliang Xia ◽  
Chengdong Li
Keyword(s):  
Embedded Systems ◽  
Property Preservation

Property Preservation of Petri Refinement Net Based Representation for Embedded Systems

2013 ◽  
Vol 321-324 ◽  
pp. 2232-2236
Author(s):  
Chuan Liang Xia ◽  
Tong Guo Wang ◽  
Ji Jun Zhang ◽  
Zhong Wang
Keyword(s):  
Embedded Systems ◽  
Petri Nets ◽  
Petri Net ◽  
Property Preservation

We study the refinement operation of Petri net based Representation for Embedded Systems (PRES+). A refinement of Petri nets is an important transformation to preserve properties of original nets. For systems specified in PRES+, this paper proposes a kind of refinement operation for PRES+ and gives some conditions to preserve important properties, such as reachability, timing and functionality.

Development of embedded systems to control toxic compounds in textile industries

2012 ◽  
Vol 1 (5) ◽  
pp. 115-117
Author(s):  
Jahnavi KRM Jahnavi KRM ◽  
◽  
Raghavendra Rao K ◽  
Padma Suvarna R
Keyword(s):  
Embedded Systems ◽  
Toxic Compounds ◽  
Textile Industries

Proposal and Evaluation of Mutual Exclusion Method using Lock-free Algorism for Embedded Systems using Multi-core Processor

2019 ◽  
Vol 139 (7) ◽  
pp. 802-811
Author(s):  
Kenta Fujimoto ◽  
Shingo Oidate ◽  
Yuhei Yabuta ◽  
Atsuyuki Takahashi ◽  
Takuya Yamasaki ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Mutual Exclusion ◽  
Exclusion Method ◽  
Multi Core Processor

Towards Okinawa-style Robot-embedded Systems

2013 ◽  
Vol 133 (2) ◽  
pp. 111-115 ◽  
Author(s):  
Takashi Anezaki ◽  
Suriyon Tansuriyavong ◽  
Chikatoshi Yamada
Keyword(s):  
Embedded Systems
Sign in / Sign up

Export Citation Format

Share Document