지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
Abstract
1. Introduction
2. Preliminaries
3. Problem
4. Refactoring Rules
5. Example
6. Conclusion
References
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
A Soundness Verification Tool Based on the SPIN Model Checker for Acyclic Workflow Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2008 .07
Two Step Framework to Extend Workflow Nets and Soundizability Problem
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2009 .07
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
.NET 기술
한국멀티미디어학회지
2003 .03
On Parallel Degree of Workflow Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2006 .07
Estimation of Accessibility and Usability in Web Interaction for Personalized Ubiquitous Web Information Services
정보과학회논문지 : 소프트웨어 및 응용
2008 .08
전장정보체계 SW 개발을 위한 시큐어 코딩 라이브러리에 관한 연구
전기전자학회논문지
2018 .06
.NET Language특성
한국멀티미디어학회지
2003 .03
Deadlock Free를 위한 Petri Net의 합성및 제거
한국정보과학회 학술발표논문집
1985 .04
.NET 기술동향
한국멀티미디어학회지
2003 .03
WFS의 원리와 활용에 관하여
한국음향학회지
2009 .01
가상 음장 시스템 : WFS 시스템을 중심으로
소음·진동
2014 .12
시스템분석을 위한 Petri Nets의 축소방법
(구)정보과학회논문지
1986 .04
.NET시스템 개발 방법과 Aurora.net
Proceedings of KIIT Conference
2003 .08
Subjective Listening Experiments on a Front and Rear Array-Based WFS System
[ETRI] ETRI Journal
2011 .12
.NET 기술 구성요소
한국멀티미디어학회지
2003 .03
페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석
정보과학회논문지 : 소프트웨어 및 응용
2000 .03
A Simplified Necessary and Sufficient Condition for a Net to be an SMA Net
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1991 .01
0