서브메뉴
검색
On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets
On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets
상세정보
- 자료유형
- 기사
- ISSN
- 00189286
- 서명/저자
- On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets / E.Salimi ; R.S. Sreenivas
- 형태사항
- pp. 2825
- 기타저자
- E.Salimi
- 기타저자
- R.S. Sreenivas
- 모체레코드
- 모체정보확인
- Control Number
- gtec:294818
MARC
008151204s2015 a a kor■022 ▼a00189286
■245 ▼aOn Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets▼dE.Salimi▼eR.S. Sreenivas
■300 ▼app. 2825
■7001 ▼aE.Salimi
■7001 ▼aR.S. Sreenivas
■773 ▼tIEEE transactions on Automatic Control▼gv.60 n.10▼d2015, 10
■SIS ▼aKS031506▼b63263▼h3▼sG
