• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1998년도 공동추계학술대회 경제위기 극복을 위한 정보기술의 효율적 활용
• /
• pp.655-662
• /
• 1998

This paper is on the anlaysis for real-time software requirement . This method can be used for TNPIN(Timed Numerical Petri Net) as a easy communication means with a real-users. It is based on the RTTL(Real Time Temporal Logic) for correctness fo the system. TNPN is used to represent a behavior specification language, the validity of specified behaviors in TNPN is expressed in RTTL , and analyzed through the reachability graph. Thus , the requirement of between user and system is satisfied. By the example of shared track, the validity of the property of real-time (safetiness, responsiveness, liveness, priority) is verified. Also, this framework is give to connection with a object natually.

• 한국정보처리학회논문지
• /
• 제7권6호
• /
• pp.1874-1885
• /
• 2000

When a receiver of ciphertext message can not decrypt a message because he has lost his private-key, the private-key of receiver and session-key of the message should be recovered. In this paper, we developed an Encapsulation based Key Recovery System (EKRS). EKRS is a new key encapsulation based key recovery system which is characterized by secretly choice of KRA, randomized target keys. n-way recovery type, and useful for commercial key recovery. EKRS is formally specified by a pictorial model, an Extended Cryptographic Timed Petri Net (ECTPN). Secure information flow and reachability of a session-key are verified by using reachability graph of ECTPN. EKRS, executing over a Public Key Infrastructure, can be used as a security solution in Web based applications such as CALS, EC an EDI.

• Nuclear Engineering and Technology
• /
• 제52권3호
• /
• pp.560-567
• /
• 2020

The complexity of safety critical systems of Nuclear Power Plant continues to increase rapidly due its transition from analog to digital systems. It has thus become progressively more imperative to model these systems prior to their implementation in order to meet the high performance, safety and reliability requirements. Timed Petri Nets (TPNs) have been widely used to model such systems for non-functional analysis. The paper presents a novel methodology for the analysis of the performance metrics using PN modeling. The paper uses the isomorphism property of the TPNs and the Markov chains for the performance analysis of the safety critical systems. The presented methodology has been validated on a Shutdown System of a Nuclear Power Plant.

• 산업경영시스템학회지
• /
• 제21권47호
• /
• pp.193-209
• /
• 1998

The objective of this paper is to present a methodology for design of the FMS by using a new modeling tool which is called SE&TPN(Safe Extended & Timed Petri Net). A FMS, which consists of various machine groups, may produce machine parts in different physical dimensions and lot size. The approach involves the SE&TPN modeling by Petri-nets. The proposed algorithm can handle determining of firing count vector by incidence matrix and adjustment of conflict using the marking of SE&TPN. The SE&TPN is defined as nets that can have at most one token in one place and can have elements such as permissive arcs and inhibitor arcs in addition to elements. The SE&TPN with permissive arcs and inhibitor arcs are intuitively direct approach to increase the modeling power of the SE&TPN. Finally, this paper is to develop a modulation to optimize the system problems of FMS using SE&TPN which describes exactly features of Petri Nets.

• 한국통신학회논문지
• /
• 제14권5호
• /
• pp.511-520
• /
• 1989

지능 링크는 "전송과 처리"라는 두 가지 개념을 융합한 그림이며, 종래의 통신 회선에다 정보 전송뿐만 아니라 처리를 실시할 수 있는 기능을 가진 새로운 전송처리 시스템이다. 이 지능 링크는 각 세그먼트의 기능을 소프트웨어에 의하여 주어지는 범용 파이프라인 프로세싱 시스템이라고 간주할 수 있으며, 각 세그먼트에 대한 처리시간이 다르므로 비동기적 파이프라인으로 동작한다. 본 논문은 도형 표현에 의한 시각적 이해가 용이하고 실행 규칙이 단순한 페트리 네트를 이용하여 지능링크와 파이프라인을 모델화하였으며, 계산기상에서 시뮬레이션하는 것으로 그 성능을 평가하였다.성능을 평가하였다.

• 산업공학
• /
• 제12권2호
• /
• pp.193-204
• /
• 1999

Development of high technology especially in telecommunication and precise weapon systems will impact the future battle field environment. So it is not difficult to anticipate the environment of military command and control system will be changed rapidly. Considering these future battle field environment, military needs automated C4I (Command, Control, Communication, Computer and Intelligence) system, namely real time decision support system which is combined high technologies. Most of advanced countries have been studied and developed these kinds of systems and already applied these systems in real military operations. In order to take a military initiative in Korea peninsula it is essential to catch up with this trend and procure C4I system. The purpose of this research is to present the method and the direction of optimal C4I system development model. First we survey the related theory about C4I systems. Second we present the conceptual framework for C4I system concept development. Third we model the system using Timed Petri-Net and perform simulation. Finally we analyze the through-put time and suggest alternatives. If we model using the real organization structure, operational tasks and various situations then optimal C4I system would be developed.

• 수산경영론집
• /
• 제22권1호
• /
• pp.1-52
• /
• 1991

This study deals with the evolutional history of the holding and utilization of fisheries resources in Korea. Fisheries resources have the basic characteristics of the density dependent self-regulating renewable and common property resources, Irrational utilization of fisheries resources is mainly due to the unlimited access to the resources. The holding and utilization of fisheries resources in Koryo era was opened to everyone. But it was nationalized in the early Yi Dynasty. The purpose of its nationalization was to provent the paticular powered-man with their monoplized holding and to levy fisheries tax. Eoeop-peop, the first modern fisheries law in Korea, was enacted as a part of the invasion policy of Japan in 1908. With the japanese annexation of Korea in 1910, the Japanese Government established a new institutional system of fisheries as a part of an overall reformation of the institutional for an implementation of the colonial policy. It was very the new enacted Fisheries Law (Gyogyorei). Also the Government enacted compulsorily another new Fisheries Law (Chosen Gyogyorei) with its adjunct laws and regulations revise the institutional system of fisheries on May 1, 1930. After Eoeop-peop enactment, the fisheries resources in Korea could be used only under the license, permission, and statement. After Korea was from Japan in 1945, Korea Government at last enacted the new fisheries law (Susaneop-peop) in 1953. The goal of Susaneop-peop was to achive the general usage and protection of the fisheries resources, and to attain the development and democratization of the fishery in Korea. This law was amended 13 times until 1990. The license fishery have a legal right on the fishery, called a fishery rigt. This right means a right of exclusive occupation and utilization of a unit of the inshore fishing grounds. The main evolutional issues of license fishery are as the following : 1) the foundation of the exclusive usable fishery right(1911, Gyogyorei), 2) the deletion of the settled U9space lift net and settled space sein net fishery, and the expansion of the cooperative fishery-No.1, 2, and 3 type cooperative fishery-(3rd amendment, 1963), 3) the deletion of the No.2 and 3 type cooperative fishery, and the separation of the culturing fishery in No.1 and 2 type culturing fishery (13th amendment, 1990). The effective period of the license fishery was amended as the following : 1) 1908(Eoeop-peop) : within 10 years, renovation system, 2) 1929(Chosen Gyogyorei) : within 10 years, unlimited extension system, 3) 1971. 7th amendment : 10 years, renovation system, 4) 1972. 8th amendment : 10 years, only 1 extension system, 5) 1975. 9th amendment : 5-10 years, only 1 extension system, 6) 1990.13th amendment : 10 years, within 10 years of total extensional years. The priority order of the fishery license was established in 1953 (Susaneop-peop). The amendment of it is as follows : 1) 1953. enactment \circled1 the fishing grounds that the fishery right is extablished 1st order : the existing fishery right man, unlimited renovation 2nd order : the corporate that the regional fisherfolk organized 3rd order : the rest experienced fishermen \circled2 new fishing grounds 1st order : the corporate that the regional fisherfolk organized 2nd order : the rest experienced fishermen 2) 1971. 9th amendment \circled1 the fishing grounds that the fishery right is established 1st order : the existing fishery right man, unlimited renovation 2nd order : the Eochongye that the regional fisherfolk organized 3rd order : the regional fishery cooperative that the regional fisherfolk organized 4th order : the rest experienced fishermen \circled2 new fishing grounds 1st order : the Eochongye that the regional fisherfolk organized 2nd order : the regional fishery cooperative that the regional fisherfolk organized 3rd order : the rest experienced fishermen 3) 1981. 10th amendment \circled1 the inside of No.1 type cooperative fishing grounds 1st order : the Eochongye that the regional fisherfolk organized 2nd order : the regional fishery cooperative that the regional fisherfolk organized 3rd orer : the rest experienced fishermen 4) 1990. 13th amendment \circled1 No.1 type cultural fishery 1st order : the Eochongye that the regional fisherfolk organized 2nd order : the regional fishery cooperative that the regional fisherfolk organized 3rd order : the rest experienced fishermen \circled2 No.2 type cultural and settle fisher : general priority order The effective period of the permission fishery was amended 6 timed. First, it was within 5 years and renovation system (Eoeop-peop). Now it is 5 years and renovation system. The effective period of the statement fishery was amended 4 times. First, it was within 5 years, and then was amended within 3 years(Chonsen Gyogyorei). Now it is 5 years.