지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
Abstract
1. Introduction
2. Definitions
3. Removing Places Preserving Liveness
4. Computational Complexity of Liveness
5. Conclusion
References
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
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
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
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
Supervisory Controller Design to Enforce Reversibility and Liveness in Colored Petri Nets
International Journal of Control, Automation, and Systems
2007 .08
Petri Net Analysis Methods and Fuzzy-Timing High-Level Petri Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1996 .01
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
Fuzzy Petri Net을 이용한 Communication Protocol의 Data control과 Modeling
한국정보과학회 학술발표논문집
1991 .04
시스템 분석을 위한 Petri net의 축조 연구
한국통신학회 학술대회논문집
1990 .11
시스템 분석을 위한 Petri net 축조 연구 ( A Relation Reduction of Petri nets for System Analysis )
한국통신학회 학술대회논문집
1990 .01
Petri net의 구조적 boundedness를 판단하는 방법
한국정보과학회 학술발표논문집
1993 .04
컴퓨터 시스템 분석을 위한 Petri net언어의 생성 ( Petri Net Language generation for analysis of computer system )
대한전자공학회 학술대회
1986 .01
컴퓨터 시스템 분석을 위한 Petri net언어의 생성
대한전자공학회 학술대회
1986 .12
페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석
정보과학회논문지 : 소프트웨어 및 응용
2000 .03
Supervisory Controller Design to Enforce Reversibility and Liveness in Colored Petri Nets
International Journal of Control Automation and Systems
2007 .08
Petri net의 擴張에 關한 硏究
한국통신학회논문지
1982 .12
0