Analysis of controlled technological systems using high level petri nets

Gerzson, Miklós; Hangos, Katalin M.

doi:10.1016/0098-1354(95)87091-1

Cited by 6 publications

(2 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This allows to use, for example, the well-established methods for model analysis developed for discrete event systems. Thus the model developed in sub-section 4.1 is transformed here to a CPN form by discretization in both time and in the range of the variables similarly to [22].…”

Section: The Cpn Form Of the Dynamic Engineering Modelmentioning

confidence: 99%

See 1 more Smart Citation

Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets

Németh

Bartha

Fazekas

et al. 2009

Reliability Engineering & System Safety

Self Cite

View full text Add to dashboard Cite

This paper deals with formal and simulation based verification methods of a primary-to-secondary leaking (abbreviated as PRISE) safety procedure. The PRISE safety procedure controls the draining of the contaminated water in a faulty steam generator when a non-compensable leaking from the primary to the secondary circuit occurs. Because of the discrete nature of the verification, a Coloured Petri Net (CPN) representation is proposed for both the procedure and the plant model. We have proved by using a non-model-based strategy that the PRISE safety procedure is safe, there are no dead markings in the state-space, and all transitions are live; being either impartial or fair.Further analysis results have been obtained using a model-based verification approach. We created a simple, low dimensional, nonlinear dynamic model of the primary circuit in a VVER-type pressurized water nuclear power plant for the purpose of the model-based verification. This is in contrast to the widely used safety analysis that requires an accurate detailed model. Our model also describes the relevant safety procedures, as well as all of the major leaking type faults. We propose a novel method to transform this model to a CPN form by discretization. The composed plant and PRISE safety procedure system has also been analysed by simulation using CPN analysis tools. We found by the model-based analysis -using both single and multiple faults-that the PRISE safety procedure initiates the draining when the PRISE event occurs, and no false alarm will be initiated.

show abstract

Section: The Cpn Form Of the Dynamic Engineering Modelmentioning

confidence: 99%

“…Moreover, it was shown in [22] that a process model described in a qualitative DAE form can also be represented as a CPN. Thus, we could use a powerful tool, the Design/CPN [23] to support the modelling of our plant and its safety procedure in the form of a joint CPN and perform the verification by using CPN analysis procedures.…”

Section: Introductionmentioning

confidence: 99%