• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.324-329
• /
• 1993

A reduction method of GSPN (generalized stochastic Petri net) is proposed. A GSPN is basically a SPN (stochastic Petri net) with transition a that are either timed or immediate. Then the proposed method is defined on the basis of the dynamic behavior and the structure of the net. The reduction preserves the properties such as liveness, boundedness, and allows easy analysis of the GSPN.

• 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.

• 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.

• 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.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.8
• /
• pp.2370-2387
• /
• 2000

This paper proposes a new design strategy that can overcome limitations of two existing approaches, focusing on performance and scalability issues among various architectural issues which must be considered in designing workflow systems. In the proposed approach, we suggest to introduce 'delegation model' which corresponds to the high-level strategy utilizing the fundamental characteristics of mobile agents, after establishing a mobile agent-based workflow system architecture focused on performance and scalability. We point out three major issues that should be considered in this approach and propose a 3-tier mobile agent-based workflow system architecture that effectively reflects these considerations. Also, we show that the new approach can provide better performance and scalability than existing ones - approaches based on the client-server paradigm and other approaches based on mobile agent paradigm represented by DartFlow system - by evaluating performance of the proposed architecture through the GSPN simulation.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.9
• /
• pp.1332-1347
• /
• 1993

Existing instruments are composed independently according to their function and user constructed instrumentation system with those instruments. But in the late 1980s VXI bus enables to construct instrumentation system with various modular type instruments. For an VXI bus system with the word serial protocol, an increase of data size can degrade the system performance. In this paper shared memory protocol is proposed to overcome performance degradation. The shared memory protocol is analyzed using the GSPN and compared with that of the word serial protocol. It is shown that the shared memory protocol has a better performance than the word serial protocol. The VXI bus message based-system with the proposed shared memory protocol is constructed and experimented with signal generating device and FFT analyzing device. Up to 80 KHz input signal the result of FFT analysis is accurate and that result is agree with that of conventional FFT analyzer. In signal generating experiment from 100 KHz to 1.1 GHz sine wave is generated.

• IE interfaces
• /
• v.17 no.spc
• /
• pp.152-159
• /
• 2004

The Purpose of this paper is to propose performance evaluation schemes of flexible manufacturing cell using a generalized stochastic Petri net. In the competitive and global manufacturing environment, to evaluate the feasibility and manufacturability of a product in the product design stage is highly required. Through this process, all the possible problems which may occur in the manufacturing stage can be fixed in early stage. The scheme of generalized stochastic Petri net utilizing both immediate and exponential distributed transitions are applied to model a manufacturing cell with flexible machines, material handler, transporter and buffers. Performance analyses are performed based on behavioral, structural and quantitative properties. A flexible manufacturing cell is evaluated using a Petri net simulator.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.2
• /
• pp.107-114
• /
• 2007

This paper describes the Petri Net(PN) model for reliability analysis of fault-tolerant dual Ethernet which Is applied in Naval Combat System. The network for Naval Combat System performs failure detection and auto path recovery by handling redundant path in case of temporary link failure. After studying the behavior of this kind of network, the reliability analysis model is proposed using stochastic Petri Net and continuous-time Markov chains. Finally, the numerical result is analyzed according to changing the failure rate and the recover rate of link.