scholarly journals State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings

2021 ◽  
Vol 31 (3) ◽  
pp. 1-37
Author(s):  
Jannik Hüls ◽  
Carina Pilch ◽  
Patricia Schinke ◽  
Henner Niehaus ◽  
Joanna Delicaris ◽  
...  
Keyword(s):  
Petri Nets ◽  
State Space ◽  
Convex Polytopes ◽  
Geometric Approach ◽  
Monte Carlo Integration ◽  
Hybrid Petri Nets ◽  
Backup System ◽  
Space Construction ◽  
Stochastic Time

Hybrid Petri nets have been extended to include general transitions that fire after a randomly distributed amount of time. With a single general one-shot transition the state space and evolution over time can be represented either as a Parametric Location Tree or as a Stochastic Time Diagram . Recent work has shown that both representations can be combined and then allow multiple stochastic firings. This work presents an algorithm for building the Parametric Location Tree with multiple general transition firings and shows how its transient probability distribution can be computed using multi-dimensional integration. We discuss the (dis-)advantages of an interval arithmetic and a geometric approach to compute the areas of integration. Furthermore, we provide details on how to perform a Monte Carlo integration either directly on these intervals or convex polytopes, or after transformation to standard simplices. A case study on a battery-backup system shows the feasibility of the approach and discusses the performance of the different integration approaches.

scholarly journals State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings

2019 ◽  
pp. 182-199 ◽  
Author(s):  
Jannik Hüls ◽  
Carina Pilch ◽  
Patricia Schinke ◽  
Joanna Delicaris ◽  
Anne Remke
Keyword(s):  
Petri Nets ◽  
State Space ◽  
Hybrid Petri Nets ◽  
Space Construction

Using CIMOSA and Stochastic Time Petri Nets for Behaviour Modeling of CIM Systems

1996 ◽  
Author(s):  
Ming Dong ◽  
Jianzhong Cha
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Systematic Approach ◽  
Modeling Language ◽  
Qualitative Properties ◽  
Top Down ◽  
Modeling Framework ◽  
Hybrid Petri Nets ◽  
Enterprise Model ◽  
Stochastic Time

Abstract The integrated model of an enterprise can be built by making use of the CIMOSA modeling framework and modeling language. The behaviour analysis of the CIMOSA enterprise model can be made by the sets of procedural rules. In order to make further performance analysis of the CIMOSA enterprise model, this paper presents a systematic approach to transform the CIMOSA enterprise model into a equivalent stochastic Petri net model. The systematic approach is a hybrid Petri nets synthesis technology which integrates the “bottom-up” and “top-down” modeling approaches. The resulting Petri net obtained from this approach preserve the same qualitative properties of its original Petri net.

Petri Nets and GRN Models

2010 ◽  
pp. 604-637 ◽  
Author(s):  
Ina Koch
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Biochemical Networks ◽  
Complex Case ◽  
Modeling And Analysis ◽  
Analysis Techniques ◽  
Hybrid Petri Nets ◽  
Advantages And Disadvantages ◽  
Biochemical Systems

In this chapter, modeling of GRNs using Petri net theory is considered. It aims at providing a conceptual understanding of Petri nets to enable the reader to explore GRNs applying Petri net modeling and analysis techniques. Starting with an overview on modeling biochemical networks using Petri nets, the state-of-the-art with focus on GRNs is described. Other modeling techniques, for example, hybrid Petri nets are discussed. Basic concepts of Petri net theory are introduced involving special analysis techniques for modeling biochemical systems, for example, MCT-sets, T-clusters, and Mauritius maps. To illustrate these Petri net concepts, a more complex case study–the gene regulation in Duchenne Muscular Dystrophy–is explained in detail, considering the biological background and the interpretation of analysis results. Considering both, advantages and disadvantages, the chapter demonstrates the usefulness of Petri net modeling, in particular for GRNs.

scholarly journals Hybrid Petri Nets to Re-design Low-Automated Production Processes: the Case Study of a Sardinian Bakery

2018 ◽  
Vol 51 (7) ◽  
pp. 265-270 ◽  
Author(s):  
G. Cavone ◽  
M. Dotoli ◽  
N. Epicoco ◽  
M. Franceschelli ◽  
C. Seatzu
Keyword(s):  
Petri Nets ◽  
Automated Production ◽  
Hybrid Petri Nets ◽  
Production Processes

scholarly journals Innovative Applications Mode of Network Learning Space in Exercise Physiology Based on Ubiquitous Learning

2019 ◽  
Vol 14 (04) ◽  
pp. 113 ◽  
Author(s):  
Jie Kong
Keyword(s):  
Flipped Classroom ◽  
Exercise Physiology ◽  
Internet Technology ◽  
Traditional Teaching ◽  
Ubiquitous Learning ◽  
Learning Space ◽  
Network Teaching ◽  
Network Learning ◽  
Space Construction

With continuous development of internet technology, the concept of ubiquitous learning and network learning space have received more and more attention from scholars, and gradually become the research focuses. College classroom has turned to network teaching from traditional teaching. In this study, literature review and case study were combined with ubiquitous learning and network learning space construction to systematically discuss classification and concept models of network learning space under the perspective of ubiquitous learning. Meanwhile, four models based on network learning space were proposed, and flipped classroom network teaching model was applied in the course of Exercise Physiology. The study showed that, the model has the good teaching effect in course teaching. It not just improves students’ interest, but also lays a foundation for popularizing the teaching mode.

The Quantitative Assessment of Domino Effects Based on Stochastic Petri Nets

2008 ◽  
Vol 44-46 ◽  
pp. 537-544
Author(s):  
Shi Yi Bao ◽  
Jian Xin Zhu ◽  
Li J. Wang ◽  
Ning Jiang ◽  
Zeng Liang Gao
Keyword(s):  
Petri Nets ◽  
State Space ◽  
Petri Net ◽  
Quantitative Assessment ◽  
Stochastic Petri Nets ◽  
Industrial Park ◽  
Domino Effect ◽  
State Space Explosion ◽  
Stochastic Petri Net ◽  
Chemical Industrial Park

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.

Sign in / Sign up

Export Citation Format

Share Document