Transforming Business Patterns to Colored Petri Nets using Graph Grammars

被引：0

作者：

Mahdi, Karima ^{[1
]}

Elmansouri, Raida ^{[2
]}

Chaoui, Allaoua ^{[2
]}

机构：

[1] Ecole Normale Super ENS, Constantine, Algeria

[2] Univ Mentouri, Dept Comp Sci, MISC Lab, Constantine, Algeria

来源：

2012 22ND INTERNATIONAL CONFERENCE ON COMPUTER THEORY AND APPLICATIONS (ICCTA) | 2012年

关键词：

Business Patterns; Colored Petri Nets; Meta-Models; Graph Transformation; WORKFLOW MANAGEMENT;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this paper we propose a graph transformation based approach and a tool for transforming business patterns to Colored Petri nets for which efficient analysis techniques exist. First, we specify business patterns and Colored Petri nets Meta-Models in UML Class Diagram formalism with the Meta-Modelling tool Atom3, then we generate visual modelling tools according to the proposed Meta-Models. Finally, we define a graph grammar which transforms Business Patterns models to Colored Petri Nets model for analysis purposes. The approach is illustrated with examples.

引用

页码：72 / 78

页数：7

共 50 条

[41] TransCPN - Software Tool for Transformation of Colored Petri Nets [J].

Mikolajczak, Boleslaw ;

Singh, Abhishek .

PROCEEDINGS OF THE 2009 SIXTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, VOLS 1-3, 2009, :211-216

[42] Hierarchical control of DES based on colored Petri nets [J].

Wu, WM ;

Su, HY ;

Chu, J ;

Zhai, HF .

2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, :1571-1576

[43] Modeling and resolving inheritance anomaly with colored Petri nets [J].

Bauskar, B ;

Mikolajczak, B .

SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, :516-522

[44] Application of colored petri nets in security protocol analysis [J].

Zhang, Jialin ;

Miao, Xianghua .

PROCEEDINGS OF INTERNATIONAL CONFERENCE ON ALGORITHMS, SOFTWARE ENGINEERING, AND NETWORK SECURITY, ASENS 2024, 2024, :676-682

[45] Markov Decision Processes from Colored Petri Nets [J].

Eboli, Monica Goes ;

Cozman, Fabio Gagliardi .

ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2010, 2010, 6404 :72-81

[46] Colored Petri nets for modeling of networked control systems [J].

Farah, Khamsa ;

Chabir, Karim ;

Abdelkrim, Mohamed Naceur .

2019 19TH INTERNATIONAL CONFERENCE ON SCIENCES AND TECHNIQUES OF AUTOMATIC CONTROL AND COMPUTER ENGINEERING (STA), 2019, :226-230

[47] A novel fully adaptive neural network modeling and implementation using colored Petri nets [J].

Rosângela Albuquerque ;

Corneli Júnior ;

Giovanni Barroso ;

Guilherme Barreto .

Discrete Event Dynamic Systems, 2023, 33 :129-160

[48] A General Model Checking Method of Electronic Transaction Protocols Using Colored Petri Nets [J].

Xu, Meng ;

Su, Guiping ;

Wei, Jin .

HIS 2009: 2009 NINTH INTERNATIONAL CONFERENCE ON HYBRID INTELLIGENT SYSTEMS, VOL 2, PROCEEDINGS, 2009, :298-303

[49] Adaptive Learning Path Generation using Colored Petri Nets based on Behavioral Aspects [J].

Dharani, B. ;

Geetha, T. V. .

2013 INTERNATIONAL CONFERENCE ON RECENT TRENDS IN INFORMATION TECHNOLOGY (ICRTIT), 2013, :459-465

[50] A novel fully adaptive neural network modeling and implementation using colored Petri nets [J].

Albuquerque, Rosangela ;

Junior, Corneli ;

Barroso, Giovanni ;

Barreto, Guilherme .

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2023, 33 (02) :129-160

← 1 2 3 4 5 →