Petri nets

페트리 네트

패트리네트는 시스템의 관계를 시작적으로 보여주어 시스템의 모델링을 쉽게 만든다. 시스템의 각 부분에 관한 정보를 가지고 전체와 부분에 대하여 하향식(top-down)과 상향식(bottom-up) 설계를 할 수 있게 해준다. 패트리네트는 그래프 표현이므로 FMS(flexible manufacturing systems)등과 같은 실시간 제어(real-time control)의 구현에 사용될 수 있으며 토큰 정보로부터 시스템의 각 부분의 상태를 실시간 감시(monitoring)할 수 있다. 패트리네트는 PLC(programmable logic controller)와 같이 여러 요소시스템(subsystem)을 순서대로 동작시키고 조정한다. 시스테메 대한 페트리네트 모델로부터 시뮬레이션(simulation)을 할 수 있고, 이로부터 성능 평가를 할 수 있다.