• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.403-406
• /
• 1997

This paper presents a Petri net approach for the control and monitoring of discrete event system. The proposed model is fuzzy Petri nets based on the fuzzy logic with Petri nets and the hierarchy concept. Fuzzy Petri nets have been used to model the imprecise situations which can arise within automated manufacturing system, and also the hierarchy concept allow to handle the refinement of places and transition in Petri nets model. These will form the foundation of a simulator-tool with manipulation interface for application of fuzzy Petri nets.

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

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

The real time control system for FMS(Flexible Manufacturing System) is implemented at this paper. To achieve this goal, the Colored and Timed Petri-Net model is constructed and used to simulate the real time operation of FMS. Using the Colored and Timed Petri-Net model, evaluating any kind of FMS plant is possible. On-line shceduler, intelligent dispatcher, real time monitor and the simulation model of shop floor are contructed using LAN communication, relational database system in this paper. Finally, this real time control system is applied to the FMS/CIM center at Seoul National University.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.3
• /
• pp.543-563
• /
• 1996

In this paper, we propose a Timed Fuzzy Petri Net(TFPN) model as a new model of real-time fuzzy control. The TFPN model, which is useful for fuzzy inference and fuzzy control is an integrated model of Timed PetriNet and Fuzzy Petri Net. Additionally, a Timed Fuzzy Control Language is defined as a textual specification model of fuzzy control rues, and proposed a TFPN modeling method. The TFPN model is a Petri Net formalism of fuzzy control systems. Execution rule is consisted of marking(i.e,fuzzyfication) and firing(i.e,inference and defuzzyfication) procedures. A simple case work by using TFPN model shows us computing time of inference and defuzzyfication is low and uncertainty and visibility of fuzzy control rule are modeled effectively.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.14 no.2
• /
• pp.858-867
• /
• 2013

Hardware and software field are developed by environment of MPSOC. Also it is still working with economic world and academic world. This study focus on software side and try to classify from parallel programming design world. It can be divided by three; Data, Tasks, and Data flow model. Then we used Petri Net to CUDA and HOPES programmer and found how much they understand parallel programming for each side. We focus on two sides and what is different between their experience. Petri Net is easy to descript parallel program or parallel design pattern for Task, Data, and Hybird. This research can explain how they know and how much they know about parallel programming.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.1727-1731
• /
• 2003

In this paper we proposed backward fuzzy Petri-net to diagnoses faults in power systems by using the time sequence information of protection system. As the complexity of power systems increases, especially in the case of multiple faults or incorrect operation of protective devices, fault diagnosis requires new and systematic methods to the reasoning process, which improves both its accuracy and its efficiency. The fuzzy Petri-net models of protection system are composed of the operating process of protective devices and the fault diagnosis process. Fault diagnosis model, which makes use of the nature of fuzzy Petri-net, is developed to overcome the drawbacks of methods that depend on operator knowledge. The proposed method can reduce processing time and increase accuracy when compared with the traditional methods. And also this method covers online processing of real-time data from SCADA (Supervisory Control and Data Acquisition)

• Korean Journal of Computational Design and Engineering
• /
• v.13 no.1
• /
• pp.36-44
• /
• 2008

This paper proposes a modeling and simulation process of a panel production line (PPL) in a shipyard. The panel production line is an assembly process to produce a main panel of a flat block and a curved block. In this paper, its activity analysis is carried out using expression of IDEF0, and its process is qualitatively and quantitatively analyzed and modeled by Petri Nets. A commercial discrete event simulation tool, $QUEST^{TM}$, is used for virtual PPL and simulation. The modeling results by Petri Net are mapped to elements of the simulation tool. Finally, an integrated simulation environment of PPL is implemented in order to efficiently utilize the virtual PPL model. With the help of IDEF0 and Petri Nets, we could systematically analyze and describe the PPL process that are characterized as being concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. Also, the dynamic and concurrent activities of a PPL system were able to be simulated. A timing concept can be included into the Petri nets model to evaluate performance and dependability issues of the system.

• Journal of the Korean Society for Precision Engineering
• /
• v.16 no.7
• /
• pp.132-143
• /
• 1999

In this study, an intermediate model is presented as a new method for development of a parametric simulation program. This model enables us to analyze effectively the static and dynamic structure of a real production system. The static structure of the real system can be modelled in an entity-relationship diagram and the dynamic structure of the real system in a Petri net. The intermediate model consists of an entity-relationship diagram and a Petri net. Using this intermediate model man can not only reduce the time and cost for simulation program development, but also increase the modelling reliability of the developed simulation program. To show the usefulness of this intermediate model. the intermediate models for two production subsystems, manufacturing sub-system and transport subsystem, are set up.

• Journal of Institute of Control, Robotics and Systems
• /
• v.2 no.3
• /
• pp.209-219
• /
• 1996

Fieldbus provides a real-time data communication among field devices in the process control and manufacturing automation systems. In this paper, a Petri Net model of the 1993 draft of IEC/ISA fieldbus which is proposed as an international standard of fieldbus network is developed. Based on the Petri Net model, discrete-event simulation model of IEC/ISA fieldbus network is developed. This paper evaluates the network induced delay in the data link layer of IEC/ISA fieldbus using the simulation model. In addition, an integrated discrete-event/continuous-time simulation model of fieldbus system and distributed control system is developed. This paper investigates the real-time data processing capability of IEC/ISA fieldbus and the effect of network-induced delay to the performance of control system.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.22 no.1
• /
• pp.90-101
• /
• 1998

This paper presents a scheduling method that uses Petri net modeling and heuristic search to handle the tool setup. In manufacturing systems, a tool is attached to a particular machine to process a particular operation. The activity to attach a tool to a particular machine and detach the tool from the machine requires time. The processing time of operations varies according to the attached tool and the machine used. The method proposed in this paper uses Petri net to model these characteristics and applies a search algorithm to the reachability graph of the Petri net model to generate an optimal or near-optimal schedule. New heuristic functions are developed for efficient search. The experimental results that show the effectiveness of the proposed method are presented.