Nothing close enough? Start from a blank petri net → Describe it in one paragraph.
How to
How to use a petri net template.
- 01플레이스와 초기 토큰 정의하기
각 상태(플레이스)의 이름과 처음 배치할 토큰 수를 정하세요. 이는 시스템의 초기 상태를 나타냅니다.
- 02트랜지션 추가하기
상태를 바꾸는 각 이벤트의 이름을 정하세요. 트랜지션은 입력 플레이스(조건)와 출력 플레이스(결과)를 연결합니다.
- 03아크 그리기
어떤 플레이스가 어떤 트랜지션으로 토큰을 보내고, 어떤 트랜지션이 어느 플레이스에 토큰을 생성하는지 설명하세요.
- 04활성과 안전성 검증하기
AI에게 모델에 교착 상태(활성화된 트랜지션이 없음)나 예상보다 많은 토큰이 있는 안전하지 않은 플레이스가 있는지 확인해 달라고 요청하세요.
FAQ
Questions about petri net templates
Petri net이란 무엇인가요?
동시 및 분산 시스템을 수학적으로 모델링하는 언어입니다. 원(플레이스)은 상태를, 사각형(트랜지션)은 이벤트를 나타내며, 화살표가 이들을 연결합니다. 플레이스의 토큰은 시스템 상태를 표현합니다.
동시성 표현에서 Petri net이 플로차트보다 뛰어난 이유는 무엇인가요?
Petri net은 병렬성, 동기화, 비결정성을 형식적으로 모델링합니다. 이러한 개념은 플로차트로 정확하게 표현하기 어렵습니다. 여러 토큰이 동시에 존재할 수 있어 교착 상태와 경쟁 조건을 분석할 수 있습니다.
트랜지션이 "발화"한다는 것은 무슨 뜻인가요?
모든 입력 플레이스에 필요한 토큰이 있으면 트랜지션이 발화합니다. 발화할 때 각 입력 플레이스에서 토큰 하나를 소비하고, 각 출력 플레이스에 토큰 하나를 생성하여 시스템 상태를 바꿉니다.