• 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)에 적용시켰다. 그리고 결과치의 정확성을 알아내기 위하여, 페트리 네트 시뮬레이션과 아레나를 사용하여 실행하였다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1994.10a
• /
• pp.653-657
• /
• 1994

A symbolic performance analysis approach for flexible for manufactring systems (FMS) can be formulated based on the integration of Petri Nets (PN) and moment generating function (MGF) concept. In this method, generalized stochastic Petri Nets are used to define performance models for FMS, then MGF nased approach for evaluating stochastic PN is used to derive performance parameters of PN, and finally system performance is calculated. A GSPN model of machine cell is shown to illustrate the proposed method for evaluating such performance indices as production rate, utilization, work-in-process and lead time. The major advantage of this method over existing performance evaluation of FMS is the ability to compute symbolic solutions for performance. Finally future research toward automating performance measure for GSPN models of FMS is discussed.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.1241-1244
• /
• 1996

This paper present a performance evaluation method for Timed Place Petri Nets modeled by Live-and-Bounded Circuits (LB-circuits) through a bottom-up approach. The method can handle the case for the nets having common resources(CR). The target system is divided into the sub-systems by disconnecting the common Transition-Transition-Path(TTP) or Place-Place-Path (PPP) between sub-systems. The common PPP pattern is classified into Parallel Common Resource (PCR) and Sequential Common Resource (SCR) in detail for handling common resources. We evaluate the performance of each divided sub-system, and calculate the sub-systems affect on the performance of the whole system. The facts are generalized as a theorem. The developed theorem are applied into the performance evaluation of an automated assembly system shown in an example. All the results are verified by simulation.

• The Pure and Applied Mathematics
• /
• v.13 no.1 s.31
• /
• pp.47-69
• /
• 2006

In this paper, an idea of graded fuzzy net is introduced; its convergence is studied; Relations between g-net and g-filter are established in L-fuzzy setting.

• Journal of Institute of Control, Robotics and Systems
• /
• v.3 no.1
• /
• pp.101-108
• /
• 1997

The initial token value required to the optimal performance of discrete event systems can be decided by Sum of Delay Time and Synchronic Time ratio, which are new synchronic variables in Timed Place Petri Nets. For the system consisting of two Live-and-Bounded circuits(LB-circuits) fused in common Transition-Transition-Path or common Place-Place-Path, we prove that the Synchronic Time Ratio is the initial token ratio between two LB-circuits to optimally perform system functions. These results are generalized and formulated as a theorem. The initial tokens of a specific place can imply shared resources. Using the theorem, we can decide the minimum number of the shared resources to obtain the optimal performance, and minimize the idling time of resources. As an example, an automated assembly system is modeled by Timed Place Petri Net, and the initial tokens to achieve the optimal system performance are identified. All the values are verified by simulation.

• Proceedings of the KIEE Conference
• /
• 2006.10c
• /
• pp.181-183
• /
• 2006

This paper proposes an intelligent decision framework for update of the environment model using GSPN(generalized stochastic petri nets). The GSPN has several advantages over direct use of the Markov Process. The modeling, analysis, and performance evaluation are conducted on the mathematical basis. By adopting the probabilistic approach, our decision framework helps the robot to decide the time to update the map. The robot navigates autonomously for a long time in dynamic environments. Experimental results show that the proposed scheme is useful for service robots which work semi-permanently and improves dependability of navigation in dynamic environments.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.4 no.2
• /
• pp.125-128
• /
• 2004

Using the theory of Generalized Nets we have modelled the information exchange within the electronic archives of an idealized univerity Intranet.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.10 no.3
• /
• pp.230-241
• /
• 2010

In the present paper we introduce and study fundamental concepts in the framework of L-fuzzifying topology(so called(2,L)-fuzzy topology)as L-concepts where L is a complete residuated lattice. The concepts of (2,L)-derived, (2,L)-closure, (2,L)-interior, (2,L)-exterior and (2,L)-boundary operators are studied and some results on above concepts are obtained. Also, the concepts of an L-convergence of nets and an L-convergence of filters are introduced and some important results are obtained. Furthermore, we introduce and study bases and subbases in (2,L)-topology. As applications of our work the corresponding results(see[10-11]) are generalized and new consequences are obtained.

• Korean Journal of Fisheries and Aquatic Sciences
• /
• v.30 no.5
• /
• pp.691-699
• /
• 1997

In order to find out the properties in flow resistance of trawlR=1.5R=1.5\;S\;v^{1.8}\;S\;v^{1.8} nets and the exact expression for the resistance R (kg) under the water flow of velocity v(m/sec), the experimental data on R obtained by other, investigators were pigeonholed into the form of $R=kSv^2$, where $k(kg{\cdot}sec^2/m^4)$ was the resistance coefficient and $S(m^2)$ the wall area of nets, and then k was analyzed by the resistance formular obtained in the previous paper. The analyzation produced the coefficient k expressed as $$k=4.5(\frac{S_n}{S_m})^{1.2}v^{-0.2}$$ in case of bottom trawl nets and as $$k=5.1\lambda^{-0.1}(\frac{S_n}{S_m})^{1.2}v^{-0.2}$$ in midwater trawl nets, where $S_m(m^2)$ was the cross-sectional area of net mouths, $S_n(m^2)$ the area of nets projected to the plane perpendicular to the water flow and $\lambda$ the representitive size of nettings given by ${\pi}d^2/2/sin2\varphi$ (d : twine diameter, 2l: mesh size, $2\varphi$ : angle between two adjacent bars). The value of $S_n/S_m$ could be calculated from the cone-shaped bag nets equal in S with the trawl nets. In the ordinary trawl nets generalized in the method of design, however, the flow resistance R (kg) could be expressed as $$R=1.5\;S\;v^{1.8}$$ in bottom trawl nets and $$R=0.7\;S\;v^{1.8}$$ in midwater trawl nets.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38C no.12
• /
• pp.1170-1178
• /
• 2013

Thanks to various benefits, low-cost real-time communication networks so called fieldbus have been widely used in many industrial applications including military systems, such as aircrafts, submarines, and robots. This paper presents a reliability analysis of dual-channel CAN(Controller Area Network) fieldbus which is used for controlling various equipment of submarine combat system. A submarine combat system playing a critical role to the success of missions and survivability consists of various devices including sensors/actuators and computers. Since a communication network for submarine combat system must satisfy an extremely high level of reliability, a dual channel technique is commonly adopted. In this paper, a Petri Net based reliability model for dual-channel CAN is discussed. A reliability model called generalized stochastic Petri Nets (GSPN) is built by utilizing the information on physical faults with CAN. The effectiveness of the proposed model is analyzed in terms of unreliability with respect to failure rate and repair rate.