• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.04a
• /
• pp.364-367
• /
• 2014

차량 애드혹 네트워크(VANET : Vehicular Ad-Hoc Network) 환경에서 차량들은 네트워크 인프라를 바탕으로 한 통신들을 통하여 서로의 안전이나 편리성을 도모하고자 많은 관심을 가지고 지금까지 연구되어 왔으며 앞으로도 활발히 연구될 것이다. 그러나 안전성이나 편리성을 도모하고자 연구되어왔던 여러 부분들이 보안문제에 직면하면서 새로운 국면으로 접어들고 있다. 이에 본 논문에서는 차량 애드혹 네트워크에서 차량 간 통신을 효율적이고 안전하게 전송하기 위해 우선되어야 하는 차량의 인증을 위한 보안 메커니즘을 제안하고 이를 패트리넷 모델링 기법을 통해 검증하고자 한다. 본 논문에서 제안하는 차량 인증 보안 메커니즘(VASM : Vehicular Authentication Security Mechanism)은 차량 인증 기능과 함께 패트리넷으로 모델링 함으로써 차량들의 많은 변화로 복잡할 수밖에 없는 VANET에서의 보안요구들을 정의하여 수행하는데 유연하게 대처할 수 있다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.7
• /
• pp.500-504
• /
• 2009

A reliability of software is a type of nonfunctional requirement. Traditionally, a validation of the reliability is processed at the integration phase in software development life cycle. However, it increases the cost and the risk for the development. In this paper, we propose reliability analysis method based on mathematical analytic model at the architecture design phase of the development process as follows. First, we propose the software modeling methodology for reliability analysis using Hierarchical combined Queueing Petri Nets(HQPN). Second, we derive the Markov Reward Model from the HQPN based model. We apply our approach to the video conference system to verify the usefulness of our approach. Our approach supports quantitative evaluation of the reliability.

• Journal of the Korea Society for Simulation
• /
• v.19 no.4
• /
• pp.67-75
• /
• 2010

Deadlock usually appears in contain subsystem which is run in parallel and resources share modules. Siphons and traps have been well introduced to characterize deadlocks of Petri nets. Siphon concept be well used for proposing the detect and prevent deadlock by the pleasure researchers. But it's need many times and efforts to detect all siphon sub-nets in the Petri model. Since transitive matrix could explain all relations between the place and transitions in Petri nets, we propose an algorithm to detect all siphon sub-nets after analyzed the transitive matrix's properties. Examples are givens to illustrate the method.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.05d
• /
• pp.977-982
• /
• 2002

최근의 정보시스템의 전형적인 형태인 웹기반 정보시스템(WBIS)은 계속적으로 재구성되어야만 사용자의 욕구를 만족시킬 수 있으며 수익을 창출할 수 있다. 이를 위해, 시스템의 항해구조를 모델링하고 분석하여 시스템의 재구성시에 활용해야 한다. 이에 따라, 본 논문에서는 쇼핑몰을 포함한 WBIS의 재구성(또는 튜닝)을 위한 항해구조의 모델링 및 분석 방법을 제시한다. 항해구조의 모델링을 위해 구조모델, 상태전이 모델 및 패트리넷 모델 및 분석을 통한 분석방법을 제시하였다. 끝으로, WBIS의 재구성 휴리스틱을 제시하였으며 제시한 방법들을 사례 WBIS에 적용하였다.

• Journal of Institute of Control, Robotics and Systems
• /
• v.7 no.4
• /
• pp.344-350
• /
• 2001

In this paper, we are focused on the analysis of acyclic schedule for the determination of the opti-mal cycle time and minimization of work in process. Especially, this paper deals with the product ratio-driven cyclic scheduling problem in FMS with different products and ratio using the TPN(Time Petri Nets)un-folding.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2003.05a
• /
• pp.670-673
• /
• 2003

컴퓨터 하드웨어의 빠른 개발 주기에 맞춰 저 가격, 고 효율성, 높은 신뢰성, 호환성 둥의 장점을 가진 PC(Personal Computer)가 현대의 컴퓨터 흐름을 주도하게 되었다. 이에, 산업분야 전반에 걸친 컴퓨터 적용의 증가는 많은 발전과 변화를 가져왔다. 특히, 자동화 시스템분야에서 그 효과가 두드러졌는데 이는 고 가격, 긴 개발기간 둥을 필요로 했던 과거와 달리 저 가격, 짧은 개발기간, 다양한 개발환경 등을 이룰 수 있었다. 또한, 생산량 증가에만 의존하던 과거의 자동화 시스템은 현대에 이르러 시스템의 최적화, 효율의 극대화, 시스템의 안정성, 운용의 편리성, 호환성 등의 개념들이 도입되고 있다. 이에 따라, 반도체 자동화시스템의 개발 및 활용부분에서도 저가의 PC를 활용한 시스템 구축이 실용화되고 있다. 특히, 시스템의 생산성을 높이려는 노력도 많이 이루어지고 개발되었는데, 반도체 부품 생산성 향상과 운용설비의 효율성 극대화를 위한 여러 가지 기법들이 연구 도입되고 있다. 그중 생산성과 직접 관계되는 효율 데이터는 UPEH(Unit per hour)를 들수 있다. 따라서, 본 논문에서는 이러한 효율성에 관련하여 그 기준이 되는 생산 데이터에 대한 시스템 효율성을 자동으로 산출하며, 이를 사용자에게 제공함으로써 보다 정량화 되고 객관적인 평가 자료가 되도록 하였다. 이를 패트리넷을 이용하여 설계 프로세스를 검증하고 실제 산업현장에 적용함으로서 본 시스템에서 제공하는 효율성 데이터가 운용설비의 가동에 관한 평가 기준이 됨을 보였다.

• Journal of Advanced Navigation Technology
• /
• v.16 no.1
• /
• pp.109-115
• /
• 2012

Humanities is very difficult area to use the computer. However, recently, convergence trend has increase widely at all of the academic area. Therefore, in this paper, we propose a technical method to use an IT for the popularity of humanities. For this purpose, we implement a path process that use Petri-net to apply digital storytelling to humanities. We also make a structure to connect an examples and questions from sentences or articles as digital storytelling. The digital storytelling consists of six factors; author, synopsis, background, construction, view point, and user's or reader's review. Proposed method provides a process to analyze the data path of a literary work using Petri-net.

• The KIPS Transactions:PartD
• /
• v.10D no.3
• /
• pp.471-488
• /
• 2003

A web-based information system, that is a dominant type of information systems, suffers from the “web crisis” in development and maintenance of the system. To cope with the problem, a technology of reengineering to web-based business process, which is one of web engineering, is strongly needed. In this paper, we propose a BPN(Business Process Net) model and reengineering guides along with an application example, which are used for modeling web-based business processes and migrating to web-based information system. BPN model is a type of not only a Beta-distributed stochastics Petri net, but also an executable Activity diagram. BPN is modeled by using the Use Case analysis method and the Beta-distribution. The later is used for the purpose of modeling the uncertainty of execution time and cost of a business process. BPN model and reengineering heuristics might be used as a formal common model for business process specification languages, and analysis and design method for Web-based Information system, respectively.

• Journal of the Korea Society for Simulation
• /
• v.17 no.3
• /
• pp.75-83
• /
• 2008

A deadlock is a condition in which the excessive demand for the resources being used by others causes activities to stop and it is one of the important problems in process control system to detect and prevent deadlocks. While the reachability analyze methods or divide subnets for analyzing methods are well used, it requires a lot of times and effects to analyze the detection of the deadlock status. Furthermore, it could not be effective if the model is complex or huge. Therefore, it is necessary to develop a new and more efficient deadlock detection algorithm. In this paper, a deadlock detection conditions after analyzed the Petri Net using the transitive matrix has been proposed to solve these problems. For presenting the results, the suggested deadlock detection algorithm was also adapted to an illustrated FMS (Flexible Manufacturing System) model.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.05d
• /
• pp.971-976
• /
• 2002

최근 대부분의 정보시스템은 웹기반 정보시스템으로 이주하고 있으며 이의 개발과 유지보수시에 '웹 위기' 현상이 발생하고 있다. 이를 해결하기 위한 웹엔지니어링 기술 중 웹기반 비즈니스 프로세스 명세 기술이 필요하다. 따라서 본 논문에서는 웹기반 비즈니스 프로세스 명세를 위한 BPN(Business Process Net) 모형을 제시한다. BPN 모형은 베타분포형 확률 패트리넷이며 수행가능형 Activity Diagram이라 할 수 있다. BPN을 모형화할 때 Use Case 분석을 이용하며, 비즈니스 프로세스의 수행 시간 및 비용적 불확실성은 베타분포를 이용하고 있다. BPN 모형은 XML 기반 비즈니스 프로세스 명세언어를 위한 공통 명세모형으로 이용될 수 있다.