지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- 대한전자공학회 ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications ITC-CSCC 2015
- 발행연도
- 2015.6
- 수록면
- 268 - 271 (4page)
이용수
초록· 키워드
오류제보하기
In this paper, we proposed a supervisory control method for workflow nets. Workflow nets are a particular class of Petri nets, but have analysis techniques for more properties, e.g. logical correctness called soundness, than Petri nets. We tackled the following problem: Given a (plant) workflow net (N<SUB>P ;</SUB>M<SUB>0P</SUB> ) and a constraint specification, construct a workflow net (N<SUB>S</SUB>;M<SUB>0S</SUB>) which consists of NP and a (supervisory controller) Petri net NC which satisfies the constraint specification. We proposed (i) a sufficient condition for the existence of (N<SUB>S</SUB>;M<SUB>0S</SUB>) based on place-invariants, and (ii) a procedure to construct (N<SUB>S</SUB>;M<SUB>0S</SUB>). The advantage of our method is to enable us to take account of logical correctness which may be lost by supervisory control. We also illustrated the proposed method with an application example and showed its usefulness.
목차
Abstract
1. Introduction
2. WF-nets and supervisory control
3. Supervisory control for WF-nets
4. Application example
5. Conclusion
References
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Computational complexity of state number calculation problem of some bounded classes of Petri net
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2015 .06
-
3D-U2-Net 기반 새로운 뇌종양 분할 모델
멀티미디어학회논문지
2023 .03
-
On Implicit Place and Its Application to Refactoring in Acyclic Extended Free Choice Workow Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2015 .06
-
U-Net 소개
설비저널
2025 .04
-
전장정보체계 SW 개발을 위한 시큐어 코딩 라이브러리에 관한 연구
전기전자학회논문지
2018 .06
-
A study of anisotropic yield function based on J₂ and J₃ invariants
한국소성가공학회 학술대회 논문집
2019 .10
-
Petri Net 모델 시뮬레이션을 통한 게임플레이 분석방법
한국게임학회 논문지
2015 .10
-
Model-Based Design and Control of Distributed DNA-Based Systems by Petri Nets
NANO
2016 .01
-
STPA와 Petri Nets의 연계: 음성인식 기반 제조 안전시스템 사례 연구
한국통신학회 학술대회논문집
2024 .06
-
의료 영상 시스템에서 다중 연쇄 U-Net 모델을 이용한 개선된 췌장 영역 분할 탐지
한국정보기술학회논문지
2022 .05
-
당신의 건물은 net zero 에너지나 net zero 탄소에 맞게 운영되고 있습니까?
설비저널
2024 .07
-
Performance measurement of safety-critical systems based on ordinary differential equations and Petri nets: A case study of nuclear power plant
Nuclear Engineering and Technology
2023 .03
-
Petri Net Modeling for Performance Analysis of FF-Based Process Control in Terms of Safety and Availability Enhancement
제어로봇시스템학회 국제학술대회 논문집
2017 .10
-
제로에너지 관리 및 계산방법의 사용자 가이드라인 표준화 방안
조명·전기설비학회논문지
2018 .01
-
U-Net을 활용한 풍동 시뮬레이션 예측
한국정보과학회 학술발표논문집
2020 .07
-
R-NET 기반 한국어 금융 데이터 질의응답 시스템
정보 및 제어 논문집
2019 .10
-
전기 정전용량을 기반으로 U-net 모델을 이용한 반도체 후단 공정의 잔류물 모니터링
전기전자학회논문지
2024 .06
-
지류 매핑을 위한 관리제어이론 기반 다중 UAV 의 리더-팔로워 제어: 예비결과
제어로봇시스템학회 국내학술대회 논문집
2021 .06
-
도로환경에서 차량 검출을 위한 U-Net 기반 모델 성능 비교
한국통신학회 학술대회논문집
2022 .11
-
Development of identification based fuzzy supervisory control for pressure tank system
제어로봇시스템학회 국제학술대회 논문집
2022 .11
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2016-569-001696094