• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.32A no.4
• /
• pp.1-14
• /
• 1995

A new stochastic Petri nets model, called Stochastic Petri Nets Reward Model(SPNRM) is used for modeling and evaluating the performance of telecommunication protocols. We have developed a SPNRM of the TDX-10 Internal protocol, which has a packet data exchange facility between DCEs, Especially a timer and retransmission handling model is presented for error control of the data transmission phase. The stochastic Petri nets package(SPNP), a software package for SPNRM used in this paper, has been used to generate numerical results by analytical-numerical method rather than simulation. From the steady state solution of the net, it is possible to calculate automatically the performance measure of the protocol medeled with both end-to-end and link-by-link method, which are the mean response times and the throughputs.

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

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2007.10a
• /
• pp.355-358
• /
• 2007

In wireless mobile communication systems, priority of voice service through high speed data and multimedia transmission requires increased service diversification. Research is being carried out in this environment, on the call admission control techniques to guarantee the diversified service's QoS. SRN (Stochastic Reward Net) is an extended version of Petri nets, well know modeling and analysis tool. In this paper, we develop SRN call admission control model considering the 4 classes of services in the 4th generation IEE 802.16e mobile communication Technology.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.34C no.5
• /
• pp.9-18
• /
• 1997

The petri net is a graphic model which is adaptable in modeling a complex concurrent parallel ssystem, and it is widely used in the fields of industrial enginering, computer science, electric engineeringand chemistry. Recently, the net is applied to the communication protocol, and extended to represent complex systems. There are several extended petri nets named as TPN (timed petri net), SPN (stochastic petri net), FPN(fuzzy petri net) and TFPN(timed fuzzy petri net). Accodingly, this SPN (stochastic petri net), FPN (fuzzy petri net) and TFPN(timed fuzzy petri net). Accodingly, this paper proposes an advanced communication protocol modeling method using the fuzzy value of the transition and firing delay time as the arguments of the function. The proposed method can produce clearer firing rules, and it is supposed to be used to design and analyse communication protocols in great effection.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.2
• /
• pp.1148-1161
• /
• 2017

The success of a business process management system stands or falls on the quality of the business processes. Many experiments therefore have been devoting considerable attention to the modeling and analysis of business processes in process-centered organizations. One of those experiments is to apply the probabilistic theories to the analytical evaluations of business process models in order to improve their qualities. In this paper, we excogitate a conceptual way of applying a probability theory of proportions into modeling business processes. There are three types of routing patterns such as sequential, disjunctive, conjunctive and iterative routing patterns in modeling business processes, into which the proportion theory is applicable. This paper focuses on applying the proportion theory to the disjunctive routing patterns, in particular, and formally named proportional information control net that is the formal representation of a corresponding business process model. In this paper, we propose a conceptual approach to discover a proportional information control net from the enactment event histories of the corresponding business process, and describe the details of a series of procedural frameworks and operational mechanisms formally and graphically supporting the proposed approach. We strongly believe that the conceptual approach with the proportional information control net ought to be very useful to improve the quality of business processes by adapting to the reengineering and redesigning the corresponding business processes.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.39 no.12
• /
• pp.529-538
• /
• 2002

Conventional method to reduce the handoff call blocking probability(PBH) in mobile communication system is to reserve a predetermined number of channels only for handoff calls. To determine the number of reserved channels, an optimization problem, which is generally computationally heavily involved, must be solved. In this Paper, we propose a call admission control (CAC) scheme that can be used to reduce the PBH without reserving channels in advance. For this, we define a new measure, gain, which depends on the state of the system upon the arrival of a new call. The proposed CAC decision rule relies on the gain computed when a new call arrives. SRN, an extended stochastic Petri nets, provides compact modeling facilities for system analysis can be calculated performance index by appropriate reward to the model. In this Paper, we develop SRN models which can perform the CAC with gain. The SRN models are 2 level hierarchical models. The upper layer models are the structure state model representing the CAC and channel allocation methods considering QoS with multimedia traffic The lower layer model Is to compute the gain under the state of the upper layer models.