• Journal of Information Technology Application
• /
• v.1 no.3_4
• /
• pp.133-152
• /
• 1999

생산 시스템은 일반적으로 규모가 크고 복잡하며 동시 발생적인 특성을 가지는 경우가 많다. 이러한 특징은 시스템의 행태를 사전에 분석하고 시뮬레이션하기 위한 모델링에 많은 어려움을 가져오게 한다. 본 논문은 이러한 어려움을 해결하기 위하여 객체지향 페트리네트를 이용한 생산시스템 모델링 및 분석 도구를 제사한 것이다. 기본적인 구조는 페트리네트를 객체의 개념으로 구성하는 것이다. 객체의 개념으로 페트리네트를 구성하고 시스템의 행태는 객체간의 메시지 교환과 객체내의 행태로 표현된다. 시스템 분석에 있어서는 객체간의 메시지 전달관계와 객체내의 행태 분석 등이 가능하다. 대상 시스템이 객체의 클래스 개념으로 구성되기 때문에 복잡도가 많이 감소될 수 있다. 특히 본 논문에서는 상속성의 개념을 객체 지향 페트리네트에서 어떻게 구현할 것인가에 대한 방법과 분석 방법이 제시되었다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.2
• /
• pp.119-126
• /
• 2001

시간 페트리 네트는 실시간 값을 갖는 이산사건 시스템을 모델링하고 해석하기 위한 방법중 하나이다. 시간 페트리 네트는 각 트랜지션에 대하여 두 개의 시간 값, 최초 발화 시간 $\alpha$$_{i}$와 최종 발화 시간 $\beta$$_{i}$를 갖는다. 본 논문에서는 최적 발화 시간을 결정하기 위하여 퍼지 이론을 적용한 퍼지 트랜지션 시간 페트리 네트를 제안하였다. 퍼지 트랜지션 시간 페트리 네트의 트랜지션 점화 시간 ${\gamma}$$_{i}$는 고정 최초 발화 시간 $\alpha$$_{i}$와 고정 최종 발화 시간 $\beta$$_{i}$ 사이에서 어떠한 복잡한 계산 절차나 임의의 조건 없이 입력정보를 이용한 퍼지 이론으로부터 결정된다. 교차로에서 교통 신호제어기는 퍼지 트랜지션 시간 페트리 네트에 의하여 모델링되고 해석되었다. 퍼지 트랜지션 시간 페트리 네트의 중요한 특성은 교통 신호기의 모델링과 시뮬레이션에 의해서 보여진다. 의해서 보여진다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.219-225
• /
• 2000

본 연구에서는 이산사건 동적 시스템을 모델링하고 성능을 분석하기 위한 통합 소프트웨어를 개발하였다. 소프트웨어는 페트리네트를 기반으로 비쥬얼 C++와 비쥬얼 베이직을 이용하여 개발되었으며 윈도우즈 환경 하에서 동작하는 범용 그래픽도구를 내장하고 있다. 본 소프트웨어를 이용하면 사용자는 마우스의 드래그 앤 드롭만으로 페트리네트 모델을 작성할 수가 있으며 모델이 작성되면 수리적 분석과 시뮬레이션을 통하여 시스템의 성능분석을 자동으로 수행하여 준다. 또한 시스템의 논리적인 특성을 분석하기 위하여 coverbility tree와 reachability tree를 지원한다. 이외에도 deadlock을 탐지하고 이를 해소하는 기능과 정교한 세부 모델링이 가능하도록 다양한 활성화 함수와 분포를 지원하며 시스템의 성능척도와 관련된 다양한 통계치를 제공해준다.

• Journal of the Korea Computer Industry Society
• /
• v.3 no.7
• /
• pp.891-900
• /
• 2002

Timed Petri nets are one of the most important formalisms used to specify concurrent systems, However, timed Petri nets cannot represent the dynamics of systems within the formalism explicitly. Such incomplete formalisms make the modeling very difficult because modelers should know not only the formalism itself but also its problem-specific simulation algorithm. In this paper we present a formalism which can express the dynamics of systems and an simulator.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.28 no.3
• /
• pp.36-41
• /
• 2005

페트리 네트(Petri Nets)는 이산 사건 시스템을 모델링할 수 있는 그래픽하고, 수학적인 도구이다. 본 연구는 유연제조 시스템을 확률적인 페트리 네트(Stochastic Petri Nets)중의 하나인 임베디드 마코프 체인(Embeded Markov Chain)에 도입하고, 임베디드 마코프 체인의 방법 중에 하나인 일반화된 확률적 페트리 네트(Generalized Stochastic Perti Nets)에 적용시켰다. 그리고 결과치의 정확성을 알아내기 위하여, 페트리 네트 시뮬레이션과 아레나를 사용하여 실행하였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.14 no.3
• /
• pp.207-215
• /
• 1989

In this Paper prestnting an extended timed Petri net model which Can be used for the performance analysis of Distributed System. An analysis methodology based on a reachiabilitylike approach is prestented efficiency to find out the behaviour of these nets in terms of performance. And the proposed extended timed prtri net models are simulated to show practicability of the accuracy of the extended model in representing system specification.

• 전기의세계
• /
• v.43 no.3
• /
• pp.10-17
• /
• 1994

패트리네트는 시스템의 관계를 시작적으로 보여주어 시스템의 모델링을 쉽게 만든다. 시스템의 각 부분에 관한 정보를 가지고 전체와 부분에 대하여 하향식(top-down)과 상향식(bottom-up) 설계를 할 수 있게 해준다. 패트리네트는 그래프 표현이므로 FMS(flexible manufacturing systems)등과 같은 실시간 제어(real-time control)의 구현에 사용될 수 있으며 토큰 정보로부터 시스템의 각 부분의 상태를 실시간 감시(monitoring)할 수 있다. 패트리네트는 PLC(programmable logic controller)와 같이 여러 요소시스템(subsystem)을 순서대로 동작시키고 조정한다. 시스테메 대한 페트리네트 모델로부터 시뮬레이션(simulation)을 할 수 있고, 이로부터 성능 평가를 할 수 있다.

• Journal of Korea Multimedia Society
• /
• v.7 no.4
• /
• pp.559-566
• /
• 2004

In general, the certainty factors of the fuzzy production rules and the certainty factors of fuzzy propositions appearing in the rules are represented by real values between zero and one. If it can allow the certainty factors of the fuzzy production rules and the certainty factors of fuzzy propositions to be represented by interval -valued fuzzy sets, then it can allow the reasoning of rule-based systems to perform fuzzy reasoning in more flexible manner. This paper presents fuzzy Petri nets and proposes an interval-valued fuzzy backward reasoning algorithm for rule-based systems based on fuzzy Petri nets Fuzzy Petri nets model the fuzzy production rules in the knowledge base of a rule-based system, where the certainty factors of the fuzzy propositions appearing in the fuzzy production rules and the certainty factors of the rules are represented by interval-valued fuzzy sets. The algorithm we proposed generates the backward reasoning path from the goal node to the initial nodes and then evaluates the certainty factor of the goal node. The proposed interval-valued fuzzy backward reasoning algorithm can allow the rule-based systems to perform fuzzy backward reasoning in a more flexible and human-like manner.

• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.625-631
• /
• 2004

In general, the certainty factors of the fuzzy production rules and the certainty factors of fuzzy Propositions appearing in the rules are represented by real values between zero and one. If it can allow the certainty factors of the fuzzy production rules and the certainty factors of fuzzy propositions to be represented by interval-valued fuzzy sets, then it can allow the reasoning of rule-based systems to perform fuzzy reasoning in more flexible manner(15). This paper presents a fuzzy Petri nets and proposes an interval-valued fuzzy reasoning algorithm for rule-based systems based on fuzzy Petri nets. Fuzzy Petri nets model the fuzzy production rules in the knowledge base of a rule-based system, where the certainty factors of the fuzzy Propositions appearing in the furry production rules and the certainty factors of the rules are represented by interval-valued fuzzy sets. The proposed interval-valued fuzzy set reasoning algorithm can allow the rule-based systems to perform fuzzy reasoning in a more flexible manner.

• ICROS
• /
• v.1 no.3
• /
• pp.92-100
• /
• 1995

본 연구에서는 페트리 네트를 사용하여 모델링된 이산 사건 시스템의 제어시 발생하는 충돌 현상을 해결하기 위하여 퍼지 개념을 사용하였다. 이를 통하여 페트리 네트로 시스템을 제어할 경우 발생하는, 큰 문제점인 외부 시스템과의 데이터 입출력 설정의 어려움을 해결하는 방법을 보였다. 또한 제시된 규칙 행렬의 단순성으로부터 쉽게 충돌 현상하의 우선 순위를 변화시킬 수 있다. 시스템을 제어하는 전문가의 지식이 모호하여 단순히 상수값으로 우선순위를 표현할 수 없는 경우에는 퍼지개념을 이용하여 해결하였다. 이러한 방법들은 소규모의 모터 자동 조립 시스템을 제어하는데 부품의 수량, 작업의 대기 상태를 퍼지화하여 규칙행렬을 만들어 제어신호를 발생시켰다. FMS, CIM을 제어할 때 발생하는 Scheduling 문제도 본 논문의 방법을 사용하면 해결할 수 있다고 본다.