지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- 대한전기학회 International Journal of Control Automation and Systems International Journal of Control Automation and System Vol.5 No.4
- 발행연도
- 2007.8
- 수록면
- 463 - 470 (8page)
이용수
초록· 키워드
오류제보하기
Colored Petri net model which is a model of discrete event systems is considered in this work. A supervisory controller which enforces reversibility and liveness simultaneously is presented. Furthermore, the algorithms, written by pseudo-code, are presented for the supervisory controller design. A program is developed to implement these algorithms.
목차
Abstract
1. INTRODUCTION
2. COLORED PETRI NETS
3. REVERSIBILITY AND LIVENESS
4. CONTROLLER DESIGN
5. PROGRAM
6. EXAMPLE
7. CONCLUSION
APPENDICES
REFERENCES
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Supervisory Controller Design to Enforce Reversibility and Liveness in Colored Petri Nets
International Journal of Control, Automation, and Systems
2007 .08
-
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
-
Checking Liveness in Petri Nets Using Synchronic Variables
대한전자공학회 학술대회
1991 .01
-
시간논리 구조와 Colored Resource-Oriented Petri Net을 이용한 FMS's의 감시제어
대한전기학회 학술대회 논문집
2001 .07
-
Initial-Marking-Based Liveness Conditions of Subclasses of General Petri Nets
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1991 .01
-
An Application of Behavioral Traps to Liveness Monotonicity of Petri Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2005 .07
-
Distributed Control of Industrial Robot Systems using Petri Net Based Multitask Processing
제어로봇시스템학회 국제학술대회 논문집
2009 .08
-
Petri net와 그의 변형
(구)정보과학회논문지
1983 .05
-
On some analysis problem of extended batch Petri nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2009 .07
-
Petri net의 확장에 관한 연구 ( A Study on the extension of Petri Net ）
한국통신학회지(정보와통신)
1982 .01
-
Colored Batch Petri Net and its Application to Emergency Evacuation System
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2007 .07
-
A New Queuing Scheme on ATM Networks and its Colored Petri Net Based Evaluation
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1998 .01
-
Petri Net Analysis Methods and Fuzzy-Timing High-Level Petri Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1996 .01
-
Fuzzy Petri Net을 이용한 Communication Protocol의 Data control과 Modeling
한국정보과학회 학술발표논문집
1991 .04
-
Time Petri Nets에서의 스케쥴 문제분석 ( Scheduling Problems Analysis For Time Petri Net Reduction )
대한전자공학회 학술대회
1996 .01
-
Initial-Marking-Based Liveness on Dissynchronous Choice Petri Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1996 .01
-
A Place-Invariant Based Method for Supervisory Control of Workflow Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2015 .06
-
페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석
정보과학회논문지 : 소프트웨어 및 응용
2000 .03
-
시스템 분석을 위한 Petri net의 축조 연구
한국통신학회 학술대회논문집
1990 .11
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2010-560-001921260