• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.24 no.6B
• /
• pp.997-1003
• /
• 1999

It is required that synchronization model can describe various multimedia objects flexibly in the view point of time relationship and also respond quality of service requirement about jitter which is time difference between intramedia and skew which is time difference between intermedia. es desirable quality of service requirement. Proposed model applies maximum jitter and skew values which can be allowed, and then it presents high quality of service and real applies maximum jitter and skew values which can be allowed, and then it presents high quality of service and real time characteristics. In this paper we expend Petri-net and propose new synchronization specification model and apply two analysis method of Petri-net to prove oIn this paper we suggest multimedia synchronization model that is based on the Petri-net and servicur model suggested. We compared with other models and showed high QoS.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• pp.203-206
• /
• 2005

This paper presents a design experience of supervisory control system for agile and intelligent manufacturing(AIM). For effectively program job instructions, a Petri net-type graphical language is proposed and it can be applied to a various task such as concurrency and synchronization. PGL is consisted of PGL editor, PGL analyzer and PGL translator; PGL editor generates a job instruction program using graphic symbol. PGL analyzer prevents a deadlock or resource allocation of unit cell. PGL translator transfers to adequate sequential job commands of each unit cell.

• Journal of Ocean Engineering and Technology
• /
• v.15 no.4
• /
• pp.101-107
• /
• 2001

This paper describes a fault diagnosis method by a T-invariance of Petri Net (PN). First, a complicated fault system with some failure is modeled into a PN graphic expressions. Next, the PN model is analyzed by using the backward chaining of T-invariance to find out causes of the faults. In this step, an inter-node search technique which is suggested in this paper is applied for reducing searching area in the fault system. Also, a novel idea to compose incidence matrices which have different dimension each other in PN model is proposed. As the new knowledges which is discovered newly about faults can be added easily to conventional systems, the diagnosis system will be very flexible. Finally, the proposed method is applied to the automobile fault diagnosis system to confirm the validity of the method.

• Journal of Ocean Engineering and Technology
• /
• v.15 no.4
• /
• pp.108-114
• /
• 2001

Petri nets have been introduced as a powerful analyzing and design tool for the discrete systems such as sequential control systems. However, one of the important problems in its applications is that the model can be analyzed hardly when we deal with large scale systems because of increase of the number of Petri net components. To overcome this problem, some methods for dividing or reducing of Petri net have been suggested. In this paper, an approach for hierarchical expression of Petri net based on Sequential function Chart(SFC) and Bottom Up oriented Mehodology(BUM) is proposed. Especially, some definitions and rules are defined in order to divide and compose sub Petri nets. A measuring tank system will be described as a typical kind of discrete systems and modeled by some sub Petri nets based on the SFC and BUM by the proposed method in this paper.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.54 no.8
• /
• pp.486-494
• /
• 2005

This paper presents a design experience of a supervisory control system. For effective programming of job commands, a petri net-type graphical language (PGL) is proposed applied to various tasks having concurrency and synchronization. Our PGL based supervisory control system is composed of PGL editor and PGL compiler; PGL editor is designed to help us to generate a job program using graphical symbols. PGL compiler includes analyzer, scheduler, and tranlator, PGL analyzer prevents a deadlock or resource allocation of unit cell, PGL scheduler generates a adequate job sequence of unit cell. and PGL translator translate the scheduled sequence into the iob program of each unit cell.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.21 no.5
• /
• pp.769-779
• /
• 1997

This paper presents an approach to multiple objective scheduling of flexible manufacturing systems(FMS). The approach is an extension of the scheduling method that formulates scheduling problems using Petrinets, and applies heuristic search to find optimal or near-optimal schedules with a single objective. New evaluation functions are developed to optimize simultaneously the makespan and the total operating cost. A scheduling example is used to demonstrate the effectiveness of the proposed approach.

• Journal of Power System Engineering
• /
• v.9 no.4
• /
• pp.187-193
• /
• 2005

In this paper, we proposes a man-machine interface design for fault diagnosis system with inter-node search method in a Petri net model. First, complicated fault cases are modeled as the Petri net graph expressions. Next, to find out causes of the faults on which we focus, a Petri net model is analyzed using the backward reasoning of transition-invariance in the Petri net. In this step, the inter-node search method algorithm is applied to the Petri net model for reducing the range of sources in faults. Finally, the proposed method is applied to a fault diagnosis of a refrigeration system to confirm the validity of the proposed method.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2006.05a
• /
• pp.629-630
• /
• 2006

This paper present a design experience of supervisory control system platform for agile and intelligent manufacturing(AIM). Embodied integrated environment that can do in place that do work direction, analysis command file generation, achievement using Petrinet-type Graphical Language(PGL) in proposed Supervisory Control System. Also, embodying whole system software in Modular done form, did to have extensity to fit in developer's requirement.

• Proceedings of the Korea Committee for Ocean Resources and Engineering Conference
• /
• 2001.05a
• /
• pp.26-31
• /
• 2001

Petri nets(PN) have been introduced as a poweful analyzing and design tool for the discrete systems such as sequential control systems. However, one of the important problems in its applications is that the model can not be analyzed easily when we deal with large scale systems because of increase of the number of components of the systems. To overcome this problem, some methods for dividing or reducing of PN have been suggested. In this paper, an approach for hierarchical expression of PN based on Sequential Function Chart(SFC) and Bottom Up oriented Mehodology(BUM) is proposed. Especially, some definition and rules are defined in order to divide and compose sub PN. A measuring tank system will be described as a typical kind of discrete systems and modeled by some sub PN based on the SFC and BUM by the proposed method in this paper.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.2
• /
• pp.430-440
• /
• 1997

The knowledge repressenatation technique by production rule has been popular method to represent to represent the experts'dxpertise in expert systems.In this paper,we propose a method to verify the integrity of rule base.Proposcd method models rule base as a Petri net and utilizes the systematic strucutural properties of the petri net for berifi-cation.We describe the pricesure to check rule base at both local and global level intermal verification.