• Proceedings of the Korean Society for Bioinformatics Conference
• /
• 2005.09a
• /
• pp.348-353
• /
• 2005

In this paper we discuss the formulation and the analysis of a signaling pathway by Petri nets. In order to explicitly and formally describe the molecular mechanisms and pathological characteristics of signaling pathways, we propose a new modeling method to construct signaling pathways on the basis of formal representation of Petri net. Our proposed extended algorithm effectively finds basic enzymic components of signaling pathways by employing T-invariants of Petri nets with considering the origination leading to an occurrence of inhibition functions than existing methods. An application of the proposed algorithm is given with the example of Interleukin-1 and Interleukin-6 signaling pathways.

• Proceedings of the KIEE Conference
• /
• 1988.11a
• /
• pp.450-454
• /
• 1988

In order to represent and analyze distributed system design, the model based on an extended form of Petri nets, which enables one to represent both the structure and the behavior of a distributed system, is predented. Behavioral properties of the design representation are verified by translating the extended Petri net into an equivalent ordinary Petri net. The model emphasizes the unified representation of control flows, hierarchical structure, and distributed system state. Modeling technique isemployed for the performance and function analysis of flexible manufacturing system with a set of processors.

• Proceedings of the KIEE Conference
• /
• 1999.07c
• /
• pp.1136-1138
• /
• 1999

This paper describes a new method of the modeling of protection system and fault diagnosis in power systems using Petri nets. The Petri net models of protection system are compose of the operating process of protective devices and the fault diagnosis process. Fault diagnosis model which makes use of the nature of Petri net is developed to overcome the drawbacks of methods that depend on operator knowledge. The proposed method can reduce processing time and increase accuracy when compared with the traditional methods. And also this method covers online processing of real-time data from SCADA.

• Asia pacific journal of information systems
• /
• v.6 no.1
• /
• pp.223-240
• /
• 1996

The paper proposes an approach, called OPNets, for modeling and validating manufacturing systems that is based on object-oriented high-level Petri nets. In OPNets, modeling components of Petri net are constructed into hierarchical objects that communicate with each other by passing messages. To enhance the reusability and maintainability, OPNets organizes a system into hierarchical objects that inherit attributes and behavioral properties from the object of super class and object-interaction relations are separated from the internal structure of object. The modeling scheme of OPNets tries to resolve the complexity problems of Petri net. To illustrate the modeling schemes of OPNets, a storage/retrieval example has been proposed.

• Proceedings of the IEEK Conference
• /
• 2000.07b
• /
• pp.669-672
• /
• 2000

This paper deals with cryptography by applying RSA and Petri nets. Firstly, we introduce RSA cryptography and a Petri net based private-key cryptography. Then we propose a new public-key cryptography, Petri Net based Public-Key Cryptography dented as PNPKC, by taking the advantages of these two proposed cryptographys and give an example to show how to apply PNPKC. Finally, we do the comparison between RSA cryptography and PNPKC on security as well as computation order. As the results, the security of PNPKC is as strong as RSA cryptography and further the encryption and decryption of PNPKC are in average 210 times as fast as RSA cryptography from our experimental data.

• Nuclear Engineering and Technology
• /
• v.55 no.3
• /
• pp.861-869
• /
• 2023

This article proposes a novel approach to measure the performance of Safety-Critical Systems (SCS). Such systems contain multiple processing nodes that communicate with each other is modeled by a Petri nets (PN). The paper uses the PN for the performance evaluation of SCS. A set of ordinary differential equations (ODEs) is derived from the Petri net model that represent the state of the system, and the solutions can be used to measure the system's performance. The proposed method can avoid the state space explosion problem and also introduces new metrics of performance, along with their measurement: deadlock, liveness, stability, boundedness, and steady state. The proposed technique is applied to Shutdown System (SDS) of Nuclear Power Plant (NPP). We obtained 99.887% accuracy of performance measurement, which proves the effectiveness of our approach.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.19 no.12
• /
• pp.2828-2835
• /
• 2015

In this paper, we analyse the effect of redundancy types and non-stop forwarding scheme on network service availability. We use stochastic reward net models as enabling modeling approach for the analytical evaluation. We first design stochastic reward nets for redundancy models with or without non-stop forwarding and then evaluate their availability using Stochastic Petri Net Package.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.1504-1507
• /
• 1997

In this paper, we investigate a traffic flow modeled by stochastic Petri nets. The model consists of two parts : the traffic flow model and signal controller model. These models are used for analyzing the flow of the traffic intersection. The results of the evaluation are derived from a Petri Net-based simulation package, Greatspn. Through simulation we compare the performances of the pretimed signal controller with those of the trafic-adaptive signal controller.

• Journal of the Korea Society for Simulation
• /
• v.10 no.1
• /
• pp.13-24
• /
• 2001

We propose a divide-conquer method of Petri nets under the condition of one-boundedness for all the Petri nets. We introduce the P-invariant transitive matrix of Petri nets and relationship between them. The feature of the P-invariant transitive matrix is that each element stands for the transitive relationship between input place and output place through the firing of the enable transition.

• Journal of the Korean Society for Precision Engineering
• /
• v.12 no.10
• /
• pp.166-174
• /
• 1995

Flelxible Manufacturing Systems(FMS), which consist of various machine groups, can produce machine parts in different physical dimensions and lot sizes. In this paper, a novel method which utilizes Colored and Timed Petri Net is proposed to model a FMS. Each machine group of FMS is modulized and modeled using expanded Petri Nets. Colored and Timed Petri Nets are defined, and the flexible manufacturing systems's design algorithm based on this definition is developed and verified in a real FMS plant by computer simulations.