• International Journal of Control, Automation, and Systems
• /
• 제1권4호
• /
• pp.431-443
• /
• 2003

This paper presents an efficient method to evaluate the performance of an extended stochastic Petri net by simple algebraic operations. The reachability graph is derived from an extended stochastic Petri net, and then converted to a timed stochastic state machine, using a semi-Markov process. The n-th moments of the performance index are derived by algebraic manipulations with each of the n-th moments of transition time and transition probability. For the derivation, three reduction rules are introduced on the transition trajectories in a well-formed regular expression. Efficient computation algorithms are provided to automate the suggested method. The presented method provides a proficient means to derive both the numerical and the symbolic solutions for the performance of an extended stochastic Petri net by simple algebraic manipulations.

• 전자공학회논문지C
• /
• 제34C권5호
• /
• pp.9-18
• /
• 1997

The petri net is a graphic model which is adaptable in modeling a complex concurrent parallel ssystem, and it is widely used in the fields of industrial enginering, computer science, electric engineeringand chemistry. Recently, the net is applied to the communication protocol, and extended to represent complex systems. There are several extended petri nets named as TPN (timed petri net), SPN (stochastic petri net), FPN(fuzzy petri net) and TFPN(timed fuzzy petri net). Accodingly, this SPN (stochastic petri net), FPN (fuzzy petri net) and TFPN(timed fuzzy petri net). Accodingly, this paper proposes an advanced communication protocol modeling method using the fuzzy value of the transition and firing delay time as the arguments of the function. The proposed method can produce clearer firing rules, and it is supposed to be used to design and analyse communication protocols in great effection.

• 제어로봇시스템학회논문지
• /
• 제2권3호
• /
• pp.220-228
• /
• 1996

This paper presents a extended stochastic Petri net (ESPN) model for CTN(Circulated Token with No duration) service in the data link layer of IEC/ISA fieldbus. It is assumed that a station on the fieldbus has a specified minimum token holding time, a finite capacity buffer, and one transmitter queue with the highest priority. The mean transmission (or service) time at a station and the mean token rotation time for the symmetric fieldbus system atr derived using the presented SPN model and the moment generating function. These performance measures are represented in terms of the minimum token holding time, the number of stations, the arrival rate of messages, and the mean length of messages. The presented performance measure are validated by computer simulations.

• 한국콘텐츠학회논문지
• /
• 제3권4호
• /
• pp.55-62
• /
• 2003

본 논문에서는 무선망에서 핸드오프 호의 분실확률을 줄일 수 있는 호 제어 기법을 제안한다. 제안한 기법은 진행 중인 시스템 용량인 유효로드와 임계치를 이용하여 호의 수락 여부를 결정하며 측정된 유효로드가 미리 정해진 임계치보다 크면 신규 호는 차단시키고, 핸드오프 호는 큐잉을 허용한다. 호 수락 제어 기법의 성능분석을 위하여 추계적 페트리 네트의 확장인 SRN 모델이 개발된다. SRN 모델링 기법은 성능분석을 위하여 필요한 마르코프 체인의 복잡한 해석적 분석대신 보상 개념에 의한 손쉬운 성능분석 수행방법을 보여준다.

• 한국콘텐츠학회논문지
• /
• 제8권1호
• /
• pp.300-307
• /
• 2008

전력관리는 전력상태 전환과 시스템 부하 (workload)에 의존성이 있다. 시스템 모델은 전력상태 전환과 시스템 큐에 대한 추계적 모델들로 구성된다. 본 논문에서는 다양한 전력관리 기법을 위한 추계적 모델들을 개발한다. 추계적 프로세스에 기반한 전력관리 모델은 시스템 큐와 다양한 모델링 기능을 표현할 수 있는 페트리 네트의 확장형인 SRN (Stochastic Reward Nets)을 이용하여 개발된다. 적응적 타임아웃기반 전력관리 SRN 모델을 개발하고 기존 전력관리 기법인 greedy, N-Policy 기법과 전력소모 및 성능비교를 수행한다.

• 한국콘텐츠학회논문지
• /
• 제8권1호
• /
• pp.169-176
• /
• 2008

본 논문에서는 접속 (connection)과 패킷의 두 레벨 (level)을 함께 고려하는 IEEE 802.16 망에서의 무선 자원 관리 큐잉 모델을 개발한다. 상위 레벨인 접속 레벨에서는 대역폭 가용여부와 서비스 클래스별 우선순위 큐를 사용하여 접속 수락제어를 모델링하고 하위 레벨인 패킷 전송은 서비스 클래스별 임계치와 현재 가용한 대역폭의 두 항목을 동시에 고려한 동적 대역폭 할당 방법을 모델링 한다. 계층 모델은 페트리 네트의 확장형인 SRN (Stochastic Reward Nets)을 이용하여 개발되며 802.16서비스 클래스별 트래픽에 대한 대역폭 활용률과 처리율을 성능지표로 모델에 대한 수치결과를 구한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2007년도 추계종합학술대회
• /
• pp.355-358
• /
• 2007

무선 이동통신 시스템은 음성 위주의 서비스에서 고속의 데이터 전송 및 멀티미디어 서비스로 다양화되고 서비스 수요도 증가되고 있다. 이러한 환경에서 다양화된 서비스에 대한 Qos를 보장하는 호수락 제어 기법에 대한 연구가 진행되고 있다. SRN(Stochastic Reward Net)은 페트리 네트의 확장형으로 성능분석을 위한 다양한 기능을 가진 모델링 도구이다. 본 논문에서는 4세대 이동통신 기술로 기대되고 있는 IEEE 802.16e에서 정의하고 있는 4가지 서비스 클래스를 고려한 호 수락 제어 기법에 대한 모델을 SRN을 이용하여 개발한다.