• 한국시뮬레이션학회논문지
• /
• 제9권1호
• /
• pp.67-81
• /
• 2000

In this paper, a new software package for modeling and simulating discrete-event dynamic systems is developed. The new software is a general-purpose, graphical tool based on timed Petri-nets and is developed using Visual Basic and Visual C++ for the window environment. It allows the user to graphically build a Petri-net model and enter input data for executing the Petri-net simulation model. It is equipped with a deadlock detection and recovery function as well as an automatic error check function. In addition, the software supports various enabling functions and distribution functions and provides various statistics for the performance measures of interests pertaining to the system. We expect the new software will be used in a wide number of applications including computer, communication and manufacturing systems.

• Journal of Information Processing Systems
• /
• 제5권1호
• /
• pp.19-24
• /
• 2009

Many researchers have developed frameworks that are capable of handling context information and can be adapted and used by any Web service. However, no research involving the systematic analysis of existing frameworks has yet been conducted. This paper examines the Context Framework, an example of existing frameworks, using a Petri net, and analyzes its advantages and disadvantages. Then, a Petri net model - with its disadvantages removed - is introduced, and a new framework is presented on the basis of that model. The proposed PAWS (Privacy Aware Web Services) framework has a expendability for context management and communicates flexible context information for every session. The proposed framework can solve overhead problems of context in SOAP messages. It also protects user privacy according to user preferences.

• 정보처리학회논문지C
• /
• 제12C권4호
• /
• pp.559-570
• /
• 2005

ECN 방법은 통신 혼잡 발생 초기에 이 사실을 명백히 알려주기 때문에 통신 혼잡을 판단하는 정확한 방법이다. 그래서, 무선 TCP 분야에서는 ECN 방법이 심도 있게 연구되고 있다. 본 논문은 ECN 마킹을 위한 최적의 임계치(threshold)를 찾는 계산식을 제시하고, ECN 전략을 적용하는 TCP의 페트리 넷 모형을 구축한 다음, 시뮬레이션을 통하여 제시된 식의 타당성을 검증한다. 또한, 제시된 식의 실용화 방안도 제안한다. 본 논문의 주된 공헌은 ECN 마킹을 위한 최적의 임계치를 찾는 공식을 제공하는 것이지만, 본 논문에 소개된 ECN 전략을 적용한 TCP의 페트리 넷 모형도 네트워크 프로토콜을 연구하는 학자에게 도움을 주리라고 믿는다. 소개된 페트리 넷 모형은 기존의 TCP 모형에 ECN 전략을 추가하기 위하여 네트워크 부분을 주로 변형하였으며, 송신자와 수신자도 역시 변형되었다.

• Management Science and Financial Engineering
• /
• 제3권1호
• /
• pp.15-38
• /
• 1997

In a flexible manufacturing system, a cell controller is able to identify and evaluate a number of alternative decisions to meet the objectives set by the factory level controller. In this paper, a Petri net-based cell controller is presented to accomplish this task. A static model is developed by using the Integrated Computer Aided Definition(IDEF0) method to represent clear functional relationships among the objects of the system. Based on the static model, two Petri net models are developed for the physical part flow and for the information flow. Multiple decision alternatives are generated from the physical part flow model and are synchronized with the information flow model for execution of the selected alternative.

• 한국정보처리학회논문지
• /
• 제7권12호
• /
• pp.3785-3793
• /
• 2000

분산 멀티미디어 시스템에서는 미디어들 간에 존재하는 시간 관계성을 정확하게 표현하면서 네트워크의 가변적인 지연으로 인해 유발되는 비동기 문제를 해결할 수 있는 동기화 메카니즘이 필요하다. 본 논문에서는 실시간 분산 환경의 멀티미디어 응용을 지원하기 위해 Petri Net에 기반한 RTPN(Real-Time Petri Net) 동기화 명세 모델을 제안한다. 제한하는 모델은 미디어의 지연관계나 중요도에 의해 주요 키 미디어와 상대 키 미디어를 정의하여 다양한 미디어 객체간의 시간 관계를 유연하게 명세 한다. 그리고 점화 규칙은 비동기 허용율에 기반한 점화 함수에 의해 즉시 발생 되어 미디어 내 및 미디어간 실시간 동기화를 지원한다. 한편 프리젠테이션 레벨의 재동기를 위한 비동기 제어 알고리즘은 보다 효율적인 QoS 보장이 가능하다.

• 제어로봇시스템학회논문지
• /
• 제14권3호
• /
• pp.213-220
• /
• 2008

The object of this paper is to propose a method to deal with the problem of modeling user specifications in approaches based on supervisory control and Petri nets. However, most of Petri Net approaches are based on forbidden states specifications, and these specifications are suitable the use of tool such as the reachability graph. But these methods were not able to show the user specification easily and these formalisms are generally limited by the combinatorial explosion that occurs when attempting to model complex systems. Herein, we propose a new efficient method using FSSTP (Forbidden Sequences of State-Transitions Problem) and theory of region. Also, to detect and avoid the deadlock problem in control process, we use DAPN method (Deadlock Avoidance Petri nets) for solving this problem in control model.

• 산업공학
• /
• 제17권2호
• /
• pp.200-207
• /
• 2004

Because the designed workflow may contain potential errors which may result in deadlocks, livelocks and so on, it is important to analyze the correctness of a workflow definition before it is put into the run time environment. Proposed in this paper is a transformation procedure of an UML activity diagram into a Petri net for the analysis of a workflow. By combining the strengths of easy-to-use functionality of an activity diagram and the analysis power of a Petri net, workflow analysts in the enterprise can model and analyze various kinds of workflow definition more easily and accurately.

• 전기학회논문지
• /
• 제60권7호
• /
• pp.1347-1353
• /
• 2011

While most of the existing protection schemes have been designed with local information around individual components, these local schemes are not considered capable of protecting the modern electric power gird with growing complexity. Recent blackouts in North America and Europe have renewed the emphasis on coordinated protection and control actions to avoid systemwide blackouts, utilizing all of the available grid information. Thus, this paper proposes a new methodology, Agent-based Colored Petri Net (ACPN) modeling for systematically representing, modeling and analyzing information flows and interactions among the entities of the electric power grid. The paper demonstrates its efficacy and accuracy by investigating an ACPN model of a wide area protection system for a typical power grid. The proposed modeling and analysis schemes may further provide a framework to help assure reliability and interoperability of diverse smart grid components.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• pp.1504-1507
• /
• 1997

In this paper, we investigate a traffic flow modeled by stochastic Petri nets. The model consists of two parts : the traffic flow model and signal controller model. These models are used for analyzing the flow of the traffic intersection. The results of the evaluation are derived from a Petri Net-based simulation package, Greatspn. Through simulation we compare the performances of the pretimed signal controller with those of the trafic-adaptive signal controller.

• 한국컴퓨터정보학회논문지
• /
• 제12권3호
• /
• pp.9-17
• /
• 2007

본 논문은 페트리 넷 기반의 멀티미디어 프로그래밍 방법을 제안한다. 이를 위하여 멀티미디어 시나리오를 표현할 MPN(Multimedia Petri Net)을 정의하고, 또한 MPN을 분석하여 시나리오의 결함을 찾아낼 수 있는 방법을 소개한다. 멀티미디어 프로그램은 MPN을 해석하여 멀티미디어 시나리오를 재생한다. 이렇게 작성한 우리의 멀티미디어 프로그램은 정지, 빠른 재생 되감기, 빠른 되감기 등의 조작 기능을 제공한다. 멀티미디어 시나리오 모델링을 위해 페트리 넷을 이용한 사례는 존재하지만, 이들은 모두 시간적 동기화 분석을 위한 것으로, 멀티미디어 시나리오의 재생을 목적으로 사용된 사례는 아직 없다. 이에 반하여, MPN은 시나리오의 흐름은 물론 시나리오를 구성하는 데이터들의 정보까지도 모두 표현함으로써 재생에 필요한 모든 정보를 나타낼 수 있다.