• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 하계종합학술대회논문집
• /
• pp.883-886
• /
• 1998

We introduce a high level synthesis methodlogoy for automatic synthesis of asynchronous circuits form a language based on CSP. The input language is a high level concurrent algorithmic specification that can model complex concurrent control flow, logical and arithmetic computation and communications between them. This specification is translated into petri net which has actions. These actions are refined to synthesize the controllers and to allocate the data resources. We use the automatic synthesis through signal transition graphs (STGs) that allows to take advantage of logic synthsis methods to optimize the circuit.

• 대한기계학회논문집A
• /
• 제22권1호
• /
• pp.90-101
• /
• 1998

This paper presents a scheduling method that uses Petri net modeling and heuristic search to handle the tool setup. In manufacturing systems, a tool is attached to a particular machine to process a particular operation. The activity to attach a tool to a particular machine and detach the tool from the machine requires time. The processing time of operations varies according to the attached tool and the machine used. The method proposed in this paper uses Petri net to model these characteristics and applies a search algorithm to the reachability graph of the Petri net model to generate an optimal or near-optimal schedule. New heuristic functions are developed for efficient search. The experimental results that show the effectiveness of the proposed method are presented.

• 한국시뮬레이션학회논문지
• /
• 제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.

• 한국통신학회논문지
• /
• 제38C권12호
• /
• pp.1170-1178
• /
• 2013

최근 항공기, 잠수함, 로봇 등 고도의 신뢰성이 요구되는 군사무기체계 분야에 상용 필드버스의 적용이 활발히 이루어지고 있다. 잠수함 전투체계 역시 대표적인 군사용 전자 장비로서 다양한 컴퓨터와 센서 및 액추에이터들이 실시간 네트워크로 연결되어 있다. 잠수함의 작전수행능력 및 생존성과 직결되는 전투체계용 네트워크는 매우 높은 수준의 신뢰성을 만족해야 된다. 그 결과 잠수함 전투체계의 구성장비들을 제어하기 위한 필드버스로써 표준 CAN(Controller Area Network)을 기반으로 채널과 제어기를 이중화한 이중채널 CAN 버스가 주로 이용되고 있다. 본 논문에서는 Petri Net을 이용하여 이중채널 CAN 버스의 신뢰도 분석 모델을 제시한다. 기존연구에서는 네트워크를 통한 정보전송 성능 분석에 주안점이 주어졌으나, 본 논문에서는 CAN의 다양한 물리적 고장 유형을 반영하여 GSPN(Generalized Stochastic Petri Nets) 모델을 제안한다. 제안된 모델을 기반으로 고장율과 고장복구율을 변경하면서 각 고장 유형이 이중채널 CAN 버스의 신뢰도에 미치는 영향을 분석한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권4호
• /
• pp.283-290
• /
• 2009

상황인식 서비스는 유비궈터스 환경의 핵심으로 동적 환경에서 지능적이고 민감하게 동작하기 위해 상황과 서비스간의 연관관계를 명확하게 분류하기 위한 방법론이 요구된다. 기존의 모델링 방법들은 시나리오 중심의 상황정보 수집, 관리 그리고 표현에 초점이 맞추어 있다. 따라서 설계할 때 다양한 실제환경에 적용하여 상황인식 서비스 모델의 적합성을 검증하기는 힘들다. 본 논문에서는 colored Petri-Net을 응용한 모델링 방법을 제시한다. 모델은 상황 정보의 변화와 흐름의 표현과 평가에 초점을 두고 시간을 추가하여 수행시간제약에 대한 표현 및 평가가 가능하도록 하였다. 또한 상황 모델링 툴킷과 에이전트 기반의 상황인식 엔진 그리고 상황정보 시뮬레이터를 활용하여 에이전트 기반의 상황인식 서비스를 개발하였다. 본 논문에서 제안한 모델링 방법은 Usilvercare에 적용하여 실용성을 검증하였다.

• 한국지능시스템학회논문지
• /
• 제16권3호
• /
• pp.291-296
• /
• 2006

상황은 단일 사건에 의해 결정되는 경우도 있지만, 많은 경우 일련의 사건이 특정 시간 제약을 만족하면서 발생할 때 상황이 결정된다. 따라서 상황에 대한 추론은 시간 제약 조건 만족 여부와 함께 사건의 발생을 순서를 확인하는 방법으로 수행될 수 있다. 한편, 어떤 상황은 분명하게 정의되는 것이 아니라 애매한 개념을 사용하여 기술되기 때문에, 퍼지 개념을 이용한 상황 기술과 이에 대한 추론이 필요하다. 한편, 유비쿼터스 환경에서와 같이 여러 대상에 대한 상황을 유추하여 서비스를 제공해야 하는 경우에, 대상 간에 동일한 상황이 발생할 수 있기 때문에 이에 대한 고려가 필요하다. 이러한 상황 추론을 위해서 이 논문에서는 Fuzzy Colored Timed Petri net 모델이라는 상황 추론 모델에 대해서 제안한다. 제안한 모델은 Timed Petri net 성질을 이용하여 일련의 사건 발생을 모델링하고, Colored Petri net의 성질을 이용하여 다수 대상에 대한 상황 추론을 허용하며, fuzzy 토큰 개념을 이용하여 애매한 개념을 사용하여 정의된 상환에 대한 추론을 가능하게 한다.

• 대한산업공학회지
• /
• 제23권4호
• /
• pp.669-686
• /
• 1997

In this research, an object-oriented Petri net model for representing a flexible process plan is proposed, which is hierarchically multi-faceted for supporting planning, scheduling, and shop floor control functions. The multi-faceted process plan model consists of the following: a) an object model which represents on object-oriented data model, b) a static model which represents a process flow model with process alternatives, and c) a dynamic model which represents a process activity model with resources alternatives, of a flexible process plan. Petri nets allow the static and the dynamic process plan models to be represented in a unified formalism with an ease of model transformation. The multi-faceted process plan model suggested in this paper, is illustrated with a prismatic port in comprehensive detail.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1995년도 추계학술발표회논문집(1)
• /
• pp.173-178
• /
• 1995

The verification phase of knowledge base is an important part for developing reliable expert systems, especially in nuclear industry. Although several strategies or tools have been developed to perform potential ewer checking, they often neglect the reliability of verification methods. Because a Petri net provides a uniform mathematical formalization of knowledge base, it has been employed for knowledge base verification. In this work, we devise and suggest an automated tool, called COKEP (Checker Of Knowledge base using Extended Petri net), for detecting incorrectness, inconsistency, and incompleteness in a knowledge base. The scope of the verification problem is expanded to chained errors, unlike previous studies that assumed error incidence to be limited to rule pairs only. In addition, we consider certainty factor in checking, because most of knowledge bases have certainty factors.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1999년도 추계공동학술대회 논문집:21세기지식경영과 정보기술
• /
• pp.769-781
• /
• 1999

Manufacturing systems are usually large, complex, and concurrent in nature that makes it difficult to model and simulate the behavior in advance. The paper proposes an approach, called OPNets, for modeling and validating manufacturing systems. The approach is based on object-oriented high-level Petri nets in which modeling components of Petri net are constructed into object hierarchy. The objects communicate with each other by passing messages. To enhance the reusability and maintainability, a system are developed by object hierarchy. Inheritance among object hierarchy is also supported in OPNets. The modeling scheme of OPNets tries to resolve the complexity problems of Petri net.