• 제목/요약/키워드: Multimedia Petri Net

검색결과 33건 처리시간 0.025초

페트리 넷 기반 시나리오 분석 및 제어를 통한 재생기 구현 (Implementation of a Player via Petri Net-Based Scenario Analysis and Control)

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

  • PDF

인터넷 멀티미디어 시나리오를 모델하기 위한 페트리 넷 소개 (A Petri Net for Modeling Internet Multimedia Scenario)

  • 임재걸
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (2)
    • /
    • 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을 제안한다.

  • PDF

페트리 네트를 이용한 멀티미디어 동기화 모델의 설계 및 검증 (Design and Verification of Multimedia Synchronization Model using PetriNet)

  • 오명관;이근왕
    • 한국산학기술학회논문지
    • /
    • 제11권2호
    • /
    • pp.584-589
    • /
    • 2010
  • 본 논문에서는 만족스런 서비스 품질을 제공하는 페트리 네트 기반의 멀티미디어 동기화 모델을 제안한다. 제안한 모델은 실시간 특징을 나타내는 데이터의 서비스 품질을 보장할 수 있는 가변적 버퍼를 적용하였다. 본 논문에서는 페트리네트를 확장하여 새로운 멀티미디어 동기화 규격 모델을 표현할 수 있는 PBMSM을 제안하고, 제안한 모델의 검증을 위하여 페트리 네트의 두가지 분석방법에 의해 증명을 하였다. 그리고 기존의 모델과 비교하여 성능이 우수함을 보였다. 제안한 모델은 양질의 서비스 보장을 요구하는 시스템에 적합하다.

분산 멀티미디어 응용을 위한 실시간 동기화 메카니즘 (A Real-Time Synchronization Mechanism for Distributed Multimedia Applications)

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

  • PDF

인터넷상에서 페트리 넷을 이용한 하이퍼-프리젠테이션의 명시 표현 및 불일치성을 검증하기 위한 방법 연구 (A Method for Describing a Hyper-Presentation Specification and Checking It's Inconsistency using Petri-Net in a Internet)

  • 우시연;조종근;임영환;임기욱
    • 정보처리학회논문지B
    • /
    • 제9B권5호
    • /
    • pp.615-624
    • /
    • 2002
  • 하이퍼-프리젠테이션 개념은 하이퍼-미디어 개념을 확장한 것으로, 동적으로 연출되고 있는 상황에서 링크개념을 설정하여 특정시점이나 지점에서 원하는 다음 정보를 보기 위해서 비순차적으로 연출할 수 있도록 하는 연출이다. 이러한 비순차적인 연출방법인 하이퍼-프리젠테이션 개념을 도입함으로써, 자유로운 멀티미디어 연출이 가능하게 되었지만, 이러한 동기화 방법에 의해서 혼합된 여러 프레젠테이션들간에는 일관성 문제가 발생할 수 있다. 본 논문에서는 하이퍼-프리젠테이션 명시 프로그램의 일관성 검증을 위해서 Petri Net을 이용한 하이퍼-프리젠테이션 명시 방법을 제시하고, 그것을 이용한 명시 프로그램의 일관성을 검증하는 방법을 제안한다.

대기행렬 페트리넷을 이용한 웹서비스 시스템 분석 방법 (A Web Service System Analysis Method Using Petri Net with Queue)

  • 심규박;임재걸;이계영;김진석
    • 한국멀티미디어학회논문지
    • /
    • 제14권11호
    • /
    • pp.1409-1419
    • /
    • 2011
  • 소프트웨어 시스템 개발의 초기 단계에서 시스템의 처리 시간이나 비용을 예측하는 것이 매우 중요하다는 것은 널리 알려진 사실이다. 많은 논문에 처리 시간을 예측하는 페트리넷 방법이 소개된 바 있다. 한편, 컴퓨터 과학 분야의 다른 영역에서는 응용 시스템 개발의 효율성을 증진시키는 방법으로 웹서비스가 깊이 있게 연구되고 있다. 이러한 두 가지 현상을 고려하여, 본 논문은 웹 서비스로 구성된 응용 소프트웨어 시스템의 처리시간을 분석하는 페트리넷 방법을 소개한다. 웹 응용 시스템의 처리시간을 어떤 상수로 표현하기는 대단히 어렵다. 따라서 본 논문은 대기행렬을 갖는 페트리넷으로 웹 응용 시스템을 표현할 것을 제안한다. 본 논문의 핵심은 이러한 대기행렬을 갖는 페트리넷의 분석 방법을 소개한 것이다.

모바일 환경에서 페트리 넷을 이용한 하이퍼-프레젠테이션의 명시 표현과 일관성을 검증하기 위한 방법 (Method for Detecting Hyper-Presentation Specification and Inconsistent using Pertri-Net in Mobile Environments)

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

멀티미디어 응용의 명세, 분석 및 재생제어를 위한 베타분포형 시간 패트리넷 모형 (A Beta-distributed Timed Petri Net Model for Specification, Analysis and Playout Control of Multimedia Titles)

  • 이진석;이강수
    • 한국멀티미디어학회논문지
    • /
    • 제2권2호
    • /
    • pp.200-216
    • /
    • 1999
  • 본 연구에는 멀티미디어 타이틀의 저작과 동기화 문제를 효과적으로 명세하고 분석할 수 있으며, 타이틀의 재생을 직접 제어할 수 있는 통합모형인 BTPN모형과 패러다임들을 제시한다 타이틀내의 객체들간의 모든 관계들을 BTPN구조와 BTPN언어로 명세하는 방법과 잔여시간형 도달성그래프, 타이밍다이어그램 둥을 이용하여 BTPN을 분석하는 방법을 제시하였다. 특히, PERT/CPM방법으로부터 도입한 임계객체경로나 최 장경로 개념은 타이틀 저작 및 재생시의 불확실성을 모형화하며 재생시간의 조정도 가능하게 하고 있다.

  • PDF

Privacy-Aware Adaptable Web Services Using Petri Nets

  • Song, You-Jin;Yim, Jae-Geol
    • 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.

고품질의 서비스를 위한 페트리네트 기반의 멀티미디어 동기화 모델 (Petri-net Based Multimedia Synchronization Model for High Quality of Service)

  • 이근왕;이기성;이문호;오해석;김은영
    • 한국통신학회논문지
    • /
    • 제24권6B호
    • /
    • pp.997-1003
    • /
    • 1999
  • 다양한 멀티미디어 객체간의 시간 관계를 유연하게 서술할 수 있고, 미디어내의 시간 차이를 나타내는 지터와 미디어간의 시간 차이를 나타내는 스큐에 대한 서비스 품질 요구사항을 반영한 동기화 모델이 요구된다. 따라서 본 논문에서는 만족스런 서비스 품질을 제공하는 페트리 네트 기반의 멀티미디어 동기화 모델을 제안한다. 제안한 모델은 실시간 특징을 나타내는 데이터의 서비스 품질을 보장할 수 있는 최대 허용 지터 값과 최대 허용 스큐 값을 적용하였다. 본 논문에서는 페트리네트를 확장하여 분산환경에서 표현할 수 있는 새로운 동기화 규격 모델을 제안하고 제안한 모델의 검증을 위하여 페트리 네트의 두가지 분석방법에 의해 증명을 하였다. 그리고 기존의 모델과 비교하여 성능이 우수함을 보인다. 제안한 모델은 고품질 서비스의 보장을 요구하는 시스템에 적합한 모델이 된다.

  • PDF