Log in

Relevant bibliographies by topics / Stochastic Petri net / Journal articles

To see the other types of publications on this topic, follow the link: Stochastic Petri net.

Journal articles on the topic 'Stochastic Petri net'

Author: Grafiati

Published: 4 June 2021

Last updated: 10 March 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Stochastic Petri net.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Xu, Xue Jian, Hai Feng Xing, and Shou Guang Wang. "Research on Stochastic Manufacturing Unit Performance Analysis Based on Simulation of Petri Net." Applied Mechanics and Materials 556-562 (May 2014): 6414–18. http://dx.doi.org/10.4028/www.scientific.net/amm.556-562.6414.

Full text

Abstract:

This paper analysed the deficiency of Petri net model of traditional stochastic manufacturing unit, and proposed an improved Petri net model to deal with the situation. It simulated improved Petri net models of different stochastic manufacturing units directly and conducted performance analyses. Moreover, it verified the capability of improved Petri net to depict stochastic manufacturing units accurately by comparing with the calculation results of Markov chain based on the same structure. The methodology of performance analysis based on simulation is universal significance.

APA, Harvard, Vancouver, ISO, and other styles

2

El Akchioui, Nabil. "Fluidification of Stochastic Petri Net by Non Linear Timed Continuous Petri Net." American Journal of Embedded Systems and Applications 5, no. 4 (2017): 29. http://dx.doi.org/10.11648/j.ajesa.20170504.11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Zhang, Ziben, and Dongliang Zhang. "Reliability Analysis and Modelling of Containment Spray System Based on Petri Net." Journal of Physics: Conference Series 2224, no. 1 (April 1, 2022): 012059. http://dx.doi.org/10.1088/1742-6596/2224/1/012059.

Full text

Abstract:

Abstract Reliability modelling for digital instrumentation and control systems in nuclear power plants is one of the new trends. The containment spray system in the digital I&C system of nuclear power plant is selected, and the generalized stochastic Petri net model is used to model the reliability of the containment spray system. A single-cycle simulation of the generalized stochastic Petri net model is carried out under consideration of a variety of dynamic events, and the probability of system start-up failure is obtained. The results show that the generalized stochastic Petri net model can well reflect the impact of various dynamic events on system security. Therefore, the generalized stochastic Petri net model is suitable for reliability modelling of I&C systems in nuclear power plants.

APA, Harvard, Vancouver, ISO, and other styles

4

Zhang, Ying, Shi Hang Huang, De Peng Dang, and Hui Ruan. "Evaluation of Natural Disaster Emergency Response Procedure Based on Petri Net." Applied Mechanics and Materials 339 (July 2013): 236–41. http://dx.doi.org/10.4028/www.scientific.net/amm.339.236.

Full text

Abstract:

How to ensure a smooth, fast and efficient emergency response procedure becomes a highly concerned issue. However, a procedure of emergency plan may be confusing and inefficient in reality due to delay caused by waiting for decision-making, responding to conflicts and limited resource during the process of dealing with emergency. In this paper, we propose a colored stochastic Petri net to evaluate the security and complexity of emergency response procedure and the reasonableness of resource flow, so as to effectively analyze the potential deficiencies of emergency response procedure. We firstly establish a colored stochastic Petri net, and then convert the colored stochastic Petri net to an isomorphic Markov chain. Studying the structural properties of the colored stochastic Petri net and steady-state nature of the Markov chainprovides a scientific basis for the perfection of emergency plan. Meanwhile, it also ensures an ordered and efficient implementation of emergency response procedure in an emergency.

APA, Harvard, Vancouver, ISO, and other styles

5

Ibe, O. C., and K. S. Trivedi. "Stochastic Petri net models of polling systems." IEEE Journal on Selected Areas in Communications 8, no. 9 (1990): 1649–57. http://dx.doi.org/10.1109/49.62852.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Llado, Catalina M. "PIPE 2.7 overview A Petri net tool for performance modeling and evaluation." ACM SIGMETRICS Performance Evaluation Review 49, no. 4 (June 2, 2022): 76–80. http://dx.doi.org/10.1145/3543146.3543163.

Full text

Abstract:

The Petri net modeling formalism allows for the convenient graphical visualization of system models, as well as the modeling and performance analysis of complex stochastic systems. PIPE is an open source, platform independent tool for creating and analysing Petri nets including GSPNs (Generalized Stochastic Petri Nets). It is implemented entirely in Java and provides an easy-to-use graphical user interface that allows creating, saving and loading of Petri as well as its qualitative and quantitative analysis. This paper describes PIPE 2.7, its main features, including its GUI, modeling power, and analysis functionality.

APA, Harvard, Vancouver, ISO, and other styles

7

LIU, FEI, MONIKA HEINER, and MING YANG. "MODELING AND ANALYZING BIOLOGICAL SYSTEMS USING COLORED HIERARCHICAL PETRI NETS ILLUSTRATED BYC. ELEGANSVULVAL DEVELOPMENT." Journal of Biological Systems 22, no. 03 (August 28, 2014): 463–93. http://dx.doi.org/10.1142/s0218339014500181.

Full text

Abstract:

Colored Petri nets allow compact, parameterizable and scalable representations of large-scale biological models by encoding, e.g., species as colored tokens, and offer a variety of analysis techniques, e.g., structural analysis, simulation and model checking to analyze biological models. However, so far colored Petri nets have not been widely used and well explored in systems biology. In this paper, we aim to present a systematic approach to modeling and analyzing complex biological systems using colored Petri nets in order to help biologists to easily use them. We first describe a framework comprising a family of related colored Petri nets: colored qualitative Petri net (𝒬𝒫𝒩𝒞), colored stochastic Petri net (𝒮𝒫𝒩𝒞) and colored continuous Petri net (𝒞𝒫𝒩𝒞). They share structure, but are specialized by their kinetic information. Based on this framework, we present our colored Petri net approach to modeling and analyzing complex biological systems. First a biological system is modeled as a hierarchical 𝒬𝒫𝒩𝒞model, animated and analyzed by structural analysis; then it is converted into a 𝒮𝒫𝒩𝒞or 𝒞𝒫𝒩𝒞model, to be further analyzed using stochastic or continuous simulation, and simulative or numerical model checking. We demonstrate this approach using a nontrivial example, Caenorhabditis elegans vulval development.

APA, Harvard, Vancouver, ISO, and other styles

8

Shareef, Ali, and Yifeng Zhu. "Effective Stochastic Modeling of Energy-Constrained Wireless Sensor Networks." Journal of Computer Networks and Communications 2012 (2012): 1–20. http://dx.doi.org/10.1155/2012/870281.

Full text

Abstract:

Energy consumption of energy-constrained nodes in wireless sensor networks (WSNs) is a fatal weakness of these networks. Since these nodes usually operate on batteries, the maximum utility of the network is dependent upon the optimal energy usage of these nodes. However, new emerging optimal energy consumption algorithms, protocols, and system designs require an evaluation platform. This necessitates modeling techniques that can quickly and accurately evaluate their behavior and identify strengths and weakness. We propose Petri nets as this ideal platform. We demonstrate Petri net models of wireless sensor nodes that incorporate the complex interactions between the processing and communication components of an WSN. These models include the use of both an open and closed workload generators. Experimental results and analysis show that the use of Petri nets is more accurate than the use of Markov models and programmed simulations. Furthermore, Petri net models are extremely easier to construct and test than either. This paper demonstrates that Petri net models provide an effective platform for studying emerging energy-saving strategies in WSNs.

APA, Harvard, Vancouver, ISO, and other styles

9

Amrita Dey, Nabendu Chaki, and Sugata Sanyal. "Modeling Smart Grid using Generalized Stochastic Petri Net." Journal of Convergence Information Technology 6, no. 11 (November 30, 2011): 104–14. http://dx.doi.org/10.4156/jcit.vol6.issue11.13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Haas, P. J., and G. S. Shedler. "Stochastic Petri net representation of discrete event simulations." IEEE Transactions on Software Engineering 15, no. 4 (April 1989): 381–93. http://dx.doi.org/10.1109/32.16599.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Nakada, K., and T. Yoneyama. "A method to abstract a stochastic Petri net." Mathematical and Computer Modelling 31, no. 10-12 (May 2000): 251–60. http://dx.doi.org/10.1016/s0895-7177(00)00094-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Proß, Sabrina, and Bernhard Bachmann. "An Advanced Environment for Hybrid Modeling of Biological Systems Based on Modelica." Journal of Integrative Bioinformatics 8, no. 1 (March 1, 2011): 1–34. http://dx.doi.org/10.1515/jib-2011-152.

Full text

Abstract:

Summary Biological systems are often very complex so that an appropriate formalism is needed for modeling their behavior. Hybrid Petri Nets, consisting of time-discrete Petri Net elements as well as continuous ones, have proven to be ideal for this task. Therefore, a new Petri Net library was implemented based on the object-oriented modeling language Modelica which allows the modeling of discrete, stochastic and continuous Petri Net elements by differential, algebraic and discrete equations. An appropriate Modelica-tool performs the hybrid simulation with discrete events and the solution of continuous differential equations. A special sub-library contains so-called wrappers for specific reactions to simplify the modeling process.The Modelica-models can be connected to Simulink-models for parameter optimization, sensitivity analysis and stochastic simulation in Matlab.The present paper illustrates the implementation of the Petri Net component models, their usage within the modeling process and the coupling between the Modelica-tool Dymola and Matlab/Simulink. The application is demonstrated by modeling the metabolism of Chinese Hamster Ovary Cells.

APA, Harvard, Vancouver, ISO, and other styles

13

Coman, Daniela, Nicu Bizdoaca, Anca Petrisor, Adela Ionescu, and Mihaela Florescu. "Modeling and Analysis of Soccer Robot Tasks Using Generalized Stochastic Petri Nets." Solid State Phenomena 166-167 (September 2010): 133–38. http://dx.doi.org/10.4028/www.scientific.net/ssp.166-167.133.

Full text

Abstract:

Robot soccer competition provides an excellent opportunity for robotics research. In particular, the soccer robots must perform real-time visual recognition, navigate in a dynamic field, avoid the obstacle, collaborate with teammates, and kick the ball in the correct direction. All these tasks demand robots that are autonomous (sensing, thinking, and acting as independent creatures), efficient (functioning under time and resource constraints), cooperative (collaborating with each other robot to accomplish tasks that are beyond individual’s capabilities), and intelligent (reasoning and planing actions and perhaps learning from experience). This paper proposes a method of defining and analysing the attacking robot tasks using Petri nets. Attacking soccer robot behaviors are modeled using the generalized stochastic Petri nets. Using Petri nets allows qualitative and quantitative analysis of the task execution. Petri net model is implemented in Petri Net Toolbox under MATLAB environment. Therefore, it is validated the net topology, the evolution of (their dynamics), the structural and behavioral properties (corresponding to checking if resources usage is stable and the model have no deadlocks), as well as the stochastic performance.

APA, Harvard, Vancouver, ISO, and other styles

14

Pan, Cheng Xian, Rui Peng, Jun Li Wang, and Qing Lu. "OOSPN-Based Modeling and Simulation of Tridimensional Rail Net Transmission System in Container Terminal." Applied Mechanics and Materials 58-60 (June 2011): 1240–45. http://dx.doi.org/10.4028/www.scientific.net/amm.58-60.1240.

Full text

Abstract:

Object-Oriented Stochastic Petri Net (OOSPN) is utilized concerning the complexity of container terminal tridimensional rail transmission system network. It simplifies the structure and modeling with object-oriented and hierarchy idea, while the efficiency of each state is detected based on Stochastic Petri Net performance analysis. Thereby, it finds the system bottleneck which also provides reference for the improvement of the program. The efficiency indicators are obtained by analysis and construction of container terminal transmission system as well.

APA, Harvard, Vancouver, ISO, and other styles

15

Ciardo, G., R. German, and C. Lindemann. "A characterization of the stochastic process underlying a stochastic Petri net." IEEE Transactions on Software Engineering 20, no. 7 (July 1994): 506–15. http://dx.doi.org/10.1109/32.297939.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Haas, Peter J., and Gerald S. Shedler. "Stochastic Petri Nets: Modeling Power and Limit Theorems." Probability in the Engineering and Informational Sciences 5, no. 4 (October 1991): 477–98. http://dx.doi.org/10.1017/s0269964800002242.

Full text

Abstract:

Generalized semi-Markov processes and stochastic Petri nets provide building blocks for specification of discrete event system simulations on a finite or countable state space. The two formal systems differ, however, in the event scheduling (clock-setting) mechanism, the state transition mechanism, and the form of the state space. We have shown previously that stochastic Petri nets have at least the modeling power of generalized semi-Markov processes. In this paper we show that stochastic Petri nets and generalized semi-Markov processes, in fact, have the same modeling power. Combining this result with known results for generalized semi-Markov processes, we also obtain conditions for time-average convergence and convergence in distribution along with a central limit theorem for the marking process of a stochastic Petri net.

APA, Harvard, Vancouver, ISO, and other styles

17

Coman, Daniela, and Adela Ionescu. "Simulation and Performance Analysis of a FMS/CIM Using Stochastic Timed Petri Nets." Advanced Materials Research 837 (November 2013): 322–27. http://dx.doi.org/10.4028/www.scientific.net/amr.837.322.

Full text

Abstract:

This paper focuses on the modelling, simulation and the performance analysis of a flexible manufacturing system using stochastic timed Petri nets so as to evaluate various performance parameters such as utilization rate of machines, deadlock detection, cycle time, and throughput rate of system in order to obtain the optimum productivity. The simulation of the manufacturing system using Petri nets provides the possibility to view the manufacturing process in time. Petri net model is implemented in Petri Net Toolbox under MATLAB environment. It is achieved the graphic construction of the net. Then, transporting it into a specific mathematical formalism it is made, so that the fulfiled structure to be fully retrieved and used to bring out the internal dynamics of the model. It is validated in this way the net topology, the evolution of (their dynamics), as well as the structural and behavioral properties (corresponding to checking if resources usage is stable and the model have no deadlocks). Some global performance indicators are determined in order to evaluate the performance of the proposed manufacturing system.

APA, Harvard, Vancouver, ISO, and other styles

18

Bao, Shi Yi, Jian Xin Zhu, Li J. Wang, Ning Jiang, and Zeng Liang Gao. "The Quantitative Assessment of Domino Effects Based on Stochastic Petri Nets." Advanced Materials Research 44-46 (June 2008): 537–44. http://dx.doi.org/10.4028/www.scientific.net/amr.44-46.537.

Full text

Abstract:

The quantitative analysis of “domino” effects is one of the main aspects of hazard assessment in chemical industrial park. This paper demonstrates the application of heterogeneous stochastic Petri net modeling techniques to the quantitative assessment of the probabilities of domino effects of major accidents in chemical industrial park. First, five events are included in the domino effect models of major accidents: pool fire, explosion, boiling liquid expanding vapour explosion (BLEVE) giving rise to a fragment, jet fire and delayed explosion of a vapour cloud. Then, the domino effect models are converted into Generalized Stochastic Petri net (GSPN) in which the probability of the domino effect is calculated automatically. The Stochastic Petri nets’ models, which are state-space based ones, increase the modeling flexibility but create the state-space explosion problems. Finally, in order to alleviate the state-space explosion problems of GSPN models, this paper employs Stochastic Wellformed Net (SWN), a particular class of High-Level (colored) SPN. To conduct a case study on a chemical industrial park, the probability of domino effects of major accidents is calculated by using the GSPN model and SWN model in this paper.

APA, Harvard, Vancouver, ISO, and other styles

19

Yan Tian, Jingjing Liang, Yangdong Wu, and Kun Zhang. "Analysis of Clinical Pathway via Price Stochastic Petri Net." Journal of Convergence Information Technology 8, no. 5 (March 15, 2013): 147–55. http://dx.doi.org/10.4156/jcit.vol8.issue5.18.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Jenkins, L., and H. P. Khincha. "Deterministic and stochastic Petri net models of protection schemes." IEEE Transactions on Power Delivery 7, no. 1 (1992): 84–90. http://dx.doi.org/10.1109/61.108893.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Bechta Dugan, J., and G. Ciardo. "Stochastic Petri net analysis of a replicated file system." IEEE Transactions on Software Engineering 15, no. 4 (April 1989): 394–401. http://dx.doi.org/10.1109/32.16600.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Cao, Ruimin, Lina Hao, Fengli Wang, and Qiang Gao. "Modelling and analysis of hybrid stochastic timed Petri net." Journal of Control and Decision 6, no. 2 (January 9, 2018): 90–110. http://dx.doi.org/10.1080/23307706.2017.1419079.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Henderson, W., D. Lucic, and P. G. Taylor. "A net level performance analysis of stochastic Petri nets." Journal of the Australian Mathematical Society. Series B. Applied Mathematics 31, no. 2 (October 1989): 176–87. http://dx.doi.org/10.1017/s0334270000006573.

Full text

Abstract:

AbstractStochastic Petri Nets are used extensively to find performance measures for communication protocols. This paper illustrates how equilibrium distributions for the markings of a wide class of nets can be found directly without the need to generate a large state space and then resort to equilibrium balance equations.

APA, Harvard, Vancouver, ISO, and other styles

24

Haas, Peter J., and Gerald S. Shedler. "Modeling Power of Stochastic Petri Nets for Simulation." Probability in the Engineering and Informational Sciences 2, no. 4 (October 1988): 435–59. http://dx.doi.org/10.1017/s0269964800000152.

Full text

Abstract:

Generalized semi-Markov processes and stochastic Petri nets have been proposed as general frameworks for a discrete event simulation on a countable state space. The two formal systems differ, however, with respect to the clock setting (event scheduling) mechanism, the state transition mechanism, and the form of the state space. We obtain conditions under which the marking process of a stochastic Petri net “mimics” a generalized semi-Markov process in the sense that the two processes (and their underlying general state-space Markov chains) have the same finite dimensional distributions. The results imply that stochastic Petri nets have at least the modeling power of generalized semiMarkov processes for discrete event simulation.

APA, Harvard, Vancouver, ISO, and other styles

25

Zhuang, Lu, Zhong Lu, and Ziwen Zhang. "Dynamic Reliability Model for Airborne Systems Based on Stochastic Petri Net." Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University 38, no. 4 (August 2020): 846–54. http://dx.doi.org/10.1051/jnwpu/20203840846.

Full text

Abstract:

The reliability of the airborne systems have a significant influence on the safety of aircraft. The modern airborne systems have a high degree of automation and integration, which lead to obvious dynamic failure characteristics. Namely, system failure is not only dependent on the combination of units' failures but also related to their sequence. A dynamic reliability method for modeling airborne systems is proposed based on the stochastic Petri nets. Stochastic Petri nets are applied in reliability modeling for typical dynamic structures including warm standby, cold standby and load sharing, which are widely used in airborne systems. In this way, the dynamic (time-dependent) failure behaviors of the airborne system can be represented. In terms of the stochastic Petri net based reliability model, a reliability analysis method based on Monte Carlo simulation is proposed by generating system life samples for system reliability parameter calculation. Finally, an electrical power system is used as a case to illustrate the application and effectiveness of the present approaches. The results show that the difference by using the present method and the analytical method is below 2×10-7, which can be neglected in practice.

APA, Harvard, Vancouver, ISO, and other styles

26

Ould El Medhi, A., E. Leclercq, and D. Lefebvre Greah. "Identification of stochastic and deterministic stochastic Petri net models for reliability analysis." Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability 223, no. 1 (December 3, 2008): 13–26. http://dx.doi.org/10.1243/1748006xjrr198.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Shahzadi, Shabnam, Xianwen Fang, and David Anekeya Alilah. "Role of Stochastic Petri Net (SPN) in Process Discovery for Modelling and Analysis." Mathematical Problems in Engineering 2021 (June 30, 2021): 1–7. http://dx.doi.org/10.1155/2021/8699164.

Full text

Abstract:

For exploitation and extraction of an event’s data that has vital information which is related to the process from the event log, process mining is used. There are three main basic types of process mining as explained in relation to input and output. These are process discovery, conformance checking, and enhancement. Process discovery is one of the most challenging process mining activities based on the event log. Business processes or system performance plays a vital role in modelling, analysis, and prediction. Recently, a memoryless model such as exponential distribution of the stochastic Petri net SPN has gained much attention in research and industry. This paper uses time perspective for modelling and analysis and uses stochastic Petri net to check the performance, evolution, stability, and reliability of the model. To assess the effect of time delay in firing the transition, stochastic reward net SRN model is used. The model can also be used in checking the reliability of the model, whereas the generalized stochastic Petri net GSPN is used for evaluation and checking the performance of the model. SPN is used to analyze the probability of state transition and the stability from one state to another. However, in process mining, logs are used by linking log sequence with the state and, by this, modelling can be done, and its relation with stability of the model can be established.

APA, Harvard, Vancouver, ISO, and other styles

28

Zvyagin, D. S., O. V. Pyankov, and A. N. Kopylov. "Matrix Approach to Solving Reachability Problems in Stochastic Petri Nets." Herald of the Bauman Moscow State Technical University. Series Natural Sciences, no. 3 (102) (June 2022): 4–16. http://dx.doi.org/10.18698/1812-3368-2022-3-4-16.

Full text

Abstract:

The purpose of the research was to develop the theory of stochastic Petri nets and consider its practical application when studying discrete systems. The paper considers the possibility of solving the reachability problem in stochastic Petri nets by means of matrix equations widely used in Petri nets; describes the stages and features of generating matrix equations for stochastic networks; formulates the rules for introducing virtual elements, i.e., positions and transitions, into the stochastic Petri net to generate and solve matrix equations. Stochastic Petri nets different in structure and composition were used to explore the possibility of applying matrix equations. Findings of the research show that the reachability of the required states of the networks is determined through the firing of transitions, which are the solution of the matrix equation. Within the study, we interpreted the obtained results and developed an algorithm that allowed us to validate the assumption made and visually determine the restrictions on the use of matrix equations for various initial states of the simulated system. The results of the proposed algorithm are presented in graphical form on the examples of stochastic Petri nets that model the process of forensic handwriting analysis. The conclusion is made about the applicability of matrix equations in stochastic Petri nets and the need for further research in this area

APA, Harvard, Vancouver, ISO, and other styles

29

Zhou, Hui, Zuo Hua Ding, and Hong Yun Huang. "A Petri Net Based Public-Key Cryptosystem." Applied Mechanics and Materials 380-384 (August 2013): 2858–61. http://dx.doi.org/10.4028/www.scientific.net/amm.380-384.2858.

Full text

Abstract:

In this paper, we present a new method to build public-key Cryptosystem. The method is based on the state explosion problem occurred in the computing of average number of tokens in the places of Stochastic Petri Net (SPN). The reachable markings in the coverability tree of SPN are used as the encryption keys. Accordingly, multiple encryption keys can be generated, thus we can perform multiple encryption to get as strong security as we expect. The decryption is realized through solving a group of ordinary differential equations from Continuous Petri Net (CPN), which has the same underlying Petri net as that of SPN. The decipherment difficulty for attackers is in exponential order. The contribution of this paper is that we can use continuous mathematics to design cryptosystems instead of discrete mathematics.

APA, Harvard, Vancouver, ISO, and other styles

30

Lu, Zhong, Zhiwen Zhang, Lu Zhuang, and Jia Zhou. "Reliability Model of the Fly-By-Wire System Based on Stochastic Petri Net." International Journal of Aerospace Engineering 2019 (November 12, 2019): 1–12. http://dx.doi.org/10.1155/2019/2124836.

Full text

Abstract:

The fly-by-wire system plays an important role in modern civil aircraft. As a typical safety-critical system, its reliability will affect the safety of aircraft significantly. In the paper, stochastic Petri nets are applied in the reliability modeling and analysis for the fly-by-wire system to represent its dynamic (time-dependent) failure behaviors. Stochastic Petri net-based reliability models are established for all kinds of architectures including series, parallel, m-out-of-n, warm standby, cold standby, and load-sharing architectures, which are commonly used in the fly-by-wire system. A Monte Carlo simulation method is proposed for the stochastic Petri net-based reliability models to generate system lifetime samples, and the system reliability parameters can be calculated in terms of the lifetime samples. Finally, a fly-by-wire system is used as a case study to illustrate the application and effectiveness of our proposed approaches. The results show that the error of the reliability value in a flight duration obtained by our Monte Carlo simulation method is less than 1×10−4 compared with the analytical equation.

APA, Harvard, Vancouver, ISO, and other styles

31

Jiang, Gao Yang, Jie Ning Wang, Chun Feng Zhang, and Mei Dong. "Runway Utilization Analysis Based on the Stochastic Petri Net Model." Applied Mechanics and Materials 411-414 (September 2013): 1750–56. http://dx.doi.org/10.4028/www.scientific.net/amm.411-414.1750.

Full text

Abstract:

Runway utilization is one of the key indicators of airport operational efficiency. Firstly, stochastic Petri net was introduced to built runway system operational model, and then we analyzed the reachability graph of this model, which not only prove the reachability and boundedness of this model, but also can be used to transform to homogeneous Markov chain. Secondly, The system steady-state probability expressions in various states were established based on the homogeneous Markov chain. Thirdly, runway utilization was calculated based on the steady-state probability expressions. During simulation, runway utilizations in various conditions were analyzed by changing some transitions fire rate. Both Markov chain method and petri net simulation method are useful for runway utilization improvement.

APA, Harvard, Vancouver, ISO, and other styles

32

Cao, Cheng Xuan, Chao Wu, Ya Hua Sun, and Ke Ping Li. "Research on Mechanical Automation with Analysis of Modeling Train Collision Accident Based on Stochastic Petri Net." Advanced Materials Research 738 (August 2013): 215–18. http://dx.doi.org/10.4028/www.scientific.net/amr.738.215.

Full text

Abstract:

In this paper, we study the mechanical automation with analysis of modeling train collision accident based on stochastic Petri net and propose a model of train collision accident based on the theory of stochastic Petri net (SPN), and verified the validity of the model by testing its soundness. By isomorphic to Markov chain, we also can carry out quantitative analysis of the train collision accident. According to the data extracted froma large number of historical data of the accident statistics, we have carried out a case analysis and discussion, and the results presented in this paper may be useful to the railway safety management.

APA, Harvard, Vancouver, ISO, and other styles

33

Liang, Yuan Ning, and Zhe Chen. "An Approach to Reliability Evaluation of Web Services Composition Based on BPEL." Applied Mechanics and Materials 135-136 (October 2011): 198–204. http://dx.doi.org/10.4028/www.scientific.net/amm.135-136.198.

Full text

Abstract:

Aiming at the deficiency of research on reliability evaluation of Web Services composition models, basing on the theories and methods of stochastic Petri net, this paper proposes an approach to reliability evaluation of web services composition based on business process execution language (BPEL). Firstly, the Web Services composition model is analyzed and built basing on the stochastic Petri net, and then the BPEL processes are transformed into composite service process Net model (CSPNet) correspondingly. Combining with the reliabilities of component services and the structures of CSPNet, the reliability formula of several composite services are obtained. Finally, a recursive algorithm is built to evaluate the reliability of Web Services composition. The experimental results show that the approach to reliability evaluation of web Services composition based on BPEL is simple, tractable and efficient.

APA, Harvard, Vancouver, ISO, and other styles

34

Le, Bryant, John Andrews, and Claudia Fecarotti. "A Petri net model for railway bridge maintenance." Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability 231, no. 3 (April 5, 2017): 306–23. http://dx.doi.org/10.1177/1748006x17701667.

Full text

Abstract:

This article describes the application of the Petri net modelling approach to managing the maintenance process of railway bridges. The Petri net model accounts for the degradation, inspection and repair processes of individual bridge elements in investigating the effectiveness of alternative maintenance strategies. The times governing the degradation and repair processes considered are stochastic and defined by the appropriate Weibull distribution. The model offers a capability for modelling the bridge asset which overcomes the limitations in the currently used modelling techniques reported in the literature. The bridge model also provides a means of predicting the future asset condition as a result of adopting different maintenance strategies. The solution of the Petri net model is performed using a Monte Carlo simulation routine. The application of the model to a typical metal railway bridge is also presented in the article.

APA, Harvard, Vancouver, ISO, and other styles

35

LI, BINFENG, XIAOBIN LI, WEIHONG GUO, and SU WU. "A GENERALIZED STOCHASTIC PETRI-NET MODEL FOR PERFORMANCE ANALYSIS AND ALLOCATION OPTIMIZATION OF A PARTICULAR REPAIR SYSTEM." Asia-Pacific Journal of Operational Research 30, no. 01 (February 2013): 1250042. http://dx.doi.org/10.1142/s021759591250042x.

Full text

Abstract:

This paper presents a generalized stochastic Petri-net model for performance analysis and allocation optimization of a repair system with interchangeable inventory. A repair system with interchangeable-inventory is an important type of repair-service, which features components that are assembled circularly with interchangeable-component inventory. Despite improved efficiency, major difficulties in model formulation and performance analysis arise due to a complex fork/join structure and the presence of interchangeable-component inventory. In this study, by applying a generalized stochastic Petri-net to model the fork/join structure and interchangeable inventory, a system with one overhaul center and one interchangeable-component repair shop was defined in the Petri-net by places, transitions and tokens. A performance analysis with single and multiple parameters and simulation experiments was performed according to the real field data of high-speed railway locomotives overhaul. With appropriate weights on each portion of the system resources, the optimal design scenario for the allocation of a specific repair system was achieved to control the overall expenditure.

APA, Harvard, Vancouver, ISO, and other styles

36

Hong, Zhi Guo, Yong Bin Wang, and Min Yong Shi. "SPN-Based Performance Evaluation for ON-OFF Voice Traffic System." Advanced Materials Research 225-226 (April 2011): 1020–23. http://dx.doi.org/10.4028/www.scientific.net/amr.225-226.1020.

Full text

Abstract:

By taking voice traffic system as study object, mathematical modeling methodology was used to investigate different parameters’ variations on system’s performance. Firstly, on the basis of analyzing the characteristics of voice traffic, this paper constructed a Stochastic Petri Net (SPN) model for ON-OFF voice traffic system. Furthermore, average time delay of the system was analyzed and model-based simulation was conducted with Stochastic Petri Net Package (SPNP) 6.0. For different parameters of ON to OFF rate and user’s voice connections, variation trends of number of user’s connections and ON to OFF rate are derived thereby. The methodology of modeling and simulation in this paper can be further used to analyze the performance of multimedia hybrid traffic system.

APA, Harvard, Vancouver, ISO, and other styles

37

Zhao, Wen Cang, Bo Tong, and Xiao Xiao Wang. "Urban Transport GSPN Model of Cyber-Physical Systems." Applied Mechanics and Materials 740 (March 2015): 900–903. http://dx.doi.org/10.4028/www.scientific.net/amm.740.900.

Full text

Abstract:

Urban transport is an important part of urban activities, and it is not just a public works technical problems or traffic problems, but also is a comprehensive social problems. There are some traffic congestion problems exist in the current urban traffic network. By using the theory of generalized stochastic Petri to the study of Cyber-physical Systems (CPS), this paper established an urban transport GSPN (Generalized Stochastic Petri Net) model, which chosen bus priority strategies to improve the utilization of road.

APA, Harvard, Vancouver, ISO, and other styles

38

Vazquez, C. Renato, and Manuel Silva. "Stochastic Continuous Petri Nets: An Approximation of Markovian Net Models." IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans 42, no. 3 (May 2012): 641–53. http://dx.doi.org/10.1109/tsmca.2011.2172416.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Mura, Ivan, and Attila Csikász-Nagy. "Stochastic Petri Net extension of a yeast cell cycle model." Journal of Theoretical Biology 254, no. 4 (October 2008): 850–60. http://dx.doi.org/10.1016/j.jtbi.2008.07.019.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Shaw, Oliver, Jason Steggles, and Anil Wipat. "Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks." Electronic Notes in Theoretical Computer Science 151, no. 3 (June 2006): 111–29. http://dx.doi.org/10.1016/j.entcs.2006.03.015.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Ferreira, C., L. Canhoto Neves, A. Silva, and J. de Brito. "Stochastic Petri net-based modelling of the durability of renderings." Automation in Construction 87 (March 2018): 96–105. http://dx.doi.org/10.1016/j.autcon.2017.12.007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Chin, Toshio M., and Alan S. Willsky. "Stochastic Petri net modeling of wave sequences in cardiac arrhythmias." Computers and Biomedical Research 22, no. 2 (April 1989): 136–59. http://dx.doi.org/10.1016/0010-4809(89)90022-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Ibe, Oliver C., and Kishor S. Trivedi. "Stochastic petri net analysis of finite-population vacation queueing systems." Queueing Systems 8, no. 1 (December 1991): 111–27. http://dx.doi.org/10.1007/bf02412245.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Lin, Chuang, and Dan Cristian Marinescu. "On the analysis of stochastic high level Petri net models." Microelectronics Reliability 31, no. 4 (January 1991): 747–67. http://dx.doi.org/10.1016/0026-2714(91)90012-v.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Li, Xiao Zhong, and Yi Jie Ding. "Knowledge Flow Modeling and Analysis in Supply Chain Based on Stochastic Petri Net." Advanced Materials Research 459 (January 2012): 381–85. http://dx.doi.org/10.4028/www.scientific.net/amr.459.381.

Full text

Abstract:

Knowledge is an important resource providing competitive strategies for the firms. Managing knowledge through supply chain will bring more benefits to the businesses. Various factors during the process of knowledge flowing can cause different time delay. In order to analyze the problem of time delay of knowledge flow in supply chain, the knowledge flow model in supply chain based on stochastic Petri net is proposed and corresponding isomorphic Markov chain is given. The time performance and the efficiency of knowledge flow Petri net model are discussed. The proposed method can help the firm with the knowledge flow management and reorganization

APA, Harvard, Vancouver, ISO, and other styles

46

Guo, Xuesong, and Naim Kapucu. "Examining Coordination in Disaster Response Using Simulation Methods." Journal of Homeland Security and Emergency Management 12, no. 4 (December 1, 2015): 891–914. http://dx.doi.org/10.1515/jhsem-2014-0092.

Full text

Abstract:

Abstract Purpose of the research is to examine coordination in disaster response by computer simulation using Petri net. We addressed issues on coordination in disaster response by focusing on interorganizational processes. Defining the processes according to disaster exercise, we developed the model based on Stochastic Petri Net. Index items, including average delay time and busyness probability, were introduced to facilitate discussion. Simulation demonstrated utilization of process analysis in performance assessment of collaborative disaster response. Since fragmentation is critical factor hindering efficient response, its remedy or elimination should be focused for system optimization.

APA, Harvard, Vancouver, ISO, and other styles

47

Boukredera, Djamila, Ramdane Maamri, and Samir Aknine. "Stochastic Petri net-based modeling and formal analysis of fault tolerant Contract Net Protocol." Web Intelligence 14, no. 3 (August 4, 2016): 245–71. http://dx.doi.org/10.3233/web-160342.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Muñoz, Doyra Mariela, Antonio Correcher, Emilio García, and Francisco Morant. "Identification of Stochastic Timed Discrete Event Systems with st-IPN." Mathematical Problems in Engineering 2014 (2014): 1–21. http://dx.doi.org/10.1155/2014/835312.

Full text

Abstract:

This paper presents a method for the identification of stochastic timed discrete event systems, based on the analysis of the behavior of the input and output signals, arranged in a timeline. To achieve this goal stochastic timed interpreted Petri nets are defined. These nets link timed discrete event systems modelling with stochastic time modelling. The procedure starts with the observation of the input/output signals; these signals are converted into events, so that the sequence of events is the observed language. This language arrives to an identifier that builds a stochastic timed interpreted Petri net which generates the same language. The identified model is a deterministic generator of the observed language. The identification method also includes an algorithm that determines when the identification process is over.

APA, Harvard, Vancouver, ISO, and other styles

49

Muñoz, Doyra Mariela, Antonio Correcher, Emilio García, and Francisco Morant. "Stochastic DES Fault Diagnosis with Coloured Interpreted Petri Nets." Mathematical Problems in Engineering 2015 (2015): 1–13. http://dx.doi.org/10.1155/2015/303107.

Full text

Abstract:

This proposal presents an online method to detect and isolate faults in stochastic discrete event systems without previous model. A coloured timed interpreted Petri Net generates the normal behavior language after an identification stage. The next step is fault detection that is carried out by comparing the observed event sequences with the expected event sequences. Once a new fault is detected, a learning algorithm changes the structure of the diagnoser, so it is able to learn new fault languages. Moreover, the diagnoser includes timed events to represent and diagnose stochastic languages. Finally, this paper proposes a detectability condition for stochastic DES and the sufficient and necessary conditions are proved.

APA, Harvard, Vancouver, ISO, and other styles

50

Wu, Jinxia, and Chuang Liu. "A new pattern based Petri net to model sintering production process." Transactions of the Institute of Measurement and Control 40, no. 9 (December 11, 2017): 2771–78. http://dx.doi.org/10.1177/0142331217737834.

Full text

Abstract:

In this paper, a new Petri net model based on pattern recognition method is presented for describing a certain stochastic hybrid systems. The application of this method concerns sintering production process. The main idea consists in describing the variation of patterns over time through the so-called ‘pattern class variable’ rather than state variable or output variable. A new petri net control model is constructed based on pattern class variable. The marks are defined as posterior probability of the cluster. By redefining the marks and transition on the basis of ordinary Petri nets, it can represent any combination of discrete-event and continuous element and has probability property. The simulation results are provided based on real plant data to illustrate the effectiveness of the proposed approach. This method might provide the satisfied results for the practical applications without having the exact mathematical models.

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!