Proceedings of the KIEE Conference (대한전기학회:학술대회논문집)

The Korean Institute of Electrical Engineers (대한전기학회)
권호 표지

AN NECESSARY AND SUFFICIENT CONDITION FOR THE REACHABILITY OF LSFC NETS

LSFC NETS가 가도달성을 가지기 위한 필요충분조건

  • Lee, Dong-Ik (Department of Electronic Engineering Osaka University) ;
  • Kumagai, Sadatoshi (Department of Electronic Engineering Osaka University) ;
  • Kodama, Shinzo (Department of Electronic Engineering Osaka University)
  • 이동익 (일본국대판대학공학부전자공학과) ;
  • ;
  • Published : 1989.11.25
Download PDF
⟨ Previous Next ⟩

Abstract

이 논문(論文)에서는 페트리 넷트의 한 서브클래스인 활성(活性)이고 안전(安全)인 자유선택넷트의 가도달성(可到達成)에 관해 고찰했다. 활성(活性)이고 안전(安全)인 자유선택넷트의 한클래스가 가도달성(可到達成)을 가지기 위한 필요충분조건을 도출했다.

Keywords