• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.5
• /
• pp.1392-1398
• /
• 2008

This paper presents a Petri Net (PN) based disassembly sequence planning model with precedence operations. All feasible disassembly sequences are generated by a disassembly tree and a disassembly sequence is determined using the disassembly precedence and disassembly value matrix, The precedence of disassembly operations is determined through a disassembly tree and the value of disassembly is induced by economic analysis in the end-of-life phase. To solve the disassembly sequence planning model with precedence operations, a heuristic algorithm based on PNs is developed. The developed algorithm generates and searches a partial reachability graph to arrive at an optimal or near-optimal disassembly sequence based on the firing sequence of transitions of the PN model. A refrigerator is shown as an example to demonstrate the effectiveness of proposed model.

• Proceedings of the IEEK Conference
• /
• 2002.07b
• /
• pp.975-978
• /
• 2002

A new conception of public-key cryptography MEPKC, Petri net based Multi-stage-Encryption Public-Key Cryptography, has been proposed in onder to guarantee stronger network communication security. Different from an ordinary public-key cryptography that opens only a single public key to the public, MEPKC opens a key-generator that can generate multiple encryption keys and uses these keys to encrypt a plain text to a cipher text stage by stage. In this paper, we propose the methods how to carry out the encryption operations. First, we describe how to design a hash function H that is used to conceal the encryption keys from attack. Then, given with a key-generator (a Petri net supposed to possess a large number of elementary T-invariants), we discuss how to randomly generate a series of encryption keys, the elementary T-invariants. Finally, we show how to use these encryption keys to encrypt a plain text to a cipher text by applying a private key cryptography, say DES.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.13 no.2
• /
• pp.449-456
• /
• 2018

The advent of cryptography has become a means of obtaining real monetary benefits to hackers, which has recently led to a surge in the number of Ransomware and the associated damage has increased significantly. It is expected that malicious codes will be expanded to new areas by meeting passwords, and Ransomware will be further increased in the future. To solve these problems, we need a model that can detect and block intrusion of Ransomware by analyzing the intrusion path of Ransomware. In this paper, we collect and analyze the data of Ransomware, and create and analyze Ransomware's color Petri net model.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1990.04a
• /
• pp.22-31
• /
• 1990

In this paper, we have studied modelling and simulation of computer communication protocols theoretically. After describing a definition and functions of communication protocols, we have classified models for protocol design. And, in those protocol models, by endowing Timed Petri Net (TPN) models with a time function .tau., we have proposed a structural definition of TPN models. Furthermore, in order to complement Petri Net Based models with some problems, we have introduced the Discrete EVent system Specification (DEVS) concept in system simulation field. As an important result of our study, we have presented a theorem, which says that a TPN model becomes a DEVS model, and proved it. According to the theorem, we can perform efficient simulation by using the DEVS model transformed from a TPN model when we intend the TPN model to be simulated, otherwise we design another simulation model for it.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.5
• /
• pp.1119-1129
• /
• 1998

This paper proposes a method to estimate the time to execute a hypermedia scenario. The method builds a PNDT(Petri Net with probability Distribution Table) model for the flow of the scenario, then performs Monte Carlo Simulation on the PNDT model to estimate the duration time from the start to the end of the scenario. The estimated times to execute scenarios are useful to both information providers and users. A user can make a better time plan referring to them, and an information provider can make the most efficient scenario-presentation schedule for users referring to them. However, no research results regarding this subject have been reported yet.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.1897-1902
• /
• 2008

The computer system is used in many application domains and any system error in these domains may either cause critical loss or threaten environment or human life. Though examples of these domains can be found in many areas, the system, which is used in domains for carrying passengers including rolling stocks in particular, is expected to show satisfactory operation all the time. The relay control logic, which is used in rolling stocks, is complex in hardware and occupies considerably large volume. Nevertheless, it has been used for a long time, to let the system safely operate even in the occurrence of an error in the computer system. However, the relay control logic circuit is so complex that the analysis of proper circuit operation and interlocking tends to be dependent only on the designer's experiences instead of being systematically performed. Especially, the analysis following a change, addition and deletion of a previous circuit according to the requirements from a source of demand is significantly limited. In this paper, the accuracy of relay control logic is verified by the use of properties of Petri Net model. In addition, how main circuit breaker (MCB) control circuit is modeled and analyzed by the design methodology is shown.

• Proceedings of the KIEE Conference
• /
• 1996.07b
• /
• pp.1254-1256
• /
• 1996

Design methods for sequence flow controllers play an important role in industrial automation. To design a flexible, reusable, and maintainable control software has become a key issue nowadays. Petri net has been emerging as an important tool to provide an integrated solution for modeling, analysis, simulation, and control of industrial automated systems recently. This paper describes an international standard of programming languages for programmable logic controllers, IEC 1131-3 SFC( Sequential Function Chart), and the sequence flow control method for an SFC using a Petri net-like model.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.32A no.4
• /
• pp.1-14
• /
• 1995

A new stochastic Petri nets model, called Stochastic Petri Nets Reward Model(SPNRM) is used for modeling and evaluating the performance of telecommunication protocols. We have developed a SPNRM of the TDX-10 Internal protocol, which has a packet data exchange facility between DCEs, Especially a timer and retransmission handling model is presented for error control of the data transmission phase. The stochastic Petri nets package(SPNP), a software package for SPNRM used in this paper, has been used to generate numerical results by analytical-numerical method rather than simulation. From the steady state solution of the net, it is possible to calculate automatically the performance measure of the protocol medeled with both end-to-end and link-by-link method, which are the mean response times and the throughputs.

• Journal of Ocean Engineering and Technology
• /
• v.13 no.3B
• /
• pp.106-115
• /
• 1999

Modeling a discrete event system such as a sequential control system is difficult compared with a continuous system. Petri nets have been introduced as an analyzing and design tool for the discrete systems. One of the problems in its applications is that the model can not be analyzed easily in the case of large scale or complicated systems because of increase of the number of components of the system. To overcome this problem, some methods for dividing or reducing Petri nets have been suggested. In this paper, an approach for a hierarchical expression of Petri nets based on Sequential Function Chart(SFC) is proposed. A measuring tank system will be described as a typical kind of discrete systems. The system is modeled by sub Petri nets based on SFC in order to analyze and visualize efficiently about the dynamic behaviors of the system. Some numerical simulations using state equations are performed to prove the validity of the proposed method.

• Journal of the Korea Society of Computer and Information
• /
• v.4 no.3
• /
• pp.13-19
• /
• 1999

In this paper, we suggests a WIP (Work In Process) of FMC (Flexible Manufacturing Cell) analysis methods based on the TPN (Time Petri Nets) unfolding. Unfolding of PN is a partial order-based method for the verification of concurrent system without the state space explosion. The aim of this work is to formulate the general cyclic state scheduling problem to minimize the WIP to satisfy economical constraints. The method is based on unfolding of the original net into the equivalent acyclic description.