본 논문은 페트리네트(petrinet)의 부분집합인 MG(Marked Graph)에 시간의 정보를 추가시킨 timed MG의 성능평가에 대한 알고리즘을 제시한다. 이 timed MG의 최대 성능을 구하는 문제는 NP-hard 문제이므...
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A82305362
1988
Korean
004
학술저널
523-526(4쪽)
0
상세조회0
다운로드국문 초록 (Abstract)
본 논문은 페트리네트(petrinet)의 부분집합인 MG(Marked Graph)에 시간의 정보를 추가시킨 timed MG의 성능평가에 대한 알고리즘을 제시한다. 이 timed MG의 최대 성능을 구하는 문제는 NP-hard 문제이므...
본 논문은 페트리네트(petrinet)의 부분집합인 MG(Marked Graph)에 시간의 정보를 추가시킨 timed MG의 성능평가에 대한 알고리즘을 제시한다. 이 timed MG의 최대 성능을 구하는 문제는 NP-hard 문제이므로 제한된 MG로부터 시작, 일반적인 MG로 확장시키므로써 polynomial bounded한 알고리즘을 구한다.
목차 (Table of Contents)
자료 종속관계를 이용한 프로그램 복잡도 측정에 관한 연구
자료흐름도로부터 실행가능한 명세를 작성하기 위한 명세 언어의 설계 및 구현