지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 1991.10
- 수록면
- 1,811 - 1,816 (6page)
이용수
초록· 키워드
오류제보하기
등록된 정보가 없습니다.
목차
Abstract
1. Introduction
2. Synchronic Variables and LB-Circuit
3. Measuring Liveness Using Deviation Bound
4. Conclusions
Acknowledgements
References
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Checking Liveness in Petri Nets Using Synchronic Variables
대한전자공학회 학술대회
1991 .01
-
THE FRAMEWORK FOR THE INITIAL-MARKING-BASED NECESSARY AND SUFFICIENT LIVENESS-CONDITION OF GENERAL PETRI NETS
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1992 .01
-
PROTOCOL ENGINEERING ENVIRONMENT BASED ON PETRI NETS
대한전자공학회 기타 간행물
1992 .01
-
Liveness Preserving Place Deletion in Petri Net
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2003 .07
-
A Useful Necessary condition and a Simple Sufficient Condition for Liveness of Timed Petri Nets
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1990 .01
-
A PRACTICAL APPLICATION OF PETRI NET TO CONCURRENT EMBEDDED SYSTEM DESIGN AND ANALYSIS : A CASE ON LIFE SYSTEM
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1992 .01
-
RULE - BASED SYSTEM 의 INCONSISTENCY CHECKING 을 위한 알고리즘 설계
한국정보과학회 학술발표논문집
1986 .10
-
The Initial-Marking-Based Necessary and Sufficient Condition for Liveness of Extended Conflict Free Nets
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1993 .01
-
MODELING AND ANALYSIS FOR GSM CALL PROCESSING PROTOCOL USING PETRI NET
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1992 .01
-
MODELING AND VERIFICATION FOR STATE TRANSITION TABLE OF COMMUNICATION PROTOCOLS BY USING PETRI NET
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1989 .01
-
THE LANGUAGE-BASED PETRI NET EXPRESSIONS AND ITS DERIVATION RULES
대한전자공학회 심포지엄 논문집
1985 .01
-
Initial-Marking-Based Liveness Conditions of Subclasses of General Petri Nets
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1991 .01
-
ANALYSIS OF QUASI-ACYCLIC PETRI NET
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2006 .07
-
An Application of Behavioral Traps to Liveness Monotonicity of Petri Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2005 .07
-
Polynomial Time Solvability of Liveness Problem of Siphon Containing Circuit Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2002 .07
-
주파수 분석법을 이용한 위조 지문 검출
대한전자공학회 학술대회
2007 .11
-
Supervisory Controller Design to Enforce Reversibility and Liveness in Colored Petri Nets
International Journal of Control, Automation, and Systems
2007 .08
-
Liveness Detection of Fingerprints using Perspiration Patterns in Various Environments
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2005 .07
-
On an effective marking with synchronic distance
대한전자공학회 심포지엄 논문집
1998 .01
-
Synchronic Time Ratio를 이용 시간 페트리 네트로 모델링된 시스템의 최적 성능에 필요한 초기 조건 결정
제어로봇시스템학회 논문지
1997 .02
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2014-569-000851275