학술논문
추이적 행렬을 이용한 패트리 넷 모델의 분석방법에 대한 연구
이용수 0
- 영문명
- A study on the analysis method of Petri Net Models Using the Transitive Matrix
- 발행기관
- 한국시뮬레이션학회
- 저자명
- 송유진(Yu Jin Song) 이종근(Jong kun Lee)
- 간행물 정보
- 『한국시뮬레이션학회 논문지』제10권 제1호, 13~24쪽, 전체 12쪽
- 주제분류
- 공학 > 기타공학
- 파일형태
- 발행일자
- 2001.03.30
4,240원
구매일시로부터 72시간 이내에 다운로드 가능합니다.
이 학술논문 정보는 (주)교보문고와 각 발행기관 사이에 저작물 이용 계약이 체결된 것으로, 교보문고를 통해 제공되고 있습니다.
국문 초록
영문 초록
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. 결론 및 앞으로의 연구 방향
참고문헌
키워드
해당간행물 수록 논문
참고문헌
교보eBook 첫 방문을 환영 합니다!
신규가입 혜택 지급이 완료 되었습니다.
바로 사용 가능한 교보e캐시 1,000원 (유효기간 7일)
지금 바로 교보eBook의 다양한 콘텐츠를 이용해 보세요!