• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.760-762
• /
• 2001

본 논문은 침입 시나리오를 모델하고, 침입의 진행을 시뮬레이션할 수 있는 IDPN을 제안한다. 제안된 IDPN은 기존의 상태변환 다이어그램[1]이나, 퍼지 페트리 넷[2]의 기능을 강화한 것으로, 협동침입과 재침입을 탐지할 수 있고, 침입의 진행에 따른 경고를 발생할 수 있다는 장점이 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10b
• /
• pp.1129-1132
• /
• 2000

최근 인터넷 수요의 증가로 통신망에서 음성, 영상 및 데이터(data)를 복합적으로 지원할 수 있는 멀티서비스(multiservice)의 교환 기술이 필수적이다. 또한 망 사업자들이 여러 벤더(vendor)들로부터 최적의 장비를 선택하여 망을 구축할 수 있도록 통신 장비들의 상호 운용성을 지원하는 개방형 구조의 망 및 스위치 시스템(switch system)을 정의하는 작업이 필요하다. 페트리 넷(Petri Nets)은 시스템(system)을 분석하기 위한 도구로서, 시스템은 페트리 넷 이론에 의해 시스템의 수학적 표현인 페트리 넷으로 설계될 수 있다. CPN(Colored Petri Nets)은 페트리넷의 확장형으로서, 토근(token)에 칼라를 부여하여 다양한 특성을 지닌 시스템을 표현하기에 적합하다. Design/CPN은 CPN의 사용을 지원하는 소프트웨어 패키지(software package)이다. 본 논문에서는 개방형 멀티서비스 교환 시스템의 핵심으로 스위치와 제어기(Controller) 사이의 표준 프로토콜인 GSMP(General Switch Management Protocol) 프로토콜을 Design/CPN 으로 변환하고, 이로부터 시험열을 생성한다.

• Journal of Korea Multimedia Society
• /
• v.14 no.11
• /
• pp.1409-1419
• /
• 2011

It is well known that estimating the system processing time and cost at the early stage of the software system development is very important, and many Petri net methods of analysing processing time have been published. In another field of computer science, web service has been widely studied as a key of an efficient application software development method. Considering these two phenomena, this paper introduces a Petri net method of analysing the process time of application software consisting of web services. It is not plausible to represent the process time of a web application system as a constant. Therefore, we propose to use "Petri net with queues" to represent a web application system. The main contribution of this paper is to introduce a method of analysing a "Petri net with queues".

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

최근, 컴포넌트 기술의 발전에 따라 웹 기반 교육 시스템에서도 이를 응용하여 다양한 교육 컨텐츠의 제공 및 활용하려는 연구가 진행되고 있다. 또한, EJB는 웹 기반 컴포넌트 모델로서 웹 기반응용 시스템부분에서 많은 관심을 받고 있다 그러나, 컴포넌트 기반 웹-코스웨어는 이용 가능한 상용 컴포넌트와 인식부족으로 아직까지 실용화되지 못하고 있는 실정이며 분석에 관한 정형화도 이루어지지 않고 있다. 따라서, 본 연구에서는 EJB 컴포넌트를 이용한 웹 코스웨어를 분석 및 구현을 하였다. 컴포넌트들 사이의 메시지 흐름에 대한 정형적인 명세 분석을 위하여 페트리 넷을 이용하였으며, 각 기능에 따라 무상태 세션 빈의 형식으로 EJB 시스템을 구현하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.1585-1588
• /
• 2005

무선통신 환경에서 TCP의 효율성을 개선하기 위한 ECN 방법을 하나의 페트리 넷 모형으로 표현한 사례가 있다. 이 경우에는 모형이 너무 복잡하여 ECN 방법의 구조를 한눈으로 파악하기 어렵다는 단점이 있다. 본, 논문은 기존의 모형을 추상화하여 계층적으로 표현한 결과를 보인다. 계층적 표현은 시스템 전체 구조를 이해하기가 용이하다는 장점이 있다..

• Journal of Software Engineering Society
• /
• v.14 no.1
• /
• pp.42-49
• /
• 2001

객체지향 기법에 의한 소프트웨어 개발이 일반화되면서 소프트웨어 모델링에 시나리오의 개념이 널리 활용되고 있다. 그러나 시나리오 모델링을 위해서는 사용자로부터 주어지는 요구사항의 불충분성, 모순성, 추상화 수준의 차이 등과 같은 문제가 해결되어야 한다. 본 논문에서는 이러한 문제들을 쉽게 해결할 수 있는 모델링 방법을 제안한다. 제안하는 계층구조의 객체지향 페트리 넷(HOONet)은 점진적인 시나리오 모델링과 이들의 분석 방법을 지원한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10b
• /
• pp.110-112
• /
• 2000

멀티미디어 동기화를 명시하기 위한 수단으로 개발된 페트리 넷의 예로 [1]에 제안된 Object Composition Petri Net(OCPN), [2]에 소개된 Time Stream Petri Net(TSPN), [3]에 소개된 변형된 Petri Net, 등을 들 수 있다. 이들은 모두 멀티미디어 시스템 동기화를 모델링하기 위하여 제안된 Petri net들이다. 기존의 Petri net을 바탕으로 본 논문은 WWW에서 상영될 멀티미디어 시나리오를 표현하기 위하여 사용될 수 있는 Petri net을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.30-32
• /
• 2008

이 논문에서는 생성시스템 규칙 조건부의 일부만 입력 사실로 주어져도 행동부를 실행하여 유용한 결과를 제시할 수 있는 방법을 제안한다. 규칙 또는 페트리 넷의 변이(transition)의 격발(firing) 규칙을 개선하여 고안된 이 방법은 퍼지 추론이 추구하였지만 이루지 못한 불확실, 불충분한 조건을 통한 결론 도출이라는 과제의 매우 실용적인 해답이 될 것이다.

• Journal of Korea Multimedia Society
• /
• v.9 no.11
• /
• pp.1503-1514
• /
• 2006

Today, consumers can access Internet from everywhere, therefore most commercial and other organizations provide their services on the Web. As the result, countless Web service systems are already on the Internet and more systems are under construction. Therefore, many researches of verifying that the system to be constructed will not have any deadlock and will run successfully without any problem at the early stage of design have been performed. Several Petri net based verification methods have also been published. However, they have focused on building Petri net models of Web service systems and none of them introduces efficient analysis methods. As a mathematical technique with which we can find the minimum duration time needed to fire all the transitions at least once and coming back to the initial marking in a timed net, the minimum cycle time method has been widely used in computer system analysis. A timed net is a modified version of a Petri net where a transition is associated with a delay time. A delay time used in a timed net is a constant even though the duration time associated with an event in the real world is a stochastic number in general. Therefore, this paper proposes 'Mixedly Distributed Stochastic Timed Net' where a transition can be associated with a stochastic number and introduce a minimum cycle time analysis method for 'Mixedly Distributed Stochastic Timed Net'. We also introduce a method of analysing a Web service system's response time with the minimum cycle time analysis method for 'Mixedly Distributed Stochastic Timed Net.'.

• The KIPS Transactions:PartB
• /
• v.9B no.6
• /
• pp.827-834
• /
• 2002

In this paper, we proposed the formation of Korean-Roman alphabet notation conversion table for the generation of Korean-Roman alphabet notation that also meets revised Roman alphabet notation. Introduced a mathematical analyzing method of the natural language which used a petrinet model so that a base of Roman alphabet notation analyzed standard pronunciation and Roman alphabet notation to work mathematically. It display the practical example through a petrinet modeling of a plan and Roman alphabet notation to create a Korean Roman alphabet notation conversion table with the method of the analysis that used a petrinet model, and present a mathematical modeling plan and application method of Korean. We developed application program based on window in order to verify a created Korean-Roman alphabet notation conversion table, and compared the result of an application program with Roman alphabet notation of an Roman alphabet notation example dictionary.