• Journal of the Korean Operations Research and Management Science Society
• /
• v.30 no.4
• /
• pp.99-115
• /
• 2005

For an analysis of the performance of a computer system, the minimum cycle time method has been widely used. The minimum cycle time method is a mathematical technique with which we can find the minimum duration time needed to fire all the transitions at least once and coming back to the Initial marking in a timed net. A timed net is a modified version of a Petri net where a transition is associated with a delay time. In the real world, an event is associated with a probability of occurrence. However, a timed net is not equipped with any facility of specifying probability of event occurrence. Therefore, the minimum cycle time method applied on a timed net can easily overlook probabilities of occurrences of events and yield a wrong result. We are proposing 'Timed Net with Probabilities of Choices' where a transition can be associated with both delay time and a probability of occurrence. We also introduce an algorithm for minimum cycle time analysis on a 'Timed Net with Probabilities of Choices'. As an example of application, we are performing an analysis of the location based service system using 'Timed Net with Probabilities of Choices'.

• Journal of Korean Society for Quality Management
• /
• v.18 no.2
• /
• pp.54-68
• /
• 1990

Contingency response in a FMS system requires that the system be able to identify and evaluate a number of alternatives. This paper is outlined that DSS completes with a problem processor in corporating Timed Petri Nets model, and a data base system. DSS enables the FMS user to get the maximum benefit from a FMS. The structure of this DSS parallels the organizational activities involved in running the FMS. In designing a shop floor controller for FMS, interactions between the different real time, discrete event functions must be established. The specification of the machine tool and material handling system functions working as a concurrent and cooperative system is given in terms of Timed Petri Nets. In addition, the basic concepts and uses of Petri Nets are surveyed. The system to be studied is first modelled by a Timed Petri Nets and then procedure for evaluating the FMS system performance are presented. Numerical examples are studied to illustrate a session of the FMS used-DSS interaction.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.24 no.6B
• /
• pp.997-1003
• /
• 1999

It is required that synchronization model can describe various multimedia objects flexibly in the view point of time relationship and also respond quality of service requirement about jitter which is time difference between intramedia and skew which is time difference between intermedia. es desirable quality of service requirement. Proposed model applies maximum jitter and skew values which can be allowed, and then it presents high quality of service and real applies maximum jitter and skew values 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 synchronization specification model and apply two analysis method of Petri-net to prove oIn this paper we suggest multimedia synchronization model that is based on the Petri-net and servicur model suggested. We compared with other models and showed high QoS.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.5
• /
• pp.695-707
• /
• 1993

Marked Petri Net(MPN) is used to analyze communication complexity with respect to the maximum number of concurrently active rendezvous. But, because it cannot represent timed & probability characteristics explicitly, it is not used to analyze the new execution time of complexity with respect to the communication. Thus to effectively analyze that execution time complexity, we propose Ada Tasking Structure Nets (ATSN) introduced restrictive conditions : net reduction rules, execution time, and probability. Finally, we show the powers of analyze of communication complexity with ATSN.

• Journal of Korean Institute of Industrial Engineers
• /
• v.23 no.4
• /
• pp.669-686
• /
• 1997

In this research, an object-oriented Petri net model for representing a flexible process plan is proposed, which is hierarchically multi-faceted for supporting planning, scheduling, and shop floor control functions. The multi-faceted process plan model consists of the following: a) an object model which represents on object-oriented data model, b) a static model which represents a process flow model with process alternatives, and c) a dynamic model which represents a process activity model with resources alternatives, of a flexible process plan. Petri nets allow the static and the dynamic process plan models to be represented in a unified formalism with an ease of model transformation. The multi-faceted process plan model suggested in this paper, is illustrated with a prismatic port in comprehensive detail.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1995.10a
• /
• pp.173-178
• /
• 1995

The verification phase of knowledge base is an important part for developing reliable expert systems, especially in nuclear industry. Although several strategies or tools have been developed to perform potential ewer checking, they often neglect the reliability of verification methods. Because a Petri net provides a uniform mathematical formalization of knowledge base, it has been employed for knowledge base verification. In this work, we devise and suggest an automated tool, called COKEP (Checker Of Knowledge base using Extended Petri net), for detecting incorrectness, inconsistency, and incompleteness in a knowledge base. The scope of the verification problem is expanded to chained errors, unlike previous studies that assumed error incidence to be limited to rule pairs only. In addition, we consider certainty factor in checking, because most of knowledge bases have certainty factors.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1999.12a
• /
• pp.769-781
• /
• 1999

Manufacturing systems are usually large, complex, and concurrent in nature that makes it difficult to model and simulate the behavior in advance. The paper proposes an approach, called OPNets, for modeling and validating manufacturing systems. The approach is based on object-oriented high-level Petri nets in which modeling components of Petri net are constructed into object hierarchy. The objects communicate with each other by passing messages. To enhance the reusability and maintainability, a system are developed by object hierarchy. Inheritance among object hierarchy is also supported in OPNets. The modeling scheme of OPNets tries to resolve the complexity problems of Petri net.

• Journal of Institute of Control, Robotics and Systems
• /
• v.8 no.4
• /
• pp.292-298
• /
• 2002

We focus on the slicing off some sub-nets using the transitive matrix. Control flows in the Petri nets is done based on the token flows. One control f]ow explains the independent tokens status and if the token-in divides into several tokens after firing a transition then the control flow divides to several flows, as well. Accordingly, we define that the basic unit of concur-rency (short BUC) is a set of the executed control flows based on the behavioral properties in the net. The BUC is S-invariant which has one control flow. We show the usefulness of transitive matrix to slice off some subnets from the original net based on BUC-through on an example.

• Proceedings of the KIEE Conference
• /
• 2006.10c
• /
• pp.181-183
• /
• 2006

This paper proposes an intelligent decision framework for update of the environment model using GSPN(generalized stochastic petri nets). The GSPN has several advantages over direct use of the Markov Process. The modeling, analysis, and performance evaluation are conducted on the mathematical basis. By adopting the probabilistic approach, our decision framework helps the robot to decide the time to update the map. The robot navigates autonomously for a long time in dynamic environments. Experimental results show that the proposed scheme is useful for service robots which work semi-permanently and improves dependability of navigation in dynamic environments.

• Transactions on Control, Automation and Systems Engineering
• /
• v.2 no.2
• /
• pp.121-129
• /
• 2000

In this paper, an optimal group control for elevator systems is proposed with timed Petri net based approach. Elevator system is modeled by time Petri nets and hall call response times are estimated with moment generating functions (MGFs) methos, which is applicable to real traffic patterns. Two assignment policies are proposed to satisfy the demands of passengers(i.e. hall/car calls) and to handle exceptional situations. In addition, optimal algorithms are implementated to minimize cost functions. THe performances of the elevator system employing the proposed algorithms are compared with each others in ways of several performance measures by a computer simulation.