• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.05a
• /
• pp.157-162
• /
• 2002

심화되는 경쟁환경에서 우위를 점하기 위해서는 제조 시스템의 수행도를 관리하고 개선하는 활동이 필요하다. 본 연구는 페트리넷(Petri net)과 시뮬레이션을 사용하여 제조 시스템 수행도의 하나인 산출율을 향상시키는 방법론을 제안하였다. 시뮬레이션은 제조 시스템의 수행도 평가에 많이 사용되나, 시스템의 개선방향에 대한 분석 능력이 취약하다. 한편, 페트리넷은 정확한 분석을 수행할 수 있으나, 대상 시스템이 복잡해짐에 따라 분석 능력이 현저히 감소된다. 본 연구에서는 페트리넷의 복잡도를 증가시키는 주요 원인 중 하나인 자원 공유를 분리된 페트리넷으로 표현함으로써 페트리넷의 분석 능력을 유지하고자 하였다. 또, 이를 바탕으로 자원 공유에 관련된 파라미터에 대한 회귀분석모형을 도출하였다. 이 회귀분석모형에 대한 최적화 과정에 의해 자원의 적절한 배치 혹은 제품비율에 대한 개선 방향을 얻어낼 수 있다. 이러한 페트리넷 기반 분석 방법과 시뮬레이션 방법을 동시에 사용함으로써 시뮬레이션 모형에서 산출율을 개선할 수 있으며, 실제 제조 시스템에 적용할 수 있을 것이다.

• Journal of Institute of Control, Robotics and Systems
• /
• v.8 no.8
• /
• pp.706-712
• /
• 2002

In general, a deadlock in flexible manufacturing systems (FMSs) is caused by a resource limitation and the diversity of routings. However, the deadlock of industrial controllers such as programmable logic controllers (PLCs) can occur from different causes compared with those in general FMSs. The deadlock of PLCs is usually caused by an error signal between PLCs and manufacturing systems. In this paper, we propose a deadlock detection and recovery (DDR) algorithm to resolve the deadlock problem of PLCs at design stage. This paper employs the MAPN (modified automation Petri net), MTPL (modified token passing logic), and ECC (efficient code conversion) algorithm to model manufacturing systems and to convert a Petri net model into a desired LD (ladder diagram). Finally, an example of manufacturing systems is provided to illustrate the proposed DDR algorithm.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2001.05a
• /
• pp.774-779
• /
• 2001

If rotating machinery have a fault, we can detect it using vibration or noise signals. However some maintenance engineers who doesn't have expert knowledge, needs the help of vibration experts for diagnosing rotating machinery. But qualified experts are rare, therefore we have been developed the case based reasoning (CBR) system which is able to manipulate the past experiences of vibration diagnosis experts. In the CBR system, the maintenance engineers can retrieve too information from previous cases which are most similar to new problem and they can solve new problem using solutions from the previous cases. In this paper, we propose a new method which is the case retrieval of CBR system using Petri net and we also applied it to diagnosis for electric motors as a practical problem.

• Journal of Institute of Control, Robotics and Systems
• /
• v.2 no.3
• /
• pp.209-219
• /
• 1996

Fieldbus provides a real-time data communication among field devices in the process control and manufacturing automation systems. In this paper, a Petri Net model of the 1993 draft of IEC/ISA fieldbus which is proposed as an international standard of fieldbus network is developed. Based on the Petri Net model, discrete-event simulation model of IEC/ISA fieldbus network is developed. This paper evaluates the network induced delay in the data link layer of IEC/ISA fieldbus using the simulation model. In addition, an integrated discrete-event/continuous-time simulation model of fieldbus system and distributed control system is developed. This paper investigates the real-time data processing capability of IEC/ISA fieldbus and the effect of network-induced delay to the performance of control system.

• Journal of Institute of Control, Robotics and Systems
• /
• v.2 no.3
• /
• pp.220-228
• /
• 1996

This paper presents a extended stochastic Petri net (ESPN) model for CTN(Circulated Token with No duration) service in the data link layer of IEC/ISA fieldbus. It is assumed that a station on the fieldbus has a specified minimum token holding time, a finite capacity buffer, and one transmitter queue with the highest priority. The mean transmission (or service) time at a station and the mean token rotation time for the symmetric fieldbus system atr derived using the presented SPN model and the moment generating function. These performance measures are represented in terms of the minimum token holding time, the number of stations, the arrival rate of messages, and the mean length of messages. The presented performance measure are validated by computer simulations.

• Journal of Institute of Control, Robotics and Systems
• /
• v.10 no.10
• /
• pp.878-886
• /
• 2004

Uncertainties are inevitable in robotic assembly in unstructured environment since it is difficult to construct fixtures to guide motions of robots. This paper proposes an augmented Petri net and an algorithm to adapt the assembly model on-line during actual assembly process. The augmented Petri net identifies events using force and position information simultaneously. Unmodeled contact states are identified and incorporated into the model on-line. The proposed method increases the level of intelligence of the robot system by enhancing the autonomy. The proposed method is evaluated by simulation and experiments with L-type peg-in-hole assembly using a two-arm robot system.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.11a
• /
• pp.157-162
• /
• 2002

A distributed simulation with HLA/RTI provides stable and satisfactory results. In this study, a distributed simulation of Petri net models under the HLA/RTI framework is considered. Throughout our 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 that are delivered to other models are distinguished as information entity and physical entity. Both entities are modeled as Interaction Class in order to send and receive messages. In synchronizing local simulation clocks, a conservative method with NERA service is considered. A eel manufacturing system is modeled and implemented with RTI to illustrate the distributed simulation of Petri net models.

• Journal of Computing Science and Engineering
• /
• v.7 no.1
• /
• pp.44-52
• /
• 2013

This paper addresses the problem of resource scheduling in a grid computing environment. One of the main goals of grid computing is to share system resources among geographically dispersed users, and schedule resource requests in an efficient manner. Grid computing resources are distributed, heterogeneous, dynamic, and autonomous, which makes resource scheduling a complex problem. This paper proposes a new approach to resource scheduling in grid computing environments, the hierarchical stochastic Petri net (HSPN). The HSPN optimizes grid resource sharing, by categorizing resource requests in three layers, where each layer has special functions for receiving subtasks from, and delivering data to, the layer above or below. We compare the HSPN performance with the Min-min and Max-min resource scheduling algorithms. Our results show that the HSPN performs better than Max-min, but slightly underperforms Min-min.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.2
• /
• pp.119-126
• /
• 2001

시간 페트리 네트는 실시간 값을 갖는 이산사건 시스템을 모델링하고 해석하기 위한 방법중 하나이다. 시간 페트리 네트는 각 트랜지션에 대하여 두 개의 시간 값, 최초 발화 시간 $\alpha$$_{i}$와 최종 발화 시간 $\beta$$_{i}$를 갖는다. 본 논문에서는 최적 발화 시간을 결정하기 위하여 퍼지 이론을 적용한 퍼지 트랜지션 시간 페트리 네트를 제안하였다. 퍼지 트랜지션 시간 페트리 네트의 트랜지션 점화 시간 ${\gamma}$$_{i}$는 고정 최초 발화 시간 $\alpha$$_{i}$와 고정 최종 발화 시간 $\beta$$_{i}$ 사이에서 어떠한 복잡한 계산 절차나 임의의 조건 없이 입력정보를 이용한 퍼지 이론으로부터 결정된다. 교차로에서 교통 신호제어기는 퍼지 트랜지션 시간 페트리 네트에 의하여 모델링되고 해석되었다. 퍼지 트랜지션 시간 페트리 네트의 중요한 특성은 교통 신호기의 모델링과 시뮬레이션에 의해서 보여진다. 의해서 보여진다.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.59-59
• /
• 2000

In this paper, we present a framework for modeling and control of multiple mobile robots which cowork within a bounded workspace and limited resources. To achieve this goal, we adopt a formalism of discrete event system and supervisory control theory based on Petri nets. We can divide our whole story into two parts: first, we search the shortest path using the distance vector algorithm, and then we construct the control scheme from which a number of mobile robots can work within a bounded workspace without any collision. The use of Petri net modeling allows us In synthesize a controller which achieves a control specification for the desired closed-loop behavior efficiently. Finally, the usefulness of the proposed Petri net formalism is illustrated by a simulation study.