scholarly journals A Petri Nets Evolution Method that Supports BPMN Model Changes

2021 ◽  
Vol 2021 ◽  
pp. 1-16
Author(s):  
Zonghua Li ◽  
Zhengwei Ye
Keyword(s):  
Petri Nets ◽  
Original Model ◽  
Business Process Modelling ◽  
Business System ◽  
Extended Petri Nets ◽  
Verification Process ◽  
View Transformation ◽  
Business Requirements ◽  
The Web

The correctness of the business process modelling notation (BPMN) is essential for software success, and the BPMN formalization is the foundation of the correctness verification process. However, dynamically adapting the formalized BPMN model to changes in the BPMN model and protecting tokens from being lost in the remapping formalization are the main limitations of the BPMN formalization under changing business requirements. To overcome these limitations, an approach for evolving a Petri nets model according to the BPMN changes is proposed in this paper. In this approach, a check algorithm is designed to identify the differences between the original BPMN model and the updated BPMN model. Then, the evolution rules of the extended Petri nets (EPN) model are defined according to the results of the checking program. Finally, these evolution rules are described in the query/view/transformation operational mapping (QVTo) language and implemented in the Eclipse platform. We demonstrate the effectiveness of the evolution of the BPMN formalization using a case study of the Web Payment business system. Moreover, the dynamic evolution of the BPMN formalization can maintain the consistency between the original model and the updated model, and this consistency has been successfully verified.

IMPROVED NET REWRITING SYSTEMS–EXTENDED PETRI NETS SUPPORTING DYNAMIC CHANGES

2008 ◽  
Vol 17 (06) ◽  
pp. 1027-1052 ◽  
Author(s):  
JUN LI ◽  
XIANZHONG DAI ◽  
ZHENGDA MENG ◽  
LIBO XU
Keyword(s):  
Petri Nets ◽  
The State ◽  
Automated Manufacturing ◽  
Dynamic Changes ◽  
Manufacturing Cell ◽  
Rewriting Systems ◽  
Rewriting System ◽  
Practical System ◽  
Extended Petri Nets

The existing extensions of Petri nets supporting dynamic changes cannot ensure preservation of desired properties of the modeled systems. This paper tries to address this problem. By extending the structure of the net rewriting system (NRS) and modifying the specification of its rewriting rule, we present improved net rewriting system (INRS). INRS enjoys four important properties, i.e., locality, transitivity, reflexivity, and reversibility. A practical system subject to dynamic changes can be modeled by an INRS, and its desired properties can be preserved with the state evolvement of the INRS. The property-preserving principles of INRS and their strict proofs are provided as well. Finally, a case study is provided to demonstrate the modeling of an automated manufacturing cell with changeable structure using an INRS. The result shows that the desired properties of the cell are still preserved despite its model evolvement.

Modeling and optimizing logistics, information, economic and financial intercluster cooperation using the ant colony optimization algorithm

2020 ◽  
Vol 26 (11) ◽  
pp. 2427-2447
Author(s):  
S.N. Yashin ◽  
E.V. Koshelev ◽  
S.A. Borisov
Keyword(s):  
Ant Colony Optimization ◽  
Optimization Algorithm ◽  
Population Decline ◽  
Innovation System ◽  
Federal District ◽  
Original Model ◽  
Ant Colony ◽  
Industrial Agglomeration ◽  
Ant Colony Optimization Algorithm

Subject. This article discusses the issues related to the creation of a technology of modeling and optimization of economic, financial, information, and logistics cluster-cluster cooperation within a federal district. Objectives. The article aims to propose a model for determining the optimal center of industrial agglomeration for innovation and industry clusters located in a federal district. Methods. For the study, we used the ant colony optimization algorithm. Results. The article proposes an original model of cluster-cluster cooperation, showing the best version of industrial agglomeration, the cities of Samara, Ulyanovsk, and Dimitrovgrad, for the Volga Federal District as a case study. Conclusions. If the industrial agglomeration center is located in these three cities, the cutting of the overall transportation costs and natural population decline in the Volga Federal District will make it possible to qualitatively improve the foresight of evolution of the large innovation system of the district under study.

scholarly journals Multi-Event Modeling and Recognition Using Extended Petri Nets

IEEE Access ◽  
2020 ◽  
Vol 8 ◽  
pp. 37879-37890
Author(s):  
Ji Qiu ◽  
Lide Wang ◽  
Yin Wang ◽  
Yu Hen Hu
Keyword(s):  
Petri Nets ◽  
Event Modeling ◽  
Extended Petri Nets

Taxonomical Classification of Web Usage Mining Applications and its Ontological Representation

2018 ◽  
Vol 7 (3) ◽  
pp. 39-43
Author(s):  
Satyaveer Singh ◽  
Mahendra Singh Aswal
Keyword(s):  
Web Usage Mining ◽  
Web Usage ◽  
Navigation Patterns ◽  
Product Recommendations ◽  
Taxonomical Classification ◽  
The Comparative Study ◽  
The Web ◽  
Real World Problems

Web usage mining is used to find out fascinating consumer navigation patterns which can be applied to a lot of real-world problems, such as enriching websites or pages, generating newly topic or product recommendations and consumer behavior studies, etc. In this paper, an attempt has been made to provide a taxonomical classification of web usage mining applications with two levels of hierarchy. Further, the ontology for various categories of the web usage mining applications has been developed and to prove the completeness of proposed taxonomy, a rigorous case study has been performed. The comparative study with other existing classifications of web usage mining applications has also been performed.

Creating and using Web corpora

2005 ◽  
Vol 10 (4) ◽  
pp. 517-541 ◽  
Author(s):  
Mike Thelwall
Keyword(s):  
Search Engine ◽  
Web Sites ◽  
Web Crawler ◽  
Commercial Search Engine ◽  
British National Corpus ◽  
The Uk ◽  
The University ◽  
The Web ◽  
National Corpus

The Web has recently been used as a corpus for linguistic investigations, often with the help of a commercial search engine. We discuss some potential problems with collecting data from commercial search engine and with using the Web as a corpus. We outline an alternative strategy for data collection, using a personal Web crawler. As a case study, the university Web sites of three nations (Australia, New Zealand and the UK) were crawled. The most frequent words were broadly consistent with non-Web written English, but with some academic-related words amongst the top 50 most frequent. It was also evident that the university Web sites contained a significant amount of non-English text, and academic Web English seems to be more future-oriented than British National Corpus written English.

Sign in / Sign up

Export Citation Format

Share Document