[소프트웨어공학]페트리넷(petri net)에 대해서...

소개

페트리넷에 관한 설명과 timed petrinet, colored petrinet, 관련툴에 관해 간단히 설명

목차

Petri Net이란....
Petri Net 의 종류에는...
Timed Petri Net...
T-TPN : Firing Times 동작
T-TPN : Holding Times 동작
P-TPN : Holding Times
T-TPN 과 P-TPN의 Holding Time 비교
T-TPN : Enabling Times
Holding Time 과 Enabling Time의 비교
Holding Time 과 Enabling Time의 비교
TPN 의 장단점
Colored Petri net
Petri Net 관련 tool

본문내용

Petri Net이란....
- Petri Net는 1960년대 C.A. Petri에 의해 처음 개발되었다. 페트리 네트는 오토마타와 유사한 점이 많고, 실제로 오토마타는 페트리 네트로 표현이 가능하다. 페트리 네트의 장점은 동시성(Concurrency)과 동기 적인 사건(Synchronized Event)을 표현할 수 있으며, 가시적으로 표현(Visuality)이 가능하여 이해하기 편리하다는 장점이 있다. 지금까지 페트리 네트를 이용한 많은 이론적인 연구과 개발 툴들이 개발되어 왔다. Petri net가 concurrent 현상을 모델 하는 데 유망하게 쓰이는 이유는 Petri net 자체를 분석하는 방법이 발전되어 있기 때문이다. Petri net의 분석 방법 중에 사이폰과 덫을 이용하는 방법이 free net의 liveness 분석을 위시한 여러 방면에 사용된다. 본 논문에서는 기존의 S-invariant를 찾는 방법을 사이폰의 논리적 표현에 적용하여 사이폰을 찾는 방법과 Petri net의 boundedness를 판단하는 방법, 그리고 일반 그래프와 유향그래프의 모든 닫힌 경로를 표현하는 방법을 소개한다. 더 나아가 토큰 불변을 정의하고 주어진 Petri net의 모든 토큰 불변을 표현하는 방법 역시 소개 한다. 병렬 처리 시스템에서 프로그램을 보다 편리하고 효율적으로 개발하기 위한 프로그램 개발 지원 도구는 순차적 컴퓨터의 경우보다 훨씬 더 필요하다. 여기서는 병렬성을 잘 표현할 수 있는 Petri net을 사용하여 문제를 시각적으로 명시할 수 있게 했다. 이를 위해 Petri net 모델을 다단계로 쉽게 작성할 수 있는 그림 편집기를 개발하였고, 작성된 Petri net 모델을 Occam 프로그램으로 변환시키는 모듈을 구현하였다. Petri net 모델을 이용함으로써 top-down 방식으로 프로그램을 효율적으로 개발할 수 있을 뿐 아니라, 생성된 Occam 프로그램의 검증에도 이용할 수 있다.

Petri Net 의 종류에는...
Petri Net에 사용되는 기호는 다음과 같다.
• p : 플레이스 p의 입력 집합 , a(t, p)

참고자료

· 네이버 - 가우리 학문 공동체 카페
· 부경대학교 대학원 http://isec.pknu.ac.kr/ 세미나 자료실
· google 사이트 검색