Petri Net Automatic Modeling Method Based on System Behavior Sequence

2014 ◽  
Vol 668-669 ◽  
pp. 499-507
Author(s):  
Hao Fan ◽  
De Qin Shu ◽  
Liang Zhang

If you want to simulate and analyze a system by Petri net, you must construct a reliable and accurate Petri net model. Problem of constructing model by Petri net is discussed few at present. Petri net automatic modeling method based on system behavior sequence is presented. This method combines all the behavior sequences of system into the formal language expression. For different system, giving labeled function (giving the relationship between transition and system behaviors) can construct system Petri net model. To illustrate the algorithm, an example of constructing user Petri net model of telephone call service is given. This method has strong formalization and can be used universally. The model constructed by this method is standard and can realize computer automatic modeling. It makes progress in research of system modeling.

2021 ◽  
Vol 11 (11) ◽  
pp. 5092
Author(s):  
Bingyu Liu ◽  
Dingsen Zhang ◽  
Xianwen Gao

Ore blending is an essential part of daily work in the concentrator. Qualified ore dressing products can make the ore dressing more smoothly. The existing ore blending modeling usually only considers the quality of ore blending products and ignores the effect of ore blending on ore dressing. This research proposes an ore blending modeling method based on the quality of the beneficiation concentrate. The relationship between the properties of ore blending products and the total concentrate recovery is fitted by the ABC-BP neural network algorithm, taken as the optimization goal to guarantee the quality of ore dressing products at the source. The ore blending system was developed and operated stably on the production site. The industrial test and actual production results have proved the effectiveness and reliability of this method.


2018 ◽  
Vol 16 ◽  
pp. 01007
Author(s):  
Rodolfo A. Fiorini

Science does not exists to enlighten people's minds only. It mainly exists to show the educated way from quanta to qualia. And that way starts from computational competence. In previous papers published elsewhere, we have already shown that traditional Q Arithmetic can be regarded as a highly sophisticated open logic, powerful and flexible bidirectional formal language of languages, according to "Computational Information Conservation Theory" (CICT) new perspective. This new awareness can offer competitive approach to guide more effective and convenient algorithm development and application to arbitrary multiscale (AMS) biomedical system modeling and simulation. An articulated example on function computational modelling is presented and compared to standard, well-known and traditional approach. Results are critically discussed.


2016 ◽  
Vol 12 (02) ◽  
pp. 25
Author(s):  
Xinhua Chen ◽  
Ya-ni Sun

This paper first briefly introduces the Petri net, and then studied in detail according to the selected object-oriented Petri net modeling method. This paper improve the object-oriented Petri net modeling method, and study the modeling and operation steps in details. Finally this paper build a computer network TCP/IP protocol model based on the object oriented Petri net. The model prove to be a good simulation to the computer network and the improved modeling method is also a valid method for further object oriented Petri net modeling.


2014 ◽  
Vol 952 ◽  
pp. 307-310
Author(s):  
Yan Ming Wei ◽  
Hua Ping Li ◽  
Hai Long Gao

In order to improve the modeling ability for nonlinear system, an Elman modeling method based on Particle Swarm Optimization (PSO) algorithm is proposed. It uses PSO algorithm to optimize the parameters of Elman network. The simulation result shows that the proposed hybrid method combined Elman with PSO algorithm has a good modeling performance with fast training rate for complex nonlinear system.


Author(s):  
Thomas Begin ◽  
Alexandre Brandwajn ◽  
Bruno Baynat ◽  
Bernd E. Wolfinger ◽  
Serge Fdida

Sign in / Sign up

Export Citation Format

Share Document