Log in

Relevant bibliographies by topics / Stochastic Petri Net Modeling / Journal articles

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

Journal articles on the topic 'Stochastic Petri Net Modeling'

Author: Grafiati

Published: 4 June 2021

Last updated: 11 February 2022

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 Modeling.'

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

Proß, Sabrina, and Bernhard Bachmann. "An Advanced Environment for Hybrid Modeling of Biological Systems Based on Modelica." Journal of Integrative Bioinformatics 8, no. 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

2

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

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

4

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 (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

5

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 (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

6

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 (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

7

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

8

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

9

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

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 (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

11

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

12

HARDY, SIMON, and PIERRE N. ROBILLARD. "MODELING AND SIMULATION OF MOLECULAR BIOLOGY SYSTEMS USING PETRI NETS: MODELING GOALS OF VARIOUS APPROACHES." Journal of Bioinformatics and Computational Biology 02, no. 04 (2004): 619–37. http://dx.doi.org/10.1142/s0219720004000764.

Full text

Abstract:

Petri nets are a discrete event simulation approach developed for system representation, in particular for their concurrency and synchronization properties. Various extensions to the original theory of Petri nets have been used for modeling molecular biology systems and metabolic networks. These extensions are stochastic, colored, hybrid and functional. This paper carries out an initial review of the various modeling approaches based on Petri net found in the literature, and of the biological systems that have been successfully modeled with these approaches. Moreover, the modeling goals and possibilities of qualitative analysis and system simulation of each approach are discussed.

APA, Harvard, Vancouver, ISO, and other styles

13

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

14

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

15

LU, Zhong. "System Maintainability Modeling Method Based on Colored Stochastic Time Petri Net." Journal of Mechanical Engineering 47, no. 10 (2011): 185. http://dx.doi.org/10.3901/jme.2011.10.185.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Li, Xiao Ming, Ying Luo Wang, Lin Yan Sun, and Ling Li. "Modeling uncertainties involved with software development with a stochastic Petri net." Expert Systems 23, no. 5 (2006): 302–12. http://dx.doi.org/10.1111/j.1468-0394.2006.00411.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

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

18

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 (2016): 245–71. http://dx.doi.org/10.3233/web-160342.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

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

20

Labadi, Karim, Taha Benarbia, Jean-Pierre Barbot, Samir Hamaci, and Abdelhafid Omari. "Stochastic Petri Net Modeling, Simulation and Analysis of Public Bicycle Sharing Systems." IEEE Transactions on Automation Science and Engineering 12, no. 4 (2015): 1380–95. http://dx.doi.org/10.1109/tase.2014.2336874.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Sun, Huali, Jiaguo Liu, Ziqiang Han, and Juan Jiang. "Stochastic Petri Net Based Modeling of Emergency Medical Rescue Processes during Earthquakes." Journal of Systems Science and Complexity 34, no. 3 (2021): 1063–86. http://dx.doi.org/10.1007/s11424-020-9139-3.

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 (2018): 90–110. http://dx.doi.org/10.1080/23307706.2017.1419079.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Pereira, José N., Porfírio Silva, Pedro U. Lima, and Alcherio Martinoli. "Formalization, Implementation, and Modeling of Institutional Controllers for Distributed Robotic Systems." Artificial Life 20, no. 1 (2014): 127–41. http://dx.doi.org/10.1162/artl_a_00100.

Full text

Abstract:

The work described is part of a long term program of introducing institutional robotics, a novel framework for the coordination of robot teams that stems from institutional economics concepts. Under the framework, institutions are cumulative sets of persistent artificial modifications made to the environment or to the internal mechanisms of a subset of agents, thought to be functional for the collective order. In this article we introduce a formal model of institutional controllers based on Petri nets. We define executable Petri nets—an extension of Petri nets that takes into account robot actions and sensing—to design, program, and execute institutional controllers. We use a generalized stochastic Petri net view of the robot team controlled by the institutional controllers to model and analyze the stochastic performance of the resulting distributed robotic system. The ability of our formalism to replicate results obtained using other approaches is assessed through realistic simulations of up to 40 e-puck robots. In particular, we model a robot swarm and its institutional controller with the goal of maintaining wireless connectivity, and successfully compare our model predictions and simulation results with previously reported results, obtained by using finite state automaton models and controllers.

APA, Harvard, Vancouver, ISO, and other styles

24

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

25

WANG, JIACUN, YI DENG, and CHUN JIN. "PERFORMANCE ANALYSIS OF TRAFFIC CONTROL SYSTEMS BASED UPON STOCHASTIC TIMED PETRI NET MODELS." International Journal of Software Engineering and Knowledge Engineering 10, no. 06 (2000): 735–57. http://dx.doi.org/10.1142/s0218194000000365.

Full text

Abstract:

A compositional modeling and performance evaluation technique for traffic control systems based on Stochastic Timed Petri Nets (STPN's) is presented. We use STPN's to specify traffic and traffic control at an intersection and use a random distribution model to model the motion of vehicles in a road segment between any two consecutive intersections. A traffic control system is thus modeled as a composition of individual intersection models and segment random distribution models. A technique is presented to incrementally evaluate the system's performance by analyzing intersections separately according to a carefully selected order. The analysis technique conforms to the accepted practice of transportation research. Compared to existing Petri net models of traffic control systems, our technique dramatically reduces the complexity of analysis.

APA, Harvard, Vancouver, ISO, and other styles

26

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 (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

27

Quan Sheng, Chuanhuang Li, and Weiming Wang. "Modeling and Performance Evaluation of ForCES Protocol: A Stochastic- Petri-Net-Based Approach." Journal of Convergence Information Technology 8, no. 1 (2013): 558–69. http://dx.doi.org/10.4156/jcit.vol8.issue1.69.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

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/scientific5/amr.459.381.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

List, George F., and Mehdi Mashayekhi. "A Modular Colored Stochastic Petri Net for Modeling and Analysis of Signalized Intersections." IEEE Transactions on Intelligent Transportation Systems 17, no. 3 (2016): 701–13. http://dx.doi.org/10.1109/tits.2015.2483324.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Xia, Yunni, Yi Liu, Ji Liu, and Qingsheng Zhu. "Modeling and Performance Evaluation of BPEL Processes: A Stochastic-Petri-Net-Based Approach." IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans 42, no. 2 (2012): 503–10. http://dx.doi.org/10.1109/tsmca.2011.2164064.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

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

32

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

33

Gaied, Mouhaned, Anis M’halla, Dimitri Lefebvre, and Kamel Ben Othmen. "Robust control for railway transport networks based on stochastic P-timed Petri net models." Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering 233, no. 7 (2019): 830–46. http://dx.doi.org/10.1177/0959651818823583.

Full text

Abstract:

This article is devoted to the modeling, performance evaluation and robust control of the railway transport network in Sahel Tunisia. The regular increase in the number of passengers makes the management of transportation systems more and more complex. Railway transport requires specific needs. Indeed, many decision and optimization problems occur from the planning phase to the implementation phase. Railway transport networks can be considered as discrete event systems with time constraints. The time factor is a critical parameter, since it includes schedules to be respected in order to avoid overlaps, delays and collisions between trains. The uncertainties affect the service and the availability of transportation resources and, consequently, the transport scheduling plan. Petri nets have been recognized as powerful modeling and analysis tools for discrete event systems with time constraints. Consequently, they are suitable for railway transport systems. In this article, stochastic P-time Petri nets are used for the railway transport networks in Sahel Tunisia. A global model is first detailed. Then, this model is used to analyze the network traffic and evaluate the performance of the system. Robustness again disturbances is introduced and a control strategy is developed to reduce the consequences of the disturbances in order to maintain the expected schedule.

APA, Harvard, Vancouver, ISO, and other styles

34

WU, JIALIANG, and EBERHARD VOIT. "HYBRID MODELING IN BIOCHEMICAL SYSTEMS THEORY BY MEANS OF FUNCTIONAL PETRI NETS." Journal of Bioinformatics and Computational Biology 07, no. 01 (2009): 107–34. http://dx.doi.org/10.1142/s0219720009004047.

Full text

Abstract:

Many biological systems are genuinely hybrids consisting of interacting discrete and continuous components and processes that often operate at different time scales. It is therefore desirable to create modeling frameworks capable of combining differently structured processes and permitting their analysis over multiple time horizons. During the past 40 years, Biochemical Systems Theory (BST) has been a very successful approach to elucidating metabolic, gene regulatory, and signaling systems. However, its foundation in ordinary differential equations has precluded BST from directly addressing problems containing switches, delays, and stochastic effects. In this study, we extend BST to hybrid modeling within the framework of Hybrid Functional Petri Nets (HFPN). First, we show how the canonical GMA and S-system models in BST can be directly implemented in a standard Petri Net framework. In a second step we demonstrate how to account for different types of time delays as well as for discrete, stochastic, and switching effects. Using representative test cases, we validate the hybrid modeling approach through comparative analyses and simulations with other approaches and highlight the feasibility, quality, and efficiency of the hybrid method.

APA, Harvard, Vancouver, ISO, and other styles

35

Wang, Junyan, Xiaozhong Li, Guoli Wang, and Ziping Du. "Modelling a remanufacturing reverse logistics system using fuzzy stochastic Petri net." International Journal of Industrial and Systems Engineering 19, no. 3 (2015): 311. http://dx.doi.org/10.1504/ijise.2015.068198.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

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

37

Jiang, Zhi Gao, Ming Dong, Peng Tian, and Dong Yang. "Modeling and Simulation of Re-Entrant Semiconductor Wafer Fabrication Lines with PM Using GSPN." Advanced Materials Research 97-101 (March 2010): 2469–72. http://dx.doi.org/10.4028/www.scientific.net/amr.97-101.2469.

Full text

Abstract:

Semiconductor wafer fabrication factories are characterized by re-entrant flows, dynamic and uncertain environments, strict production control requirements and so on. Re-entrant flow means a product routing that consists of multiple visits to a workstation during the manufacturing processes. In this paper, a modeling approach based on generalized stochastic Petri nets is presented. Specifically, a Petri net model representing a re-entrant flow line with three centers and six machines is modeled. Work release policies (WRP) and queuing disciplines (QD) are also added to the model, which take into account the machine preventive maintenance (PM) requirement. Finally, a simulation study is used to analyze the model, which provides support for scheduling decision in shorter time.

APA, Harvard, Vancouver, ISO, and other styles

38

He, Hua, Yu Zhao, and Shanchen Pang. "Stochastic Modeling and Performance Analysis of Energy-Aware Cloud Data Center Based on Dynamic Scalable Stochastic Petri Net." Computing and Informatics 39, no. 1-2 (2020): 28–50. http://dx.doi.org/10.31577/cai_2020_1-2_28.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Zhang, Le Jun, Xin Deng, Lin Guo, Jian Pei Zhang, and Hong Bo Li. "The Data Fusion Survivability Analysis Technology of Wireless Sensor Network." Applied Mechanics and Materials 427-429 (September 2013): 2630–35. http://dx.doi.org/10.4028/www.scientific.net/amm.427-429.2630.

Full text

Abstract:

This paper presents the data fusion survivability analysis model of wireless sensor network (WSN) based on stochastic Petri net (SPN). First, the definition of data fusion survivability is put forward, and the data fusion model of WSN is constructed. Second, the SPN modeling method of security events, which influences the WSN, is described. Lastly, simulation experiment proves the correctness and effectiveness of the modeling of WSN data fusion survivability analysis based on SPN. This model can provide the theoretical basis and guide for designing a survivable WSN.

APA, Harvard, Vancouver, ISO, and other styles

40

Zhang, De Long, Xiao Zhong Li, and Xiao Peng Li. "Business Process Management System Modeling in the Virtual Enterprise Based on Stochastic Colored Petri Net." Advanced Engineering Forum 6-7 (September 2012): 547–52. http://dx.doi.org/10.4028/www.scientific.net/aef.6-7.547.

Full text

Abstract:

Traditional enterprise information systems have many defects, so business process management (BPM) system was applied to the virtual enterprise and virtual enterprise process model is established based on BPM system. The dominant enterprise and the member enterprises used BPM system for their own information management system in the virtual enterprise. The BPM system model of the virtual enterprise was divided into the formation process and the operation process. The analysis method based on stochastic colored Petri net(SCPN) was also presented which can be used to model and analyze the process model in order to obtain the system performance analysis data. The virtual enterprise resources utilization rate can be seen. The model extends the application area of BPM system and provides a reference for the construction and management of virtual enterprise.

APA, Harvard, Vancouver, ISO, and other styles

41

Shan, Siqing, Li Wang, and Ling Li. "Modeling of emergency response decision-making process using stochastic Petri net: an e-service perspective." Information Technology and Management 13, no. 4 (2012): 363–76. http://dx.doi.org/10.1007/s10799-012-0128-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Peng, Lei, Penghui Xie, Zhe Tang, and Fei Liu. "Modeling and Analyzing Transmission of Infectious Diseases Using Generalized Stochastic Petri Nets." Applied Sciences 11, no. 18 (2021): 8400. http://dx.doi.org/10.3390/app11188400.

Full text

Abstract:

Some infectious diseases such as COVID-19 have the characteristics of long incubation period, high infectivity during the incubation period, and carriers with mild or no symptoms which are more likely to cause negligence. Global researchers are working to find out more about the transmission of infectious diseases. Modeling plays a crucial role in understanding the transmission of the new virus and helps show the evolution of the epidemic in stages. In this paper, we propose a new general transmission model of infectious diseases based on the generalized stochastic Petri net (GSPN). First, we qualitatively analyze the transmission mode of each stage of infectious diseases such as COVID-19 and explain the factors that affect the spread of the epidemic. Second, the GSPN model is built to simulate the evolution of the epidemic. Based on this model’s isomorphic Markov chain, the equilibrium state of the system and its changing laws under different influencing factors are analyzed. Our paper demonstrates that the proposed GSPN model is a compelling tool for representing and analyzing the transmission of infectious diseases from system-level understanding, and thus contributes to providing decision support for effective surveillance and response to epidemic development.

APA, Harvard, Vancouver, ISO, and other styles

43

Xu, Yi Xin, Yan Bai, and Ren Shu Wang. "GSPN-Based Reliability Model of Wireless Control System." Applied Mechanics and Materials 392 (September 2013): 374–78. http://dx.doi.org/10.4028/www.scientific.net/amm.392.374.

Full text

Abstract:

It is difficult to model and solve the reliability of complicated dynamic system in the traditional reliability modeling method. A new reliability modeling method based on generalized stochastic petri net (GSPN) is proposed to analyze the wireless control system (WCS). After studying the common faults of the WCS, a dynamic fault tree is constructed to analyze the system, and it is transformed into formalization definition of GSPN. Finally, a certain type of WCS is selected to validate the proposed method. This method has important value to other WCS design and analysis.

APA, Harvard, Vancouver, ISO, and other styles

44

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Kang, Chang Wook, Muhammad Imran, Muhammad Omair, Waqas Ahmed, Misbah Ullah, and Biswajit Sarkar. "Stochastic-Petri Net Modeling and Optimization for Outdoor Patients in Building Sustainable Healthcare System Considering Staff Absenteeism." Mathematics 7, no. 6 (2019): 499. http://dx.doi.org/10.3390/math7060499.

Full text

Abstract:

Sustainable healthcare systems are gaining more importance in the era of globalization. The efficient planning with sustainable resources in healthcare systems is necessary for the patient’s satisfaction. The proposed research considers performance improvement along with future sustainability. The main objective of this study is to minimize the queue of patients and required resources in a healthcare unit with the consideration of staff absenteeism. It is a resource-planning model with staff absenteeism and operational utilization. Petri nets have been integrated with a mixed integer nonlinear programming model (MINLP) to form a new approach that is used as a solution method to the problem. The Petri net is the combination of graphical, mathematical technique, and simulation for visualizing and optimization of a system having both continuous and discrete characteristics. In this research study, two cases of resource planning have been presented. The first case considers the planning without absenteeism and the second incorporates planning with the absenteeism factor. The comparison of both cases showed that planning with the absenteeism factor improved the performance of healthcare systems in terms of the reduced queue of patients and improved operational sustainability.

APA, Harvard, Vancouver, ISO, and other styles

46

Hsieh, J., and D. R. Ucci. "Superposition technique for the generalised stochastic Petri net modelling of degradable systems." Electronics Letters 26, no. 13 (1990): 942. http://dx.doi.org/10.1049/el:19900615.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Hui, Chen, Zhou Chunjie, and Zhu Weifeng. "Modelling the protocol stack in NCS with deterministic and stochastic petri net." International Journal of Systems Science 42, no. 6 (2011): 1057–64. http://dx.doi.org/10.1080/00207720903308355.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Aguiar, M. W. C., and R. H. Weston. "CIM-OSA and Stochastic Time Petri Nets for Behavioural Modelling and Model Handling in CIM Systems Design and Building." Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture 207, no. 3 (1993): 147–58. http://dx.doi.org/10.1243/pime_proc_1993_207_075_02.

Full text

Abstract:

Means are considered that can structure design and building processes associated with integrated manufacturing systems. To meet the identified needs, the paper proposes the use of an environment for executing models which adopts and extends the concepts and guidelines identified by the CIM-OSA (computer integrated manufacturing-open sytems architecture) consortium. A key component of the environment concerns the execution of models of behaviour. The paper describes (with reference to on-going implementation work) how CIM-OSA behaviour models can be represented and handled by stochastic time Petri net model execution tools. The use of the design and building environment is illustrated with reference to a case study application involving the batch manufacture of a family of electronic products. Here, the necessary form of key CIM-OSA and Petri net models are described, as are results from the Petri net simulation studies. The paper also comments on the advantages and limitations of the CIM-OSA modelling approach and how certain of those limitations are circumvented by adopting the proposed environment for model execution.

APA, Harvard, Vancouver, ISO, and other styles

49

Liu, Xia, Wen Hua Ye, Bi Sheng Wei, and Sheng Leng. "Research on Multi-Level Modeling Method for Aircraft Assembly Line." Advanced Materials Research 490-495 (March 2012): 538–42. http://dx.doi.org/10.4028/www.scientific.net/amr.490-495.538.

Full text

Abstract:

The process time of aircraft assembly line is easily influenced by the efficiency of workers, the supply circumstance of components and the assembly quality. While the aircraft assembly line is hardly to reconfigure after it is in use, in order to optimize the assembly line before its application, a new object-oriented modeling method based on hierarchy and stochastic petri net has been put forward in this paper. The behavior and the structural characteristics of the model have been analyzed according to the solution of linear invariant. Finally, the model of aircraft wing assembly line has been established as an example, which proves the feasibility of the modeling method.

APA, Harvard, Vancouver, ISO, and other styles

50

KUMAR, GIRISH, VIPUL JAIN, and O. P. GANDHI. "RELIABILITY AND AVAILABILITY ANALYSIS OF MECHANICAL SYSTEMS USING STOCHASTIC PETRI NET MODELING BASED ON DECOMPOSITION APPROACH." International Journal of Reliability, Quality and Safety Engineering 19, no. 01 (2012): 1250005. http://dx.doi.org/10.1142/s0218539312500052.

Full text

Abstract:

Reliability and availability assessment of a complex system in a single model, considering binary states of individual components, using Markov technique is difficult due to state space explosion problem. Inclusion of various types of dependencies in the model further aggravates it. To overcome this, Stochastic Petri net (SPN) modeling based on decomposition is proposed for reliability and availability assessment of mechanical systems. The decomposition is based on three aspects of the system: Hierarchical level, basic structure and dependency. The model is demonstrated at three hierarchical levels. Individual component (level '3') SPN model is developed assuming Weibull failure distribution, while the individual subsystem (level '2') SPN model is developed considering the arrangement of components within the subsystem. The individual model at level '2' is reduced to an equivalent single net model and its equivalent transition rate is derived from its basic structure assuming the independence of components. This along with the dependencies (e.g. repair, standby redundancy) are included in the system model (level '1'). The repair distribution in this model is assumed exponential. Reachable markings are generated for the system model to obtain the reduced state space of Semi-Markov model for assessment of reliability and availability of the system. The steps of the proposed methodology are suggested and these are illustrated for a pumping system, with two pumps; one in standby.

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!