• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.11 no.5
• /
• pp.101-106
• /
• 2011

In this paper, our goal is to design the controller which operates a manufacturing system, discrete event system, guaranteeing user specification. In specially, based on supervisory control theory W. M. Wonham, our work consists in performing the controller using Petri nets possible parallelism. In addition, we consider the problem of allocation for resources sharing of the issues to consider when designing using Petri net. The controller can be generated by synthesis of user specification model and plant model after giving the management for the resource sharing. This created controller can control the deadlock and starvation which can occur in the case with resource sharing. Previous studies proposed the Constrained Synchronous Reachability graph to synthesis of the two Petri nets models. Therefore, we provide the controlled system which forbids a deadlock and starvation using the result of previous studies.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.38 no.4
• /
• pp.149-158
• /
• 2015

Up-to-date manufacturing companies have faced a market-driven environment of pull production order. There should be a difference in operating manufacturing resources according to the type, quantity, and delivery time of manufactured products, because the process situation in pull production is changed by customer orders. And it should be taken into account from the stage of preparing for production such as process design and the placement and utilization of manufacturing resources. However, the feasibility of production plans is limited because most of small manufacturing businesses make production/supply plan of the parts and products assuming that equipment abilities in scheduling is sufficient without managing process standard information systemically. In this study, a discrete event simulation system based on BOM (bill of material), that is F-OPIS (online productivity innovation system), is introduced and a case study on application of the system leading to improving productivities is presented. F-OPIS deals with a decision-problem on production management and it is specialized for small-and- medium sized manufacturing companies. The target company of this case study is a typical small-and-medium sized manufacturing company in Korea, that produces various machined parts. The target company adopts make-to-stock production management to prevent tardy delivery because of fluctuations in demand. Therefore, it is required to apply an efficient inventory control solution for improving productivities. In this paper, based on the constraints of working capacity of manufacturing resources, the bottleneck process is analyzed as production conditions are changed. Consequently, an improvement plan is proposed, that eventually enhances overall utilization rates of resources in the bottleneck process and reduces overall production lead-time and inventory level.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.322-324
• /
• 2015

네트워크 시뮬레이터인 NS-2(Network Simulator 2)는 다양한 인터넷 프로토콜을 분석 할 수 있는 이산 사건 시뮬레이터로 데이터 처리량과 패킷 지연 및 전력 소모 등을 구할 수 있다. 그러나 NS-2를 사용하여 실험 시 네트워크 토폴로지의 설정이 변경 될 때마다 Tcl 스크립트를 통해 단일적으로 밖에 대응하지 못한다는 불편함이 존재한다. 이 문제를 해결하기 위해 본 논문에서는 멀티프로세싱 기법의 NS-2 Batch Job 시스템을 제안한다. 쉘(Bash) 스크립트로 NS-2 내부 구조의 간섭 없이 자동화 일괄 작업(Batch Job) 시스템을 모듈 구조로 구현 및 적용시켰다. 또한 실험의 시간 효율을 극대화시키기 위해 멀티프로세싱 기법을 이용하여, 하드웨어 성능의 부하가 걸리지 않는 선에서 NS-2 시뮬레이션을 다중 처리할 수 있도록 만들었다. 성능 비교분석 결과, 제안하는 Batch Job 시스템을 적용하면 기존에 NS-2를 이용한 실험에 걸리는 시간에 비해 소요시간이 평균 48% 감소한 결과를 볼 수 있다. 이는 하드웨어 성능이 향상된다면, 부하가 걸리지 않는 상한까지 더 많은 개수의 NS-2 프로세스를 실행시킬 수 있기 때문에 더욱 큰 시간 효율을 보여줄 수 있다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2002.05a
• /
• pp.474-477
• /
• 2002

Safety is very important to operate nuclear power plant. To guarantee the safety, nuclear power plant should be run without trouble. This paper presents the application of a failure diagnosis approach based on discrete event system theory to the pressurizer pressure control system for Pressurized Water Reactor. Also, this paper shows a scheme of failure diagnosis by distributed diagnoser.

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

본 연구는 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 가상전장 모델링 및 시뮬레이션 방법론을 제안한다. 기존 군체계에 관련된 모델링 기술은 물리적 모델링, 비쥬얼 모델링, 또는 개념적 모델링 등 개별 기능중심의 단편적 플랫폼 모델링에 그치고 있으며, 무기체계 분석 시뮬레이션도 개별 단위체 중심으로 평가되어져서, 다양하고 종합적인 그리고 상호운영성과 재사용성 등을 고려한 통합 모델링 및 시뮬레이션 환경을 제공하지 못하는 단점을 갖는다. 따라서 본 논문에서는 개별 전투병력에서부터 첨단 무기체계에 이르는 다양한 전장 요소들을 계층 구조적으로 통합함으로써 장에서 발생될 수 있는 개별 전투병력의 미시적 행동 특성뿐 아니라 분대/중대/대대/사단급 단위의 거시적 전략/전술에 대한 묘사까지도 가능한 가상전장 모델링 및 시뮬레이션 환경을 제안한다. 제안된 방법론은 분대 단위의 가상 전장 환경에 대한 사례연구를 통해 검증하였으며, 향후 연구로는 대단위 가상전장에 대한 묘사를 위한 HLA 분산 시뮬레이션 기술의 적용에 대한 연구가 필요할 것이다.

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

본 연구는 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 가상전장 모델링 및 시뮬레이션 방법론을 제안한다. 기존 군체계에 관련된 모델링 기술은 물리적 모델링, 비쥬얼 모델링, 또는 개념적 모델링 등 개별 기능중심의 단편적 플랫폼 모델링에 그치고 있으며, 무기체계 분석 시뮬레이션도 개별 단위체 중심으로 평가되어져서, 다양하고 종합적인 그리고 상호운영성과 재사용성 등을 고려한 통합 모델링 및 시뮬레이션 환경을 제공하지 못하는 단점을 갖는다. 따라서 본 논문에서는 개별 전투병력에서부터 첨단 무기체계에 이르는 다양한 전장 요소들을 계층 구조적으로 통합함으로써 전장에서 발생될 수 있는 개별 전투병력의 미시적 행동 특성뿐 아니라 분대/중대/대대/사단급 단위의 거시적 전략/전술에 대한 묘사까지도 가능한 가상전장 모델링 및 시뮬레이션 환경을 제안한다. 제안된 방법론은 분대 단위의 가상전장 환경에 대한 사례연구를 통해 검증하였으며, 향후 연구로는 대단위 가상전장에 대한 묘사를 위한 HLA 분산 시뮬레이션 기술의 적용에 대한 연구가 필요할 것이다.

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.36S no.3
• /
• pp.36-46
• /
• 1999

본 논문에서는 DSPN(Deterministic and Stochastic Petri Net)을 이용, 교차로에서의 차량 진입과 같은 이산 사건(discrete events)적인 상황을 해석하고, 교통신호기의 동작과 차량흐름을 모델링하였다. 교차로에서의 차량 흐름을 확률적 개념으로 표현하여, 차량 변화에 따른 교차로의 상황을 토큰의 변화로 나타내었다. GreatSPN을 사용한 모의 실험을 통하여, 모델링된 교통신호기하에서의 차량의 평균 지체시간을 분석하였다. 차량 지체시간을 이용하여 단위시간연장 교통량 대응 신호기와 본 논문에서 제안한 최대시간허용 교통량 대응 신호기의 성능을 비교 분석하여, 최대시간허용 교통량 대응 신호기가 단위시간연장 교통량 신호기보다 좋은 특성을 나타냄을 보였다. 2개의 교차로로 이루어진 시스템을 본 논문에서 개발한 기본 모듈들을 서로 연결하여 분석하였고, 이러한 성능 분석을 통하여 주위 여건에 적합한 새로운 교통신호기를 구현할 수 있음을 보였다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2001.04a
• /
• pp.570-573
• /
• 2001

Safety is very important to operate nuclear power plant. To have the safety, nuclear power plant should be run without trouble. This paper presents the application of a failure diagnosis approach based on discrete event system theory to the Main Feedwater System for Safe Integral Reactor.

• Proceedings of the KIEE Conference
• /
• 2001.11c
• /
• pp.212-214
• /
• 2001

Siphons and traps are special structures of Petri nets with closely related to liveness for the deadlock analysis of Discrete Event Dynamic Systems. It can analysis the liveness of Petri nets using the siphon and trap without to check reachability.[1] Deadlock analysis approach we proposed is based on the notion of potential deadlock which are siphons that eventually become empty. And in this paper, we proposed a initial marking method by siphon to avoid and to prevent deadlock. It is shown that our approach is more efficient than classical state enumeration approach.

• Journal of Korea Society of Industrial Information Systems
• /
• v.5 no.1
• /
• pp.37-46
• /
• 2000

In this paper, we developed a simulation model of a car parts assembly line to improve the system performance such as worker's utilization balancing, productivity. This simulation model has been developed using QUEST, a true 3D discrete event simulation pakcage that is designed for modeling and analysis of manufacturing systems. We have suggested the results obtained to improve the system performances of an existing production line.