The Refinement of Petri Net with Inhibitor Arcs Based Representation for Embedded Systems

Xia, Chuanliang; Wang, Zhuangzhuang; Wang, Zhong

doi:10.3390/electronics11091389

Cited by 4 publications

(4 citation statements)

References 46 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…-From User Model to Building Model: a variant of message-passing invocation with inhibitor arcs is present; this variant is studied and reported in a recent paper [35]. In this scenario, the User Model has some places whose markings enable/disable some transition in the Building Model: this is the case of a door state -which is an action related to the user behaviour -that affects the thermal contribution the door gives to the room.…”

Section: Model Structuring and Evaluationmentioning

confidence: 99%

A Petri net oriented approach for advanced building energy management systems

Marrone,

Campanile,

De Fazio

et al. 2023

AIS

View full text Add to dashboard Cite

Sustainability is one of the main goals to pursue in several aspects of everyday life; the recent energy shortage and the price raise worsen this problem, especially in the management of energy in buildings. As the Internet of Things (IoT) is an assessed computing paradigm able to capture meaningful data from the field and send them to cloud infrastructures, other approaches are also enabled, namely model-based approaches. These methods can be used to predict functional and non-functional properties of Building Energy Management Systems (BEMS) before setting up them. This paper aims at bridging the gap between model-based approaches and physical realizations of sensing and small computing devices. Through an integrated approach, able to exploit the power of different dialects of Petri Nets, this paper proposes a methodology for the early evaluation of BEMS properties as well as the automatic generation of IoT controllers.

show abstract

Section: Model Structuring and Evaluationmentioning

confidence: 99%

A Petri net oriented approach for advanced building energy management systems

Marrone,

Campanile,

De Fazio

et al. 2023

AIS

View full text Add to dashboard Cite

show abstract

“…Synthesis [11][12][13][14][15], reduction [16][17][18][19][20][21][22][23][24], and refinement [25][26][27][28][29] are three commonly used Petri net transformation methods. Reduction is an important transformation method.…”

Section: Related Workmentioning

confidence: 99%

Property Preservation of Object-Oriented Petri Reduction Net Based Representation for Embedded Systems

et al. 2023

Self Cite

View full text Add to dashboard Cite

Embedded systems are widely used in automotive electronics, smart home, smart medical, aerospace and other fields. Aiming at the problem of formal modeling and verification analysis of embedded systems, a solution is proposed using extended Petri net reduction operations. Petri net based representation for embedded system (PRES+) and the object-oriented technology are combined to obtain the object-oriented PRES+ (OOPRES+). Two kinds of subnet reduction rules of OOPRES+ are presented. The preservation of boundedness and liveness of the reduction net system has been investigated to alleviate the problem of state space explosion of OOPRES+. The modeling and analysis of the embedded control system of a smart restaurant is used as an example to verify the effectiveness of the subnet reduction rules. Results obtained can provide an effective way to examine the reduction property of Petri net systems, and present a powerful means to model and verify the large-scale complex embedded systems.

show abstract

“…Therefore, adding inhibitor arcs to PRES+ can generate a PRES+ with inhibitor arcs (PIRES+, Petri net with inhibitor-arcs-based representation for embedded systems). Xia et al [19] analyzed the refinement operation of the PIRES+ and applied it to the modeling and verification of the mobile communication systems.…”

Section: Introductionmentioning

confidence: 99%

“…Cortes et al [13] extended PRES+ by introducing the definition of hierarchical structure and proposed some equivalent concepts of PRES+ and refinement methods to preserve complete equivalence. Xia et al [19] proposed a PIRES+ refinement method and applied it to modeling network communication systems.…”

Section: Introductionmentioning

confidence: 99%

Property Analysis of Gateway Refinement of Object-Oriented Petri Net with Inhibitor-Arcs-Based Representation for Embedded Systems

Xia,

Qin,

Sun

et al. 2023

Electronics

Self Cite

View full text Add to dashboard Cite

This paper focuses on embedded system modeling, proposing a solution to obtain a refined net via the refinement operation of an extended Petri net. Object-oriented technology and Petri net with inhibitor-arcs-based representation for embedded systems (PIRES+) are combined to obtain an object-oriented PIRES+ (OOPIRES+). A gateway refinement method of OOPIRES+ is proposed, and the preservation of the liveness, boundedness, reachability, functionality, and timing of the refined net system is investigated. The modeling analysis of a smart home system is taken as an example to verify the effectiveness of the refinement method. The results can provide an effective way for the investigation of the refined properties of a Petri net system and a favorable means for large-scale complex embedded system modeling, which has broad application prospects.

show abstract

The Refinement of Petri Net with Inhibitor Arcs Based Representation for Embedded Systems

Cited by 4 publications

References 46 publications

A Petri net oriented approach for advanced building energy management systems

A Petri net oriented approach for advanced building energy management systems

Property Preservation of Object-Oriented Petri Reduction Net Based Representation for Embedded Systems

Property Analysis of Gateway Refinement of Object-Oriented Petri Net with Inhibitor-Arcs-Based Representation for Embedded Systems

Contact Info

Product

Resources

About