• Journal of the Korea Society of Computer and Information
• /
• v.14 no.1
• /
• pp.173-181
• /
• 2009

This paper proposes an algorithm to transform RDF(Resource Description Framework) models for ontology into CPN(Colored Petri Net) models. The algorithm transforms the semantics of the RDF model into the topology of the CPN by mapping the classes and the properties of the RDF onto the places of the CPN model then reflects the RDF statements on the CPN by representing the relationships between them as token transitions on the CPN. The basic idea of reflecting the RDF statements on the CPN is to generate a token, which is an ordered pair consisting of two tokens (one from the place mapped into the subject and the other one from the place mapped into the object) and transfer it to the place mapped into the predicate. We have actually built CPN models for given RDF models on the CNPTools and inferred and extracted answers to the RDF queries on the CPNTools.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.1099-1102
• /
• 2004

본 논문은 확장된 역할 기반 접근통제 정책에 적용된 시스템의 명세 및 분석을 위해 컬러드 페트리넷을 이용하는 방법에 관하여 기술한다.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.48 no.3
• /
• pp.76-81
• /
• 2011

Intrusion prevention systems (IPS) are important solution about solved problems for inside system security or outsider attacks. When introduce this system, first consideration item is secured rather than multiple function. Colored Petri Nets (CPNs) used that in order to secured verification for user authentication function of intrusion prevention system security model. CPNs is a graphical modeling language suitable for modeling distributed, concurrent, deterministic or non-deterministic systems with synchronous. Like these CPNs was expressed every possible state and occurrence graph. Secured of IPS security model was verified because expression every state using CPN tool and as a result of analyzing the occurrence graph was without a loop or interruption.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.05a
• /
• pp.169-173
• /
• 2002

반도체 공정은 복잡하고 다양한 물리, 화학작용을 수반하며, 폭넓은 데이터 발생 및 관리에도 불구하고 공정진행시 내부 특성의 복잡함 때문에 효율적인 모델링이 어려웠다. 또한 원하는 출력을 얻기 위한 제어입력의 선정도 용이하지 않으므로 현재의 최적공정운영은 전문가의 경험에 의존하여 많은 시행 착오를 거쳐 수행되고 있다. 본 논문에서는 반도체 공정의 최적운영을 위해 다음 세 단계로 나누어 연구를 수행하였다. 첫째, 반도체 공정을 설비를 기반으로 컬러드 페트리 넷을 이용하여 모델링하고 둘째, Run-to-Run control에 기반한 최적공정운영 관리모델을 실험하고 셋째, 지식기반 데이터베이스를 기반으로 하는 지능적인 적응형 공정관리모델(Adaptive Process Control model)의 프레임 웍을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.403-405
• /
• 2002

다양한 제품요구와 짧아진 제품의 수명주기, 수시로 발생하는 주문과 품목의 변화등으로 기업은 공급체인관리(SCM)를 도입하고 있으나 빈번한 이산사천의 발생으로 계획부분과 제조현장 실행부분의 차이가 발생하고 있다. 본 논문에서는 이러한 문제를 해결하기 위하여, 실행부분에서 발생하는 이산사건의 관리를 통해 계획부분과 실행부분의 차이를 줄이는 에이전트 기반 이산사건 관리모델을 제안하였다. 이산사건에 대해서는 컬러드 페트리 넷을 이용하여 명세하였고 관리모델은 에이젼트를 기반으로 지능적이고 자율적인 특성을 이용하여 사건의 발생에서 분류 지식데이터베이스구축, 전송에 이르는 이산사건 관리모델 아키텍쳐를 제시하였다.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.60 no.7
• /
• pp.1347-1353
• /
• 2011

While most of the existing protection schemes have been designed with local information around individual components, these local schemes are not considered capable of protecting the modern electric power gird with growing complexity. Recent blackouts in North America and Europe have renewed the emphasis on coordinated protection and control actions to avoid systemwide blackouts, utilizing all of the available grid information. Thus, this paper proposes a new methodology, Agent-based Colored Petri Net (ACPN) modeling for systematically representing, modeling and analyzing information flows and interactions among the entities of the electric power grid. The paper demonstrates its efficacy and accuracy by investigating an ACPN model of a wide area protection system for a typical power grid. The proposed modeling and analysis schemes may further provide a framework to help assure reliability and interoperability of diverse smart grid components.