• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.10a
• /
• pp.271-276
• /
• 1997

Verification is a process aimed at demonstrating whether a system meets it's specified requirements. As expert systems are used in various applications, the knowledge base verification of systems fakes an important position. The conventional Petri net approach that has been studied recently in order to verify the knowledge base is found that it is inadequate to verify the knowledge base of large and complex system, such as alarm processing system of nuclear power plant. Thus, we propose an improved method that models the knowledge base as enhanced colored Petri net. In this study. we analyze the reachability and the error characteristics of the knowledge base and apply the method to verification of simple knowledge base.

• Journal of the Korea Society for Simulation
• /
• v.12 no.2
• /
• pp.13-24
• /
• 2003

In this study, we propose a scheduling analysis method of the Flexible management system using the transitive matrix. The Scheduling problem is a combination-optimization problem basically, and a complexity is increased exponentially for a size of the problem. To reduce an increase of a complexity, we define that the basic unit of concurrency (short BUC) is a set of control flows based on behavioral properties in the net. And we propose an algorithm to divide original system into some BUC. To sum up, we divide a petri net model of the Flexible management system Into the basic unit of concurrency through the division algorithm using the transitive matrix. Then we apply it to the division-scheduling algorithm to find an efficient scheduling. Finally, we verify its efficiency with an example.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2000.05a
• /
• pp.264-267
• /
• 2000

The need for including time variables in various type of modeled Discrete Event Dynamic Systems(DEDSs) is apparent since the modeled systems are real time in nature. In the real world, almost all event is related to time. A Time Petri Net(TPN) is one of methods for model ins and analyzing of DEDSs with real time values. Two time values, ${\alpha}$$\sub$i/ and ${\beta}$$\sub$i/ are defined for each transition. In this paper, Ire present Fuzzy Transition Timed Petri Net(FTTPN) to determine the optimal transition firing time between ${\alpha}$$\sub$i/ and ${\beta}$$\sub$i/ using fuzzy theory. The traffic signal controller in an intersection is modeled and analyzed by FTTPN.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.2
• /
• pp.107-114
• /
• 2007

This paper describes the Petri Net(PN) model for reliability analysis of fault-tolerant dual Ethernet which Is applied in Naval Combat System. The network for Naval Combat System performs failure detection and auto path recovery by handling redundant path in case of temporary link failure. After studying the behavior of this kind of network, the reliability analysis model is proposed using stochastic Petri Net and continuous-time Markov chains. Finally, the numerical result is analyzed according to changing the failure rate and the recover rate of link.

• Proceedings of the IEEK Conference
• /
• 2000.07b
• /
• pp.661-664
• /
• 2000

A workflow expresses the How of persons and things related to a business. To improve efficiency of a business, it is important to grasp and evaluate the actual situation of the current business. Till now, researches on workflows have been done almost on once business and these results can not be simply applied to food business. Besides, it is also important how to evaluate a food business workflow with a specific standard. In this paper, we propose a modeling method of food business by using hierarchical Petri net. Then we propose a concept, called throughput, as a standard to evaluate the workflows. Finally we show a method how to compute throughput and meanwhile apply a Petri net tool, Design/CPN, to do simulation of computing throughput. Our simulation result shows the modeling method and computation method of throughput are reasonable and useful.

• Proceedings of the KIEE Conference
• /
• 2001.07d
• /
• pp.2045-2047
• /
• 2001

In this paper, we proposed the representation method of specification and the control rules fork FMS by TPL. To increase productivity and resource utilization, it is desirable to have more active jobs in the system, but the more active jobs there are, the more easily deadlock occur. Therefore, it is very important that the real-time deadlock control to disable deadlock. In this paper, we performed the system modeling by the CROPN(Colored Resource -Oriented Petri Net) and the necessary -sufficient condition check to disable deadlock. We proposed the supervisory control system that can be the real-time monitoring for deadlock free through a necessary-sufficient condition by CROPN modelling, and designed the logic controller of the extended process using TPL.

• International Journal of Advanced Culture Technology
• /
• v.8 no.4
• /
• pp.242-248
• /
• 2020

Most works of art are done through brokers, and transaction details are not disclosed to the public and are always at risk of tampering. To solve these problems, many Artworks Blockchain Platforms that apply blockchain technology to art transactions are being used. Several companies are currently operating these platforms, but since various blockchain platforms are operated according to the content, the operating methods of each platform are different, and a related model is needed to solve these problems due to compatibility issues between platforms. In this paper, we collect the latest Artworks Blockchain Platforms data, and based on this, we will create and analyze the Color Petri net model of Artworks Blockchain Platform.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.10 no.1
• /
• pp.23-37
• /
• 2000

본 논문은 인터넷 상에서 전자상거래가 이루어지는데 기본적으로 요구되는 보안성을 강화하기 위해 침입탐지 전자지불 프로토콜을 제안하였다. 여기서 침입탐지 기능이란 저보 전송이 이루어지는 순간마다 침입이 발생하였는지 탐지하도록 하므로써 신속한 탐지가 이루어지도록 하는 기능을 말한다. 제안된 침입탐지 전자지불 프로토콜의 타당성, 안정성을 분석하기 위해 페트리네트와 CPN(Coloured PetriNet)을 이용하여 모델링하였다. 또한 암호화 논리의 유용한 검증 도구로서 BAN(Burrows-Abadi-Needham)논리 시스템과 Kailar 논리 시스템을 이용하여 프로토콜의 타당성과 안정성을 확인 ·검증하였다.

• International Journal of Computer Science & Network Security
• /
• v.22 no.2
• /
• pp.413-423
• /
• 2022

The NHIS provides free or highly subsidized healthcare to all people by providing financial fortification. However, the financial sustainability of the scheme is threatened by numerous factors. Therefore, this work sought to provide a solution to process claims intelligently. The provided Petri net model demonstrated successful data flow among the various participant. For efficiency, scalability, and performance two main subsystems were modelled and integrated - data input and claims processing subsystems. We provided smart claims processing algorithm that has a simple and efficient error detection method. The complexity of the main algorithm is good but that of the error detection is excellent when compared to literature. Performance indicates that the model output is reachable from input and the token delivery rate is promising.

• International Journal of Advanced Culture Technology
• /
• v.10 no.4
• /
• pp.420-426
• /
• 2022

Developing a machine learning model and putting it into production goes through a number of steps. Automated Machine Learning(AutoML) appeared to increase productivity and efficiency by automating inefficient tasks that occur while repeating this process whenever machine learning is applied. The high degree of automation of AutoML models allows non-experts to use machine learning models and techniques without the need to become machine learning experts. Automating the process of applying machine learning end-to-end with AutoML models has the added benefit of creating simpler solutions, generating these solutions faster, and often generating models that outperform hand-designed models. In this paper, the AutoML data is collected and AutoML's Color Petri net model is created and analyzed based on it.