• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.132.3-132
• /
• 2001

In this paper, we focus on the analysis of the scheduling problem in FMS after slicing off some sub-nets using the transitive matrix. This class of Time Petri nets is obtained by merging subnets based on the machine's operations. We can divide original system into some subnets based on machine's operations using Time Petri nets slice and analyze the feasibility time in each schedules. In this paper, we show the usefulness of transitive matrix to slice off some subnets from the original net, and explain on an example.

• 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 Institute of Telematics and Electronics
• /
• v.19 no.3
• /
• pp.28-36
• /
• 1982

Petri nets have been used for medeling a wide variety of systems from computer to social systems. This paper disusses Petri nets in the context of mathematical representation and its associated bag theory. The method of modeling systems such as event-condition, computer progranm computer operation and PERT chart is discribed and their Petri net representation are presented. Finally Petri net representation of tunnel diode oscillator circuit and the analysis of the circuit using Petri net are discussed with the program and results.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10a
• /
• pp.488-492
• /
• 1991

This paper deals with modeling and scheduling for flexible manufacturing systems(FMS). In modeling extended Petri nets are used to describe various and complex properties. To resolve multiple conflict without predefined properties, such as part selection, machine selection, rule-based scheduling method is introduced. This structure have a capability of on-line scheduling with systematic modeling description.

• Proceedings of the Korea Contents Association Conference
• /
• 2009.05a
• /
• pp.699-705
• /
• 2009

This paper reviews methods used to perform reliability and availability analysis of the network system composed by nodes and links. The combination of nodes and links forms virtual connections (VC). The failure of several VCs cause failure of whole network system. Petri Net models are used to analyze the reliability and availability. Stochastic reward nets (SRN) is an extension of stochastic Petri nets provides modelling facilities for network system analysis.

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

Automatic Assembly Systems(AAS) are a class of systems exhibiting concurrency, asynchronicity and distributedness, and can be modeled by Petri Nets. In this paper, we design two types of configuration of part-assembly system in the car manufacturing line, as an example of AAS. And, we make a modeling the system by utilizing Extended Petri Nets, simulation as varying machine parameters, and analysis of operation status. These enable to present the information of optimal status and various problems occurring in the system for achieving high production rate.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.30B no.2
• /
• pp.1-7
• /
• 1993

In this paper, we show that Petri nets can be applied to design and reliability analysis of concurrent, parallel and embedded mode system such as a lift system that is familiar to our daily life. Modeling the behavioral characteristics of the lift system we extend the standard Petri nets by nadditionally constant timed transition, fault transition, stochastic imed ttransition and conditional transition concepts. Likewise, we present esults of rdesign and analysis of the system. This method can be applied to esign and danalysis of any other concurrent systems.

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

We applied the simulation method using Petri Nets to a FMS model. Generally ordinary Petri Net would be short of describing a real FMS operations. Hence we adopted the extended Petri-Mets(EPN) and timed places in order to have performance evaluation. Our simulator use data based modeled of Petri Nets in simulation. We can enhance the overall production rate of the system with the obtained results over a number of simulations.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.29 no.3
• /
• pp.1-6
• /
• 2006

In this paper, we described the existing methodology of product safety analysis and proposed a Petri-nets based method to analyze product safety systematically. The proposed method can be used to find the defects of hardware/software and the error of human behavior. We also discussed the differences between the Fault Tree Analysis and Petri-nets based method by giving an example.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.3
• /
• pp.213-220
• /
• 2008

The object of this paper is to propose a method to deal with the problem of modeling user specifications in approaches based on supervisory control and Petri nets. However, most of Petri Net approaches are based on forbidden states specifications, and these specifications are suitable the use of tool such as the reachability graph. But these methods were not able to show the user specification easily and these formalisms are generally limited by the combinatorial explosion that occurs when attempting to model complex systems. Herein, we propose a new efficient method using FSSTP (Forbidden Sequences of State-Transitions Problem) and theory of region. Also, to detect and avoid the deadlock problem in control process, we use DAPN method (Deadlock Avoidance Petri nets) for solving this problem in control model.