• International Journal of Control, Automation, and Systems
• /
• v.5 no.4
• /
• pp.463-470
• /
• 2007

Colored Petri net model which is a model of discrete event systems is considered in this work. A supervisory controller which enforces reversibility and liveness simultaneously is presented. Furthermore, the algorithms, written by pseudo-code, are presented for the supervisory controller design. A program is developed to implement these algorithms.

• 제어로봇시스템학회:학술대회논문집
• /
• 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.

• 제어로봇시스템학회:학술대회논문집
• /
• 2002.10a
• /
• pp.106.1-106
• /
• 2002

$\textbullet$ Current status of reliability estimation techniques for robot systems $\textbullet$ Description of Bayesian Belief Nets(BBN) With an example $\textbullet$ Description of proposed reliability estimation method which combines all information necessary $\textbullet$ Application example of the method : the reactor inspection robot $\textbullet$ Results from the reliability estimation of reactor inspection robot $\textbullet$ Discussion on the proposed method (advantages and problems) $\textbullet$ Conclusion

• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10a
• /
• pp.353-357
• /
• 1992

This paper constitutes the simulator of the serial production line using Extended Petri Nets. We analyze each operations and effect of machine down, calculating the performance measures for improving the capability of manufacturing system. The performance measures are system efficiency, average utilization of machines, average buffer level, and so on. We intend to present the information of the operation states and various problem occurring in the systems.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.205-205
• /
• 2000

In this paper, we are proposed an analysis method of the operation schedule in FMS using Time Petri Nets(TPN) unfolding. TPN's unfolding is one of the analysis methods after changed non-cyclic net from the concurrent net without to expand the state explosion. We are illustrated this proposed to analyze a schedule problem in Ratio-driven FMS modeling.

• Journal of Internet Computing and Services
• /
• v.3 no.1
• /
• pp.51-59
• /
• 2002

The conventional procedure to verify rule bases are corresponding to the propositional logic-level knowledge representation. Building knowledge bases, in real applications, we utilize the predicate logic-level rules. In this paper, we present a verification algorithm of rule bases using Pr/T nets which represent the predicate logic-level rules naturally.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.17 no.30
• /
• pp.167-175
• /
• 1994

Generally, queueing networks, networks, chains and simulation techniques are among the most widely used evaluation tools to study computer systems, manufacturing systems etc. But, these tools have some assumptions and difficulties. So, this thesis presents a method for manufacturing system using Petri nets. Petri nets are a graphical and mathmatical modeling tool and are promising tool for describing and studying systems that are characterized as being concurrent asychronous, dynamic, distributed and parrallel. It designs Petri net model for processing time of manufacturing system And it applied to a job shop system composed of 8 machines and 4 different job types.

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

Petri nets aare capable of modeling a large variety of systems, it is necessary to analyze the modeled system for verifying the behavior. In this paper, we propose an algorithm which analyzes Petri nets by comparing initial marking with modified incidence matrix. The proposed algoriths is able to analyze petri net involving self-loop, and is able to verify the order of sequence according to that of firing.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.1330-1333
• /
• 1993

In this paper, first, the fuzzy Petri net inference mechanism with learning function is proposed by using the extended fuzzy Petri nets. Secondly, a control system with this new inference engine is proposed. This system can do automatically and easily the knowledge acquisition from the operator's empirical data and can also be controller adaptively under the big parameter change.

• Journal of the Korean Society for Precision Engineering
• /
• v.11 no.4
• /
• pp.174-181
• /
• 1994

A FMS is a typical discrete event system exhibiting concurrency, asynchronicity and non-determinism. To represent a FMS with those characteristics, Colored and Timed Petri Nets is defined and the modeling procedure is provided in this paper. To analyze and evaluate the performance of a FMS, a simulation software is developed and applied to SNU FMS/CM Center. This software enables to detect the bottleneck machine and decide the optimal direction in case of the expansion of a FMS.