• 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)를 통해 실험 결과를 비교 분석하여 알고리즘의 필요성과 전송 부하 분산 알고리즘의 특징과 장단점을 실험을 통하여 보였다.

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

The purpose of this paper is show that an chip mounter can be modeled by stochastic petri nets, and that the simulator to verify a fitness of the program to assemble. The chip mounter can be constructed by using the petri net class (CPetriNet) based on the object-oriented programming. By using this simulator, we can get the information about the description of motion of the chip mounter, and moreover, we can evaluate the productivity.

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

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

• Proceedings of the KIEE Conference
• /
• 2000.11d
• /
• pp.615-617
• /
• 2000

Temporal Logic Frameworks is convenient to represent temporal relation. It is useful to represent a dynamic properties of Discrete Event Dynamic Systems. Also, it is convenient to express a current and next state of event using logical representation. Because the teachability tree of the Temporal Logic Frameworks is very complexity it is difficult to understand. In this paper, we defined some rules to represent Temporal Logic Frameworks by Petri Net and proposed am method of the representation of them Petri Net for the Temporal Logic Frameworks. An example are used to demonstrate the feasibility of this method.

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

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

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