지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of Computing Science and Engineering Journal of Computing Science and Engineering Vol.9 No.1
- 발행연도
- 2015.3
- 수록면
- 9 - 19 (11page)
이용수
초록· 키워드
오류제보하기
The most important challenge in the region-based abstraction method as an approach to compute the state space of time Petri Nets (TPNs) for model checking is that the method results in a huge number of regions, causing a state explosion problem. Thus, region-based abstraction methods are not appropriate for use in developing practical tools. To address this limitation, this paper applies a modification to the basic region abstraction method to be used specially for computing the state space of TPN models, so that the number of regions becomes smaller than that of the situations in which the current methods are applied. The proposed approach is based on the special features of TPN that helps us to construct suitable and small region graphs that preserve the time properties of TPN. To achieve this, we use TPN-TCTL as a timed extension of CTL for specifying a subset of properties in TPN models. Then, for model checking TPN-TCTL properties on TPN models, CTL model checking is used on TPN models by translating TPN-TCTL to the equivalent CTL. Finally, we compare our proposed method with the current region-based abstraction methods proposed for TPN models in terms of the size of the resulting region graph.
목차
Abstract
Ⅰ. INTRODUCTION
Ⅱ. PRELIMINARIES
Ⅲ. PROPOSED ABSTRACTION METHOD
Ⅳ. TCTL FOR TPN MODELS
Ⅴ. EXPERIMENTAL RESULTS
Ⅵ.CONCLUSIONS AND FUTURE WORK
REFERENCES
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Performance evaluation of safety-critical systems of nuclear power plant systems
Nuclear Engineering and Technology
2020 .01
-
탄도 표적 요격을 위한 순차 컨벡스 계획법 기반 추력 벡터 자세각 최적화
한국항공우주학회 학술발표회 초록집
2022 .04
-
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
-
A Machine Learning-based Approach on The Automatic Sensor Event Abstraction for Process Model Discovery
대한산업공학회 춘계공동학술대회 논문집
2018 .04
-
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 모델 시뮬레이션을 통한 게임플레이 분석방법
한국게임학회 논문지
2015 .10
-
Model-Based Design and Control of Distributed DNA-Based Systems by Petri Nets
NANO
2016 .01
-
STPA와 Petri Nets의 연계: 음성인식 기반 제조 안전시스템 사례 연구
한국통신학회 학술대회논문집
2024 .06
-
정량적 사용성 평가를 지원하기 위한 정형적 모델링 방법론
대한전자공학회 학술대회
2016 .06
-
A response surface method based on sub-region of interest for structural reliability analysis
Structural Engineering and Mechanics, An Int＇l Journal
2016 .01
-
A response surface method based on sub-region of interest for structural reliability analysis
Structural engineering and mechanics : An international journal
2016 .01
-
Graphical Abstraction of Time-Series Dynamics : A Spatial Perspective for Enhanced Understanding
대한산업공학회 추계학술대회 논문집
2023 .11
-
Water Region Segmentation Scheme using Seeded Region Growing
JOURNAL OF ADVANCED INFORMATION TECHNOLOGY AND CONVERGENCE
2018 .07
-
제조설비 제어 및 운용을 위한 다층 하드웨어 추상화
대한기계학회 춘추학술대회
2020 .12
-
핵심 객체 추출에 기반한 비주거 시설의 화재불꽃 추출에 관한 기초 연구
디지털산업정보학회논문지
2017 .01
-
Focused region extraction based multi-focus image fusion method
대한전자공학회 학술대회
2016 .11
-
멀티코어 실시간 응용을 지원하는 HAL (Hardware Abstraction Layer)
한국정보과학회 학술발표논문집
2024 .12
-
추상화 개념 습득을 위한 Think-aloud 프로그램 개발
한국컴퓨터정보학회논문지
2016 .12
-
Petri Net Modeling for Performance Analysis of FF-Based Process Control in Terms of Safety and Availability Enhancement
제어로봇시스템학회 국제학술대회 논문집
2017 .10
-
다양한 환경에 강인한 컬러기반 실시간 손 영역 검출
대한임베디드공학회논문지
2019 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2016-569-001352991