• The KIPS Transactions:PartB
• /
• v.9B no.6
• /
• pp.827-834
• /
• 2002

In this paper, we proposed the formation of Korean-Roman alphabet notation conversion table for the generation of Korean-Roman alphabet notation that also meets revised Roman alphabet notation. Introduced a mathematical analyzing method of the natural language which used a petrinet model so that a base of Roman alphabet notation analyzed standard pronunciation and Roman alphabet notation to work mathematically. It display the practical example through a petrinet modeling of a plan and Roman alphabet notation to create a Korean Roman alphabet notation conversion table with the method of the analysis that used a petrinet model, and present a mathematical modeling plan and application method of Korean. We developed application program based on window in order to verify a created Korean-Roman alphabet notation conversion table, and compared the result of an application program with Roman alphabet notation of an Roman alphabet notation example dictionary.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.45 no.1
• /
• pp.100-112
• /
• 1996

This paper presents a design experience of a control language for coordination of a multi-robot system. To effectively program job commands, a Petrinet-type Graphical Robot Language(PGRL) is proposed, where some functions, such as concurrency and synchronization, for coordination among tasks can be easily programmed.In our system, the proposed task commands of PGRL are implemented by employing formal model languages, which are composed of three modules, sensory, data handling, and action module. It is expected that by using our proposed PGRL and formal languages, one can easily describe a job or task, and hence can effectively operate a complex real-time and concurrent system. The control system is being implemented by using VME-based 32-bit microprocessor boards for supervisory, each module controller(arm, hand, leg, sensor data processing module) and a real time multi-tasking operating system(VxWorks). (author). 17 refs., 16 figs., 2 tabs.

• Proceedings of the KAIS Fall Conference
• /
• 2008.05a
• /
• pp.177-179
• /
• 2008

본 논문에서는 Grafchart의 기본 정의 및 설계 방법을 설명하고, 이 Grafcet와 Petrinet의 차이점을 비교하고 산업용 제어에 응용할 수 있는지를 검토한다. 본 논문에서는 LCD 장비중에 LCD의 제공정들을 처리하기 위해 LCD를 이송시키는 캐링 로봇에 Grafchart를 적용하고 그이 타당성을 확인하였다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.05a
• /
• pp.218-218
• /
• 2004

자동화된 조립 생산분야에서 복잡하거나 정교한 작업을 수행하기 위해 Workcell 안에서 여러개의 디바이스들을 제어할 수 있는 지능적인 제어기를 개발할 필요성이 증대되고 있다. 새롭게 만들어지는 생산 장비의 각 디바이스에서 센서들과 엑츄에이터들을 동시성(Parallelism)과 실시간성(Real timeness)을 고려하여 어떻게 작업 지시를 프로그래밍하는가 하는 문제를 해결하여야 한다. 이를 위해 지금까지 대부분의 장비에서 사용하는 작업 교시 방법들은 특정한 동작을 나타내는 의미 명령어로 구성된 작업을 기술하거나, 사용자 인터페이스를 통해 장비업체가 일방적으로 정한 작업 지시를 입력하는 형태로서 개발되었다.(중략)

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.597-599
• /
• 1998

기존의 공중전기통신망들이 B-ISDN으로 통합, 발전되어 가는 과정에서 경제성 및 효율성 등의 이유로 인해 필연적으로 기존망과 새로 구현하는 망 사이의 연동과정이 필요하게 되며 가능한 기존망의 기능을 수용하면서 구현될 수 있는 방안이 마련되어야한다. 본 논문에서는 B-ISDN과 Internet의 망간 프로토콜인 B-ISUP와 TCP/IP의 연동 프로토콜을 설계하고 연동 프로토콜을 검증하기 위해 페트리네트(petrinet)의 확장인 프레디키디(predicate)/액션(action) 네트를 이용하여 모델링하였다. 또한 동작성 확인을 위해 도달트리(reachability tree)를 이용하여 설계한 프로토콜이 교착상태(deadlock)없이 정상적으로 수행됨을 보였다.

• Proceedings of the KIEE Conference
• /
• 2004.11c
• /
• pp.82-85
• /
• 2004

This paper proposes the development of delay compensator to minimize performance degradation caused by time delays in network-based real-time control systems. The delay compensator uses the time-stamp method as a direct delay measuring method to measure time delays generated between network nodes. The delay compensator predicts the network time delays of next period in the views point of time delays and minimizes performance degradation from network through considering predicted time delays. Control output considering network time delays is generated by the defuzzification of probable time delays of next period. The time delays considered in the delay compensator are modeled by using a timed Petri net model. The proposed delay prediction mechanism for the delay compensator is evaluated through some simulation tests by measuring deviation of the predicted delays from simulated delays.

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

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

산업공정현장에서는 독립적으로 운영되고 있는 프로그램식 단위제어기기들에 대한 연계운영을 위하여 실시간 처리 소규모 네트워크가 도입되어 구축운영되고 있다. 특히 제조생산공정에서는 계층화된 분산 구조로서 공정정보처리를 위하여 공장환경에 적절한 네트워크 구축을 MAP등의 표준화된 규격에 의하여 권고되고 구현되어 운영되고 있다. 본 논문에서는 공장 환경에서의 표준규격으로 제안된 Mini MAP을 기준으로 하여 물리 및 데이타 링크계층을 Petrinet 기법을 활용하여 실시간 처리를 위한 개선된 모델을 제안하고 네트워크의 성능측정 및 시뮬레이션을 수행하였다. 또한 이 모델에 의하여 토큰버스 네트워크를 구성하여 전송 서비스시간과 메세지 처리율을 분석하고 Mini MAP 규격과 함께 성능을 해석하였다.

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

Assembly is usually performed by one robot and fixtures. This type of assembly system has Low flexibility in terms of variety of parts and part-presentation that the system can handle. This paper addresses assembly without fixtures using two-manipulator robot. An active method using force feedback is proposed for the peg-in-hole assembly in highly uncertain environment. Assembly states are described by extended contact relations. Qualitative templates for events are easily derived from the token vector of the Petrinet model. The states are recognized through identification of the events using two 6-d.o.f force/moment sensors. The proposed method is verified and evaluated through experiments with round peg- in-hole assembly.

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