Stochastic Petri Net (stochastic + petri_net)

Distribution by Scientific Domains

Kinds of Stochastic Petri Net

  • generalized stochastic petri net


  • Selected Abstracts


    Performance evaluation on a double-layered satellite network

    INTERNATIONAL JOURNAL OF SATELLITE COMMUNICATIONS AND NETWORKING, Issue 6 2005
    Feng-Ge Wu
    Abstract How to evaluate the performance of satellite networks is a prerequisite to the construction of satellite networks, and is also one of challenges in the researches on satellite networks. In this paper, generalized stochastic Petri net (GSPN) models are presented to carry out the performance analysis of a double-layered satellite network. Firstly, the GSPN model of a double-layered satellite network is simplified by proper analysis. Then, two sets of experiments are conducted to analyse the performance of the satellite networks, and show that the double-layered satellite network outperforms single-layered ones on the heavy traffic load. Finally, the feasibility and effectiveness of the proposed approach is verified by simulation experiments. Copyright © 2005 John Wiley & Sons, Ltd. [source]


    Synthesis of deadlock prevention policy using Petri nets reachability graph technique,

    ASIAN JOURNAL OF CONTROL, Issue 3 2010
    Yi-Sheng Huang
    Abstract This paper proposes a subclass of generalized stochastic Petri net (GSPN) model, called TS3PR, which is modified the systems of simple sequential processes with resources (S3PR) with timed information. Based on the subclass of GSPN, a new deadlock prevention policy is developed by using reachability graph technique. The foundation of the new control policy is to manipulate all the dead states of the system nets. This study is able to change dead states into vanishing ones by additional immediate transitions. A live TS3PR model can then be obtained. It is worthwhile to notice that this study is different from adding additional control place policies in previous literature. Experimental results, indicate that our new control policy is with maximally permissive markings than conventional place-control ones. As a result, we can infer that our proposed control policy seems to be used in Petri nets deadlocked systems. To our knowledge, this is the first work that employs the additional transitions to obtain the deadlock prevention policy. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society [source]


    An optimal maintenance policy based on generalized stochastic Petri nets and periodic inspection

    ASIAN JOURNAL OF CONTROL, Issue 3 2010
    Ching-Kao Chang
    Abstract Periodic maintenance of equipment is essential for its optimum performance, thereby enabling production efficiency. In the past, studies on preventive maintenance of automated manufacturing systems (AMS) determined the optimal preventive maintenance policy under different performance indexes. Generally, most hypotheses indicate that equipment reliability can be restored to 1.0 through preventive and corrective maintenance. However, in practical application, the implementation of preventive maintenance results in partial deterioration of equipment; moreover, the reliability of equipment cannot be restored to as-good-as-new. In addition, the greater the complexity of connections of the equipment, the greater is the difficulty in determining the timing for preventive maintenance. On account of these characteristics, generalized stochastic Petri nets (GSPN) are well-suited for the implementation of preventive maintenance. Therefore, this paper applies GSPN for deciding the optimal maintenance policy and constructing models for different levels of maintenance and renewal for an AMS with a serial-parallel layout. As a result of the application of GSPN, the following optimal maintenance policy for an AMS was obtained in this study: Preventive maintenance conducted at intervals of every 240 hours will reduce cost by 46% as opposed to the practice of replacing defective parts when necessary. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society [source]