Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets

2009 ◽  
Author(s):  
X. Renault ◽  
F. Kordon ◽  
J. Hugues
Keyword(s):  
Petri Nets ◽  
Colored Petri Nets

scholarly journals Modeling with hierarchical colored Petri nets. Case study

2020 ◽  
Vol 898 ◽  
pp. 012017
Author(s):  
F S Blaga ◽  
A Pop ◽  
T Vesselenyi ◽  
V Hule ◽  
C I Indre
Keyword(s):  
Petri Nets ◽  
Colored Petri Nets

An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models

2020 ◽  
Vol 8 (1) ◽  
pp. 17-49 ◽  
Author(s):  
Said Meghzili ◽  
Allaoua Chaoui ◽  
Martin Strecker ◽  
Elhillali Kerkouche
Keyword(s):  
Petri Nets ◽  
Structural Properties ◽  
Graph Transformation ◽  
Colored Petri Nets ◽  
Model Checker ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Successful Termination ◽  
Cpn Tools

The correctness of transformations has recently begun to attract the attention of the researchers in Model Driven Engineering (MDE). The objective of this article is twofold. First, it presents an approach for transforming BPMN models to Colored Petri nets models using GROOVE and EMF/Xpand tools. Second, it proposes an approach for checking the correctness of the transformation itself. More precisely, we have defined the termination property of the transformation and the preservation of some structural properties of BPMN models by the transformation using the GROOVE graph transformation tool. The authors have also applied the approach on a case study through which the authors have verified the successful termination of the transformation using GROOVE Model Checker and the target model properties using CPN Tools.

Attack Composition Model Based on Generalized Stochastic Colored Petri Nets

2014 ◽  
Vol 35 (11) ◽  
pp. 2608-2614
Author(s):  
Xiang Gao ◽  
Yue-fei Zhu ◽  
Sheng-li Liu
Keyword(s):  
Petri Nets ◽  
Colored Petri Nets ◽  
Model Based
Sign in / Sign up

Export Citation Format

Share Document