PIPE – Petri Net Editor

Petri Net은 이산 사건 시스템을 modeling하기 위한 방법 중 한가지로,
Automata와 같이 널리 쓰이는 방법입니다.

이 모델은 1939년에 Carl Adam Petri씨가 13살에 화학 프로세스를 묘사하기 위한 목적으로
발명하였다고 합니다.

Petri Net Model은 Place, Transition, Arc, Weight을 이용하여 시스템을 표현한다.
기본적인 문법은 아래와 같이 표현됩니다.

사용자 삽입 이미지
Petri net의 특성에는 Reachability, Liveness, Boundeness 등이 있으며,
보다 자세한 내용은 wikipedia나 아래 다른 사이트를 참고하시면 됩니다.

http://en.wikipedia.org/wiki/Petri_net
http://www.informatik.uni-hamburg.de/TGI/PetriNets/

이 글의 목적이 이론 설명보다는 petri net 프로그램의 소개인 만큼~
이론적인 부분의 설명은 더 이상 하지 않고, 프로그램 실행화면을 첨부하겠습니다.

프로그램 제작 홈페이지는 http://pipe2.sourceforge.net/ 이고,
이 프로그램을 사용하기 위해서는 java를 설치해야 합니다.

사용자 삽입 이미지
프로그램의 기본적인 화면은 위와 같습니다.
메뉴 중에서 Draw에 있는 도구들로 Petri net을 작성하고,
Animate 기능을 이용해서 Petri net을 simulation 해볼 수 있습니다.

위의 화면은 운영체제에서 주로 다루는 Producer & Consumer 동작을
petri net으로 modeling한 예제입니다.

사용하기 쉽도록 제작된 프로그램이어서 Petri net을 실제 simulation해보는데
큰 문제가 없을 것이라 생각됩니다. (저도 처음 사용해봤습니다.^^;;)

사용자 삽입 이미지
실제 Animate 기능을 동작시켰을 때 변화를 이미지로 첨부하였습니다.

* 프로그램 다운로드 직접링크: https://sourceforge.net/projects/pipe2/

You may also like...

댓글 남기기