On the Performance Estimation and Resource Optimization in Process Petri Nets

Rodríguez, Ricardo J.; Júlvez, Jorge; Merseguer, José

doi:10.1109/tsmc.2013.2245118

Cited by 13 publications

(10 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…, λ k ) is a set of nonnegative real numbers: a) λ i denotes a firing rate, if t i ∈ T 1 ; b) λ i denotes a firing weight, if t i ∈ T 2 . PNs and GSPNs are widely adopted in academic fields, particularly in systems engineering [28]- [34].…”

Section: A Petri Nets and Gspnsmentioning

confidence: 99%

Cyberphysical Security and Dependability Analysis of Digital Control Systems in Nuclear Power Plants

Cho

Chung

Kuo

2016

IEEE Trans. Syst. Man Cybern, Syst.

View full text Add to dashboard Cite

The use of nuclear energy to generate electric power is crucial to meet the high energy demand of a modern economy. In newly constructed nuclear power plants (NPPs), the trend among control systems is to replace the obsolete analog hard-wired systems with the contemporary digital and cyber-based systems. Therefore, cyberphysical security as well as dependability are critical issues in safety critical NPPs. In this paper, we present different levels/layers of protection to manage cyber/physical security. We also discuss the interrelationship between cyber and physical attacks. We adopt generalized stochastic Petri nets to quantitatively evaluate the intrusion probability. We then propose a new cyberframework and show that the proposed framework not only prevents cyberattacks but also conforms to cybersecurity regulations. We also propose a physical framework to prevent potential physical attacks. Finally, we discuss dependability through three metrics, i.e., reliability, maintainability, and availability. A case study is presented to demonstrate that the proposed cyberframework is highly dependable through analyzing steady-state probabilities.

show abstract

Section: A Petri Nets and Gspnsmentioning

confidence: 99%

Cyberphysical Security and Dependability Analysis of Digital Control Systems in Nuclear Power Plants

Cho

Chung

Kuo

2016

IEEE Trans. Syst. Man Cybern, Syst.

View full text Add to dashboard Cite

show abstract

“…However, unlike this paper, none of these makes use of LP techniques or provides an algorithm to the compute MCS/MPS of a coherent FT in polynomial time. In contrast, LP techniques have been applied to PN models for computing system performance by means of throughput bounds [25], [46], [47].…”

Section: Related Workmentioning

confidence: 99%

On Qualitative Analysis of Fault Trees Using Structurally Persistent Nets

Rodríguez

2016

IEEE Trans. Syst. Man Cybern, Syst.

Self Cite

View full text Add to dashboard Cite

A fault tree (FT) defines an undesired top event, characterizing it using logic combinations of lower-level undesired events. In this paper, we focus on coherent FTs, i.e., the logic is restricted to AND/OR formulas. FT analysis is used to identify and assess the minimal cut sets (MCSs) of an FT, which define the minimal set of events leading to the undesired state. The dual of MCS is minimal path set (MPS). MCS and MPS are commonly used for qualitative evaluation of FTs in safety and reliability engineering. This paper explores computation of the MCS/MPS of an FT by means of structural analysis (namely, computation of minimal p-semiflows) of a Petri net (PN) that represents the FT. To this end, we propose a formal definition of a coherent FT and a transformation from this model to a PN subclass (namely, structurally persistent nets). We also prove the relationship between minimal p-semiflows and MCS/MPS in an FT. In addition, we propose an algorithm that uses linear programming techniques to compute the MCS/MPS in an FT. Finally, we put our findings into practice by qualitatively evaluating the FT of a pressure tank system.

show abstract

“…Their main purpose is for optimal allocation and optimal selection of various manufacturing resources and capabilities, using the business or non-functionality indicators of QoS. In addition to the approaches, a Petri Net based model [14], [18], a graph-based model [19], a formal privacy model [20] and a Hidden Markov Model [21] are also used for resource composition.…”

Section: Introductionmentioning

confidence: 99%

Composition of Resource-Service Chain Based on Evolutionary Algorithm in Distributed Cloud Manufacturing Systems

Weng

Tong

et al. 2020

IEEE Access

View full text Add to dashboard Cite

In distributed cloud manufacturing (CMfg) systems, multi-resource service can complete more complex manufacturing tasks than single resource service. Especially in business process, all the resource services are invoked in a certain sequence, which is called the Resource-Service Chain (RSC). The RSC, as a sequential composition of resource services, expresses the scheduling and the flow of servicing to a distributed business process. A perfect composition can improve utilization ratio and efficient matching availability of resource services greatly. However, most of the existing methods for resource service composition paid no attention to the temporal relationship between resource services. Moreover, the methods strongly depend on relevant element to be considered. Inspired by biological evolution, a Resource-Service Chain Composition Evolutionary (RSCCE) algorithm is proposed. Specifically, RSCCE tries to find multiple optimal solutions, namely all RSCs in a workflow with given constraints. To begin, initial sets of composite resource service are resolved by calculating the degree of dependency between resource services, so as to obtain initial RSCs by workflow. Then, RSCCE algorithm applies genetic algorithm to search for the extended of each initial RSC, a longer chain composing of it, to improve the reuse of RSC. Under this approach, gene and chromosome represent resource service and the entire RSC respectively. If the propagated chromosomes violate the sequence of resource service, as constraint in RSCCE algorithm, they will be repaired to obtain a valid solution. Finally, we take a multi-enterprise collaborative business process as an example to simulate our approach. Experimental results confirm the effectiveness of the approach.

show abstract

On the Performance Estimation and Resource Optimization in Process Petri Nets

Cited by 13 publications

References 23 publications

Cyberphysical Security and Dependability Analysis of Digital Control Systems in Nuclear Power Plants

Cyberphysical Security and Dependability Analysis of Digital Control Systems in Nuclear Power Plants

On Qualitative Analysis of Fault Trees Using Structurally Persistent Nets

Composition of Resource-Service Chain Based on Evolutionary Algorithm in Distributed Cloud Manufacturing Systems

Contact Info

Product

Resources

About