• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 ITC-CSCC -2
• /
• pp.665-668
• /
• 2000

In this paper, we are focused on the analysis of Petri nets model using the subnet. Specially, we are proposes a divide-conquer method of Petri nets under the condition of one-boundedness for all the Petri nets. The usefulness of the approach is shown by applying the proposed techniques to a illustration model.

• 한국멀티미디어학회논문지
• /
• 제9권11호
• /
• pp.1503-1514
• /
• 2006

오늘날 대부분의 고객들이 어디에서든지 인터넷을 사용할 수 있게 됨에 따라, 대부분의 기업들이 자신들의 서비스를 인터넷상에서 제출하게 되었다. 그 결과 무수히 많은 웹 서비스 시스템이 이미 인터넷상에서 서비스를 하고 있으며 더 많은 시스템들이 구축 중이다. 그래서 구축 중인 시스템이 교착상태와 같은 문제점이 없이 성공적으로 실행될 것이라는 것을 설계 초기 단계에 검증하는 방법에 대한 연구가 많이 수행되어 왔다. 페트리 넷을 이용하는 방법들도 몇 가지 소개되었는데, 이들은 웹 서비스 시스템을 페트리 넷으로 표현하는 방법에 주안점을 두고 있으며, 효율적인 분석 방법에 대한 연구는 부족한 실정이다. '최소 순회 시간' 방법은 '시간 넷'(Timed Net)에서 모든 트랜지션(transition)들을 최소한 한번 이상 격발하고 초기 마킹으로 되돌아오는데 걸리는 최소 시간을 찾아주는 수학적 방법으로, 컴퓨터 시스템 분석에 널리 사용된다. 시간 넷은 트랜지션에 지연 시간이 연합된 변형된 페트리 넷으로. 실세계에서의 지연시간은 확률적임에도 불구하고 기존의 시간 넷에서는 상수가 사용된다. 본 논문은 사건의 실행 시간이 화률 분포를 이루는 '혼합 분포 확률 시간 넷'을 제안하고 '혼합 분포 확률 시간 넷'의 최소 순회 시간 분석 방법을 소개한다. 또한 '혼합 분포 확률 시간 넷'의 최소순회시간 분석을 이용하여 웹 서비스 시스템의 응답 시간을 분석하는 방법을 보인다.

• 한국콘텐츠학회논문지
• /
• 제8권10호
• /
• pp.64-75
• /
• 2008

하이퍼-프레젠테이션 개념은 하이퍼-미디어 개념을 확장한 것으로, 동적으로 연출되고 있는 상황에서 링크개념을 설정하여 특정시점에서 원하는 다음 정보를 보기 위해서 비순차적으로 연출할 수 있도록 하는 방법이다. 이러한 비순차적인 연출방법인 하이퍼-프레젠테이션 개념을 도입함으로써, 자유로운 멀티미디어 데이터들의 연출이 가능하게 되었지만, 이러한 동기화 방법에 의해서 혼합된 여러 프레젠테이션들간에는 일관성 문제가 발생할 수 있다. 본 논문에서는 하이퍼-프레젠테이션 명시 프로그램의 일관성 검증을 위해서 petri-net을 이용한 하이퍼-프레젠테이션 명시 방법을 제시하고, 그것을 이용한 명시 프로그램의 일관성을 검증하는 방법을 제안한다.

• 산업경영시스템학회지
• /
• 제20권42호
• /
• pp.9-19
• /
• 1997

최근 제조업체들은 고객의 다양한 요구와 제품의 Life Cycle 단축에 따른 제조환경의 변화 에 직면하고 있다. 이러한 변화에 능동적으로 대처하기 위한 수단으로 효율성과 유연성이 크게 부각된 유연생산시스템(FMS)의 역할은 대단히 크다. 따라서, 본 연구에서는 유연생산시스템을 평가하고 모델링하는 도구인 Petri net 모델링 기법을 이용하여 효율성이 뛰어난 흐름생산방식을 적용한 복잡한 유연생산 시스템의 통제시스템 모델 설정과 시스템정지(deadlock) 예방에 대한 분석을 하였으며, AGVs의 셀이동 생산시스템을 제어할수 있는 FMS의 계층적 TPN 모델링을 구축하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 학술회의 논문집 정보 및 제어부문 A
• /
• pp.219-222
• /
• 2003

본 논문에서는 주어진 자동화 시스템에 대하여 Critical Path 기법을 적용한 최적화 연구를 수행하였다. 탄약 운반 자동화 시스템에 대하여 공정순서와 시간개념이 들어간 Timed Petri-Net을 이용한 이산사건 공정모델을 구축하였으며, 이를 기초로 초기조건 및 제약조건을 고려하여 제악탐색기법을 이용하여 Critical Path를 찾고 여유 공정을 산출항으로써 공정 시간 최적화를 수행하였다.

• Industrial Engineering and Management Systems
• /
• 제4권2호
• /
• pp.184-191
• /
• 2005

In this article we study the feasibility of the Ant Colony Optimisation (ACO) algorithm for finding optimal Kanban allocations in Kanban systems represented by Stochastic Petri Net (SPN) models. Like other optimisation algorithms inspired by nature, such as Simulated Annealing/Genetic Algorithms, the ACO algorithm contains a large number of adjustable parameters. Thus we study the influence of the parameters on performance of ACO on the Kanban allocation problem, and identify the most important parameters.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.205-205
• /
• 2000

In this paper, we are proposed an analysis method of the operation schedule in FMS using Time Petri Nets(TPN) unfolding. TPN's unfolding is one of the analysis methods after changed non-cyclic net from the concurrent net without to expand the state explosion. We are illustrated this proposed to analyze a schedule problem in Ratio-driven FMS modeling.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2012년도 제45차 동계학술발표논문집 20권1호
• /
• pp.91-94
• /
• 2012

융합 시스템의 표본으로 주목받고 있는 IPTV는 라디오 전파 방송이 아닌 인터넷을 통하여 사용자들에게 멀티미디어 콘텐츠를 제공한다. IPTV 응용 분야에는 VOD(Video On Demand) 서비스, 교육, 문화, 오락 등 다양한 양방향 응용 서비스가 포함된다. 본 연구에서는 이러한 IPTV 시스템을 페트리 넷으로 표현하고, CPNTools를 이용하여 페트리 넷을 분석함으로써 IPTV 시스템이 막힘없이 운행됨을 검증한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.83-88
• /
• 2000

본 논문은 mobile agent 시스템 설계의 예를 보인다. 본 시스템 설계에서 구축될 시스템의 사양은 자연어로 묘사되어 있다고 가정한다. 본 시스템 설계 과정은 다음과 같다. 첫째, 시스템 사양으로부터 필요한 사이트들을 분별하고, 둘째, 사이트간에 송수신 되는 정보들을 분별해, 이들 정보 개체들을 각각 한 개의 agent로 구현한다. 셋째, 각 Agent가 수행할 과업을 Petri net으로 정확히 표현한다. Agent가 정의되는 위치에 따라 필요한 통신량이 좌우됨으로 통신량을 최소화시키는 관점에서 Agent 정의의 위치를 결정한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.59.5-59
• /
• 2001

Multi-agent robot system is the system which executes by cooperating with each robots and controlling several robots. Capability and function of each robot must be considered for cooperation behavior. Furthermore, it is necessary to analyze the given environment and to replace complex task with some simple tasks. Analysis of the given environment and role assignment for the given tasks are composed of discret event. In this paper, the hierarchical controller for multi-agent robot system using the petri-net state diagram is proposed. The proposed modeling method is implemented for soccer robot system. The effectiveness of proposed modeling method is shown through experiment.