• 산업공학
• /
• 제20권1호
• /
• pp.79-86
• /
• 2007

In B2B e-commerce environments, many initiatives for process modeling have made efforts to design business processes correctly. Especially, Petri nets have been widely used as a good theory to design and verify process models. Therefore, we propose the process modeling method for the B2B e-commerce based on Petri nets. First of all, a B2B process model based on BPSS is represented by the UML activity diagram. Second, the activity diagram is transformed to a Petri net model. For the transformation, well-behaved building blocks/control structures and the modeling rules for inter-organizational workflow processes are proposed. Third, the process is partitioned into sharable processes for individual business partners. Finally, according to needs of individual business partners, the sharable processes are modified by well-structured refinement rules. The whole procedure is explained with the purchase process of an e-bookstore.

• 한국정밀공학회지
• /
• 제17권2호
• /
• pp.176-184
• /
• 2000

Possible representation methods for the product structure have been compared and analyzed to determine optimal disassembly path of a product. Petri net is selected as the most optimal method to represent disassembly path of the product. In this method, a reachability tree for the product is generated and disassembly time for each path is calculated. A path with the smallest disassembly time is selected as the optimal path. A software far DPN(Disassembly Petri Net) has been developed and applied to search the optimal disassembly path for a ballpoint pen disassembly process as an example.

• 산업공학
• /
• 제17권spc호
• /
• pp.152-159
• /
• 2004

The Purpose of this paper is to propose performance evaluation schemes of flexible manufacturing cell using a generalized stochastic Petri net. In the competitive and global manufacturing environment, to evaluate the feasibility and manufacturability of a product in the product design stage is highly required. Through this process, all the possible problems which may occur in the manufacturing stage can be fixed in early stage. The scheme of generalized stochastic Petri net utilizing both immediate and exponential distributed transitions are applied to model a manufacturing cell with flexible machines, material handler, transporter and buffers. Performance analyses are performed based on behavioral, structural and quantitative properties. A flexible manufacturing cell is evaluated using a Petri net simulator.

• 대한산업공학회지
• /
• 제21권1호
• /
• pp.137-151
• /
• 1995

A difficult problem in operating Flexible Manufacturing Systems (FMS) is to control the system in real-time by coordinating heterogeneous machines and integrating distributed information. The objective of the paper is to present the models and methodologies useful to resolve the difficult problem. The detailed objectives can be described in three folds. First, a hierarchical Colored and Timed Petri-Net (CTPN) is designed to control an FMS in real-time. The concerned FMS consists of a loading station, several machining cells, a material handling system, and an unloading station. Timed-transitions are used to represent the timed-events such as AGV movements between stations and cells, part machining activities in the cells. Signal places are also used to represent communication status between the host and the cell controllers. To resolve the event conflicts and scheduling problems, dispatching rules are introduced and applied. Second, an implementation methodology used to monitor and diagnose the errors occurring on the machines during system operation is proposed. Third, a Petri-Net simulator is developed to experiment with the designed control logic.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 추계학술대회 논문집 학회본부 D
• /
• pp.679-681
• /
• 2000

This thesis presents a analysis method of hybrid synthesis petri net for automated manufacturing systems in discrete event dynamic system. There are many errors that can happen to petri net modeling of complex systems because petri net modeling process has so many steps. A new matrix analysis method presented in this thesis can confirm the property of petri net such as boundedness, liveness and reversibility, modify errors which can be occurred in modeling.

• Journal of Information Technology Applications and Management
• /
• 제12권1호
• /
• pp.157-172
• /
• 2005

Recently, location-based service (LBS) is a hot issue in the field of computer applications. So many papers introducing new techniques of implementing a LBS and new application fields of LBS have been published recently. However, to the best of our knowledge, none of them discusses feasibility test in the prior to the implementation. The importance of a feasibility test for a design prior to the implementation cannot be overemphasized. This paper presents a method of feasibility test for a LBS design. Our method performs three steps. At the first step, we build a Petri net model of the LBS system which is depicted in natural language. The second step is to analyse the Petri net to find errors and flaws in the design. We also improve the Petri net model by fixing the errors and flaws in this step. A feasibility test is the third and final step. In this step. we verify if the design satisfies the user's requirement in the senses of quality of service (QoS) and of minimizing the implementation cost. The third step is performed in the manner of mathematical analysis of the Petri net.

• 정보보호학회논문지
• /
• 제20권1호
• /
• pp.123-128
• /
• 2010

공격 시나리오의 그래프 표현은 서버의 취약성 분석 및 공격의 방어를 위한 설계에 필수적인 방법이다. 이를 위해 다양한 요구사항 분석 모델이 이용되고 있으나, 복잡한 시나리오간의 결합을 표현할 수 있는 모델은 제한적이다. 본 논문에서 제안하는 역할 기반 페트리 넷(Role Based Petri Net)은 동시성과 시각적인 장점을 가진 페트리 넷을 역할 기반으로 구성하여 효과적 표현 모델을 제공하고 알려지지 않은 공격에 대한 시나리오를 효율적으로 표현할 수 있다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1994년도 Proceedings of the Korea Automatic Control Conference, 9th (KACC) ; Taejeon, Korea; 17-20 Oct. 1994
• /
• pp.690-695
• /
• 1994

We propose a method to reduce the marking expression about the places when we model a discrete-event system using the Petri net. The net with reduced marking expression has the same dynamic behavior as the original model. The number of the places can be reduced by the number of the resource places of the Petri net, and consequently the net can be significantly simplified, still preserving the dynamic properties of the net.

• 한국시뮬레이션학회논문지
• /
• 제14권1호
• /
• pp.19-32
• /
• 2005

In this study, a distributed simulation of Petri net models under HLA/RTI framework is considered. Throughout our modeling experiences, it is recognized that the proper use of interface specification and time management services are important in order to achieve successful implementation of RTI. The interfacing tokens between Petri net models are distinguished as information entity and physical entity. Both entities are modeled as InteractionClass in order to send and receive messages. For the synchronization of local simulation clocks, a conservative method with NERA service is considered. A cell manufacturing system is modeled and implemented with RTI to illustrate the distributed simulation of Petri net models.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.1727-1731
• /
• 2003

In this paper we proposed backward fuzzy Petri-net to diagnoses faults in power systems by using the time sequence information of protection system. As the complexity of power systems increases, especially in the case of multiple faults or incorrect operation of protective devices, fault diagnosis requires new and systematic methods to the reasoning process, which improves both its accuracy and its efficiency. The fuzzy Petri-net models of protection system are composed of the operating process of protective devices and the fault diagnosis process. Fault diagnosis model, which makes use of the nature of fuzzy 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 (Supervisory Control and Data Acquisition)