• 제어로봇시스템학회:학술대회논문집
• /
• 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 the Korea Institute of Information Security & Cryptology
• /
• v.20 no.1
• /
• pp.123-128
• /
• 2010

Graph expression of attack scenarios is a necessary method for analysis of vulnerability in server as well as the design for defence against attack. Although various requirement analysis model are used for this expression, they are restrictive to express combination of complex scenarios. Role Based Petri Net suggested in this paper offer an efficient expression model based role on Petri Net which has the advantage of concurrency and visuality and can create unknown scenarios.

• The Journal of Society for e-Business Studies
• /
• v.3 no.2
• /
• pp.141-160
• /
• 1998

In order to achieve a successful introduction of CALS, an enterprise model which is a concise description of what an enterprise does is required. The enterprise model mainly consists of a process model and a data model. The process model describes processes that create, change, combine, or destroy the entities within the enterprise. Several process modeling methodologies have been proposed. Each modeling methodology requires its own modeling view point, elements, and syntax. In developing a process model for CALS, these models created at different view points are required to analyze and design a system in a broad view. This paper aims at proposing an integration methodology for a process model. Specifically, IDEF0, IDEF3, and Petri Net are considered to be integrated. An IDEF0 model describing static functions of enterprise is transformed to an IDEF3 model describing behaviour of a system with additional information. Also, the IDEF3 model is transformed to a Petri Net model. These transformations will be automatically accomplished once the additional information for the transformation is provided.

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

• IE interfaces
• /
• v.17 no.2
• /
• pp.200-207
• /
• 2004

Because the designed workflow may contain potential errors which may result in deadlocks, livelocks and so on, it is important to analyze the correctness of a workflow definition before it is put into the run time environment. Proposed in this paper is a transformation procedure of an UML activity diagram into a Petri net for the analysis of a workflow. By combining the strengths of easy-to-use functionality of an activity diagram and the analysis power of a Petri net, workflow analysts in the enterprise can model and analyze various kinds of workflow definition more easily and accurately.

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

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

This paper purposed that verify the validity of Petri Net method for control progressive increase of system complexity, before extend the realized single robot system to multi-robot system. An autonomous mobile robot(AMR) needs decision making, motion control, path planning, tracking a path, obstacle avoidance, and sensor fusion, to complete its task. An AMR integrates and operates these technics through a consistent command system. An error in a command hierarchy which is like duplication or omission of a control command hierarchy for each module results in serious problems. This paper minimizes the error by modeling each module and whole system using Petri Net graphical representation and applies it to the exploration task of an AMR

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.60 no.7
• /
• pp.1347-1353
• /
• 2011

While most of the existing protection schemes have been designed with local information around individual components, these local schemes are not considered capable of protecting the modern electric power gird with growing complexity. Recent blackouts in North America and Europe have renewed the emphasis on coordinated protection and control actions to avoid systemwide blackouts, utilizing all of the available grid information. Thus, this paper proposes a new methodology, Agent-based Colored Petri Net (ACPN) modeling for systematically representing, modeling and analyzing information flows and interactions among the entities of the electric power grid. The paper demonstrates its efficacy and accuracy by investigating an ACPN model of a wide area protection system for a typical power grid. The proposed modeling and analysis schemes may further provide a framework to help assure reliability and interoperability of diverse smart grid components.

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

This work presents a net-based structure to model approximate reasoning using fuzzy production rules, the Fuzzy Petri Net model. The Fuzzy Petri Net model is formally defined as a n-uple of elements. It allows for the representation of simple and complex forms of rules such as rules with conjunction in the antecedent and qualified rules. Parallel rules and conflicting rules can be modeled as well. We also developed an analysis method based on state equations and two fuzzy reasoning algorithms. Finally, the proposed method is applied to an example.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.227-230
• /
• 2011

본 논문에서는 유한한 자원인 네트워크를 보다 많은 이용자가 원활하게 사용하기 위해 고안된 전송 부하 분산 알고리즘인 Round Robin, Weighted Round Robin과 전송 부하 분산 알고리즘이 존재 하지 않는 네트워크를 Petri-net 이론을 기반으로 한 시뮬레이터(CPN-Tools)를 통해 실험 결과를 비교 분석하여 알고리즘의 필요성과 전송 부하 분산 알고리즘의 특징과 장단점을 실험을 통하여 보였다.