The Modeling Method and Analysis of Online Top-Up System Based on Open Petri Net

2014 ◽  
Vol 571-572 ◽  
pp. 453-456
Author(s):  
Xiao Mao Li ◽  
Xian Wen Fang
Keyword(s):  
Complex System ◽  
Petri Nets ◽  
Petri Net ◽  
Mathematical Analysis ◽  
Modeling Method ◽  
Network System ◽  
Open Network ◽  
Analysis Methods ◽  
And Behavior

Petri nets have structure and behavior properties, it is convenient to analyze some complex system based on its mathematical analysis methods. Online top-up system is an open network system. The modeling method of this system based on general Petri net has some limitations. A new modeling method based on open Petri net to study online top-up system is proposed, and analyze the open Petri net model by T-invariant. This method laid a foundation for the study of open online top-up system.

A Survey on the Object-Oriented Petri Net Modeling

2011 ◽  
Vol 121-126 ◽  
pp. 4350-4356
Author(s):  
Yan Pei Liu ◽  
Jun Hui Fu ◽  
Hong Yu Feng
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Future Development ◽  
Mathematical Analysis ◽  
Object Oriented ◽  
Software Products ◽  
Object Oriented Technology ◽  
Pros And Cons ◽  
Typical Object ◽  
And Function

With the larger and more complex of the size and function of software products，choosing an efficient modeling technique for analyzing complicated and ever-changing system plays a vital role．Object-Oriented Petri nets for its unique characteristics which are simple and laconic modeling method and strong mathematical analysis capacity becomes a hot research．In this paper，it explain that the object-oriented technology how to combine with Petri nets．The typical Object-Oriented Petri net modeling steps and analysis methods are expounded. Up-to-date research about OOPN and its main improved models OOCPN, OOAPN and OOTPN are summarized, the pros and cons of each modeling are analyzed．The interrelated topics and the future development about OOPN are also mentioned．

Manufacturing Resource Modeling With Petri Nets

1999 ◽  
Author(s):  
Dimitris Kiritsis ◽  
Paul Xirouchakis
Keyword(s):  
Petri Nets ◽  
Process Planning ◽  
Petri Net ◽  
Cost Estimation ◽  
Modeling Method ◽  
Delivery Time ◽  
Planning And Scheduling ◽  
Process Plans ◽  
Machined Parts ◽  
The Cost

Abstract The problem under consideration is the modeling of manufacturing resources like machine tools, setups and tools which affect the cost and batch delivery time estimation of machined parts. The proposed resource models are built upon Petri net models for process planning and scheduling with three methods: (i) an implicit modeling method where resources are modeled as a data structure which acts on a specific Process Planning Petri net (PP-net), (ii) a first explicit modeling method where resources, are modeled as separated Petri nets whose places are connected to PP-net transitions with adequate arcs and form a Process Planning Cost System (PPC-system) and (iii) a second explicit modeling method where a two-level Petri net model is proposed which allows the modular modeling of process plans and resources. In the later case, integration is achieved through an synchronization mechanism. The first two methods are used for the cost estimation of process plans of unique parts while the third one is used for delivery time and cost estimation of a batch of machined parts.

STRUCTURAL MODELING AND ANALYSIS OF SIGNALING PATHWAYS BASED ON PETRI NETS

2006 ◽  
Vol 04 (05) ◽  
pp. 1119-1140 ◽  
Author(s):  
CHEN LI ◽  
SHUNICHI SUZUKI ◽  
QI-WEI GE ◽  
MITSURU NAKATA ◽  
HIROSHI MATSUNO ◽  
...  
Keyword(s):  
Petri Nets ◽  
Signaling Pathways ◽  
Signaling Pathway ◽  
Molecular Interactions ◽  
Petri Net ◽  
Structural Modeling ◽  
Modeling Method ◽  
Activation Process ◽  
Modeling And Analysis

The purpose of this paper is to discuss how to model and analyze signaling pathways by using Petri net. Firstly, we propose a modeling method based on Petri net by paying attention to the molecular interactions and mechanisms. Then, we introduce a new notion "activation transduction component" in order to describe an enzymic activation process of reactions in signaling pathways and shows its correspondence to a so-called elementary T-invariant in the Petri net models. Further, we design an algorithm to effectively find basic enzymic activation processes by obtaining a series of elementary T-invariants in the Petri net models. Finally, we demonstrate how our method is practically used in modeling and analyzing signaling pathway mediated by thrombopoietin as an example.

scholarly journals Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets

2015 ◽  
Vol 15 (4) ◽  
pp. 27-41
Author(s):  
Changyou Zheng ◽  
Yi Yao ◽  
Song Huang ◽  
Zhengping Ren
Keyword(s):  
Performance Analysis ◽  
Petri Nets ◽  
Petri Net ◽  
Daily Life ◽  
Modeling Method ◽  
Testing Methods ◽  
Workflow Systems ◽  
Input And Output ◽  
Definition Of ◽  
Inputs And Outputs

Abstract Workflow systems are widely used in our daily life so that the validity, dependability and security with which they need to be assured are important. However, existing researches mainly focus on correctness validation, performance analysis and assignment scheduling, but the testing methods have been seldom suited. In this paper a formalized definition of workflows constrained by an input and output is presented, and based on that, a Petri Net-based model (I/O_WF_Net) is proposed. In I/O_WF_Net, the activities of the workflow can be modeled as transitions of a Petri Net, and the inputs and outputs of an activity can be modeled as places. After the modeling method for I/O constrained workflow net into the I/O_WF_Net model is described, the corresponding transforming algorithm and its simplifying method are given.

Constrained Petri Nets. Part II: Generalizations and extensions

1983 ◽  
Vol 6 (3-4) ◽  
pp. 333-374
Author(s):  
H.J.M. Goeman ◽  
L.P.J. Groenewegen ◽  
H.C.M. Kleijn ◽  
G. Rozenberg
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Theoretical Framework ◽  
General Constraints ◽  
Context Free ◽  
Boolean Expressions

This paper continues the investigation froll1 [Goeman et al.] concerning the use of sets of places of a Petri net as additional (to input places) constraints for granting concession. Now interpretations of more general constraints are considered and expressed as Boolean expressions. This gives rise to various classes of constrained Petri nets. These are compared in the language theoretical framework introduced in [Goeman et al.]. An upperbound for the language defining power is found in the class of context-free programmed languages.

An Axiomatic Characterization of a Class of Petri Nets

1991 ◽  
Vol 14 (4) ◽  
pp. 477-491
Author(s):  
Waldemar Korczynski
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Axiomatic Characterization ◽  
Algebraic Characterization

In this paper an algebraic characterization of a class of Petri nets is given. The nets are characterized by a kind of algebras, which can be considered as a generalization of the concept of the case graph of a (marked) Petri net.

Application of an Improved Colored Petri Net Modeling Method in Certain Missile Training System

2015 ◽  
Vol 742 ◽  
pp. 330-334
Author(s):  
Chun Jian Wang ◽  
Wei Yue ◽  
Hai Yan Ji
Keyword(s):  
Complex System ◽  
Petri Net ◽  
Time Use ◽  
Training System ◽  
New Method ◽  
Mathematics Model ◽  
Research Approach ◽  
Complex Environments ◽  
Training Simulator ◽  
First Time

In allusion to the need of analyzing complex system, we have proposed a method named multi-grade color Petri net. We for the first time use this new method to analyze a missile training simulator system. This model can accurately reflect the complex environments of the system and avoid the difficulty occurring often in developing accurate mathematics model by using classical research approach.

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