Modeling Distributed Private Key Generation by Composing Petri Nets

Bernardinello, Luca; Kılınç, Görkem; Mangioni, Elisabetta; Pomello, Lucia

doi:10.1007/978-3-662-45730-6_2

Cited by 5 publications

(4 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…things. However, one class of PN is not used, there are several, and it depends on their characteristics to represent, model and simulate systems that have a specific application and a specific area (VENTRE, MICOLINI andMICOLINI, 2023) (MORALES, 2015), (BERNARDINELLO, 2014), (LAKOS, 2009). Although at the beginning it was mainly applied in the computing area, for example, at the end of 1980 there were many publications on applications of the use of PNs, particularly in the verification of software properties (MURATA, 1989), they were extended to other areas.…”

Section: Discussionmentioning

confidence: 99%

Petri Net Applications in Systems

Rueda

2023

JASCS

View full text Add to dashboard Cite

Petri nets are a tool that has been booming mainly in flexible manufacturing engineering and its processes, to perform modeling, control and diagnosis of systems. This work presents a description of Petri nets with their mathematical and graphic representation to introduce the tool and facilitate its understanding, and then establish a general overview of its applications as a result of the respective bibliographic review. It also provides examples as part of the results of its application. Finally, it is concluded that it can be incorporated into various areas where complex systems or processes are used, and even as part of a teaching tool.

show abstract

Section: Discussionmentioning

confidence: 99%

Petri Net Applications in Systems

Rueda

2023

JASCS

View full text Add to dashboard Cite

show abstract

“…Wang et al [23] proposed a Petri net refinement method without reachability analysis. Based on the basic net system, Bernardinello et al [24] proposed a refinement method for distributed systems. For the refinement operation of the place/transition net, Huang et al [25] provided the conditions to keep the original net system's liveness, boundedness, fairness, and other properties.…”

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

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

“…In the literature, many authors have investigated Petri net transformation methods to mitigate the problem of state space explosion. The three popular transformations of Petri net are refinement [11,[16][17][18][19][20][21][22][23][24][25][26][27][28][29], reduction [30][31][32][33], and synthesis [12,14,[34][35][36][37][38][39].…”

Section: Introductionmentioning

confidence: 99%

“…Wang et al [26] proposed a refinement approach which may not require reachability analysis. For systems specified in Elementary Net Systems, Bernardinello et al [27] presented a refinement method for distributed systems. Lacheheub et al [28] focused on analyzing the transformation of the business process (BP) to the Petri net and gave the transition refinement operation to verify soundness, liveness, and boundedness.…”

Section: Introductionmentioning

confidence: 99%

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

Xia

Wang

2022

Electronics

View full text Add to dashboard Cite

Embedded systems are widely used in various devices. PRES+ (Petri net- based Representation for Embedded Systems) has been used to model and analyze embedded systems. However, it cannot characterize the priority of events, and cannot fully express the complex data flow and control flow. To solve this problem, inhibitor arcs are added to PRES+ and PIRES+ (PRES+ with Inhibitor arcs) is obtained. However, PIRES+’s state space explosion problem is a handicap when modeling, verifying, and controlling complex, large embedded systems. To mitigate the state space explosion problem of PIRES+ and analyze complex embedded systems, we propose the place refinement approach and the place set refinement approach for PIRES+. Under specific conditions, several important properties of PIRES+, such as timing, functionality, reachability, liveness, and boundedness, are preserved by using these refinement approaches. In order to illustrate the effectiveness of these refinement methods, as an example, the modeling and analysis of a network communication system is proposed. The refinement methods proposed have certain feasibility and practicability and provide a more practical theoretical basis for the modeling of some embedded systems.

show abstract

Modeling Distributed Private Key Generation by Composing Petri Nets

Cited by 5 publications

References 9 publications

Petri Net Applications in Systems

Petri Net Applications in Systems

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

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

Contact Info

Product

Resources

About