지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
Abstract
1. Introduction
2. Definitions
3. Liveness and Incidence Matrix
4. SCC net and TCC net
5. Liveness of SCC net
6. Conclusion
References
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Numerical Analysis of a Siphon Phenomenon
International Conference on Marine Engineering
2001 .10
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
Liveness Preserving Place Deletion in Petri Net
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2003 .07
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
Checking Liveness in Petri Nets Using Synchronic Variables
대한전자공학회 학술대회
1991 .01
소규모 사이펀 차단기에 대한 실험적 연구
한국산학기술학회 논문지
2018 .05
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
Siphon을 이용한 이산 사건 시스템의 Deadlock 해석
대한전기학회 학술대회 논문집
2001 .11
Siphon을 이용한 이산 사건 시스템의 Deadlock 해석
대한전기학회 학술대회 논문집
2001 .11
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
Siphon 특성을 이용한 이산사건 시스템의 Deadlock 회피
대한전기학회 학술대회 논문집
2003 .07
A Micro Shunt Valve with Anti-siphon Effect
KIEE International Transactions on Electrophysics and Applications
2004 .02
주파수 분석법을 이용한 위조 지문 검출
대한전자공학회 학술대회
2007 .11
Siphon 특성을 이용한 FMS의 Deadlock 해석과 제어
제어로봇시스템학회 논문지
2007 .07
CHECKING LIVENESS IN PETRI NETS USING SYNCHRONIC VARIABLES
제어로봇시스템학회 국내학술대회 논문집
1991 .10
Finding a Maximal Class of Mutually Disjoint Minimal Siphons in General Petri Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1996 .01
Supervisory Controller Design to Enforce Reversibility and Liveness in Colored Petri Nets
International Journal of Control, Automation, and Systems
2007 .08
0