지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. 타임드 페트리넷 (Timed Petri - net)
3. 축소상태그래프(Reduced State Graph)의 생성
4. 실험 결과
5. 결론
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
시간 제한 조건을 가진 결정성 신호 전이 그래프로부터 비동기 회로의 합성
정보과학회논문지 : 시스템 및 이론
2000 .02
位相 그래프와 回路網 解析理論(Ⅱ)
전기의세계
1979 .04
位相그래프와 回路網解析理論(Ⅰ)
전기의세계
1979 .03
비동기식 순차 및 병행 제어 회로의 직접 합성 규칙
한국정보기술학회논문지
2013 .08
속도 독립 회로를 위한 직접 합성 시스템
정보과학회논문지 : 시스템 및 이론
2001 .02
신호전이그래프를 이용한 비동기회로의 상위수준 테스트 생성
대한전자공학회 학술대회
2000 .06
페트리 네트 모델 검증의 자동화에 관한 연구
한국정보과학회 학술발표논문집
1996 .04
언폴딩에 기반한 유한페트리넷의 실용적 도달가능성 분석
정보과학회논문지 : 시스템 및 이론
2000 .06
구문의존구조에서 개념그래프 생성을 위한 한국어의 의미분석
한국정보과학회 학술발표논문집
1997 .04
확장된 타임 페트리 네트에 의한 분산시스템의 성능 분석 ( Performance Analysis of Distributed system by Extended Time Petri Nets )
한국통신학회논문지
1989 .06
I / O 효율성을 위해 확장된 Multilevel 그래프 분할 기법
한국정보과학회 학술발표논문집
2003 .04
페트리 네트를 이용한 그래픽 프로그래밍
한국정보과학회 학술발표논문집
1990 .04
금형 제조공정에 대한 퍼지형 복합 페트리넷의 모델링 및 시뮬레이션
대한산업공학회 추계학술대회 논문집
2012 .11
시간작동 시스템에 대한 시간페트리넷 모델화 및 해석 ( Time Petri Net Modeling and Analysis for Time-Driven Systems )
대한전자공학회 학술대회
1984 .01
C 프로그램의 의존성 그래프 생성
한국정보과학회 학술발표논문집
2005 .11
[特輯]최적화 문제에서 그래프의 응용
정보과학회지
1992 .12
실시간 객체 지향 소프트웨어 설계에서 시간 제약의 모델링 및 구현
한국정보과학회 학술발표논문집
1997 .10
신호 전이 그래프로부터 속도 독립 회로의 합성 알고리즘
(구)정보과학회논문지
1994 .11
15V 논리를 이용한 비동기 회로 시험패턴생성
한국정보과학회 학술발표논문집
1993 .10
0