• Journal of Information Technology Applications and Management
• /
• v.12 no.4
• /
• pp.1-12
• /
• 2005

In general, other conventional researches propose the fuzzy Petri net-based fuzzy reasoning algorithms based on the exhaustive search algorithms. If it can allow the certainty factors representing in the fuzzy production rules to use as the heuristic information, then it can allow the reasoning of rule-based systems to perform fuzzy reasoning in more effective manner. This paper presents a fuzzy Petri net(FPN) model to represent the fuzzy production rules of a rule-based system. Based on the fuzzy Petri net model, a weighted fuzzy reasoning algorithm is proposed to Perform the fuzzy reasoning automatically, This algorithm is more effective and more intelligent reasoning than other reasoning methods because it can perform fuzzy reasoning using the certainty factors which are provided by domain experts as heuristic information

• International Journal of Control, Automation, and Systems
• /
• v.1 no.4
• /
• pp.431-443
• /
• 2003

This paper presents an efficient method to evaluate the performance of an extended stochastic Petri net by simple algebraic operations. The reachability graph is derived from an extended stochastic Petri net, and then converted to a timed stochastic state machine, using a semi-Markov process. The n-th moments of the performance index are derived by algebraic manipulations with each of the n-th moments of transition time and transition probability. For the derivation, three reduction rules are introduced on the transition trajectories in a well-formed regular expression. Efficient computation algorithms are provided to automate the suggested method. The presented method provides a proficient means to derive both the numerical and the symbolic solutions for the performance of an extended stochastic Petri net by simple algebraic manipulations.

• Journal of the Korea Society for Simulation
• /
• v.2 no.1
• /
• pp.1-12
• /
• 1993

Simulation has been recognized as an invaluable tool in designing and analyzing manufacturing system. In this paper, a Petri net based simulation tool to facilitate the simulation project in manufacturing area is presented . To simulate a manufacturing system, three models are developed ; a Petrinet model, a monitor, and a token control function. While hardware objects in manufacturing systems are modeled by Petri net objects, cell level control functions are separately modeled and integrated with a Petri net model so that they resolve conflicts occuring in Petri net execution. The monitor is a model regarding the information flow between Petri nets and token control functions. The facilities of the developed tool are presented. Also, a modeling procedure with the tool is illustrated via a case study.

• Nuclear Engineering and Technology
• /
• v.44 no.8
• /
• pp.929-938
• /
• 2012

The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.324-329
• /
• 1993

A reduction method of GSPN (generalized stochastic Petri net) is proposed. A GSPN is basically a SPN (stochastic Petri net) with transition a that are either timed or immediate. Then the proposed method is defined on the basis of the dynamic behavior and the structure of the net. The reduction preserves the properties such as liveness, boundedness, and allows easy analysis of the GSPN.

• 제어로봇시스템학회:학술대회논문집
• /
• 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 Society of Computer and Information
• /
• v.12 no.3
• /
• pp.9-17
• /
• 2007

This paper introduces a Petri Net-based multimedia programming method. For this purpose, we are proposing MPN(Multimedia Petri Net) which can be used for representing a multimedia scenario. We are also introducing methods to analyze a MPN with which we can detect some kinds of design faults in the scenario. A multimedia program replays the scenario by interpreting the MPN. A method to implement such a multimedia program is also discussed. Our multimedia program provides the manipulation functions of stop, play, fast forward. rewind, and fast rewind. There are many varieties of Petri Net. Several of them are for modeling multimedia scenarios. They all have been used for synchronization analysis. But none of them were used for replaying multimedia scenario. We have extended these nets to MPN. A MPN model contains not only the flow of a scenario but also all the information associated with the data units. Therefore, our player can play the multimedia scenario by interpreting the MPN.

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

• Proceedings of the IEEK Conference
• /
• 2002.07b
• /
• pp.971-974
• /
• 2002

Petri net is an effective modeling tool for concurrent systems. Liveness problem is one of analysis problems in Petri net theory verifying whether the system is free from any local deadlocks. It is well known that computational complexity of liveness problem of general Petri net is deterministic exponential space. Some subclasses, such as marked graph and free choice net, are suggested where liveness problem is verified in less complexity. This paper studies liveness of siphon containing circuit (SCC) net. Liveness condition based on algebraic inequalities is shown. Then polynomial time decidability of liveness of SCC net is derived, if the given net is known to be an SCC net a priori.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.2
• /
• pp.584-589
• /
• 2010

In this paper we suggest multimedia synchronization model that is based on the Petri-net and services desirable quality of service requirement. Proposed model applies variable buffer 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 multimedia synchronization specification model in PBMSM and apply two analysis method of Petri-net to prove our model suggested. We compared with other models and showed high QoS.