학술저널
추이적 행렬을 이용한 패트리 넷 모델의 분석방법에 대한 연구
A study on the analysis method of Petri Net Models Using the Transitive Matrix
- 한국시뮬레이션학회
- 한국시뮬레이션학회 논문지
- 제10권 제1호
-
2001.0313 - 24 (12 pages)
- 0
We propose a divide-conquer method of Petri nets under the condition of one-boundedness for all the Petri nets. We introduce the P-invariant transitive matrix of Petri nets and relationship between them. The feature of the P-invariant transitive matrix is that each element stands for the transitive relationship between input place and output place through the firing of the enable transition.
1. 서론
2. 패트리 넷
3. 패트리 넷 모델의 분할에 관한 연구들
4. 추이적 행렬 분할 방법
5. 예제 패트리 넷 모델
6. 결론 및 앞으로의 연구 방향
참고문헌
(0)
(0)