Petri Net Algebras for DES Model Transformation

2010 ◽  
Author(s):  
Jun Li ◽  
Xianping Guan ◽  
Jianping Dou
Keyword(s):  
Petri Net ◽  
Model Transformation ◽  
Des Model

A Meta-Model-Based Approach to the Definition of the Analysis Results of Petri-Net Models

2013 ◽  
pp. 104-116
Author(s):  
Simona Bernardi ◽  
José Merseguer
Keyword(s):  
Petri Net ◽  
Model Transformation ◽  
Common Method ◽  
System Behavior ◽  
Modeling And Analysis ◽  
Meta Model ◽  
Transformation Rules ◽  
Model Based ◽  
Modeling Techniques ◽  
Definition Of

Multi-formalism modeling techniques enable the modeling and analysis of different aspects of a system. One of the main issues in the integration of multiple tools to support multi-formalisms is how to provide a common method to report the results of the analysis and how to interchange them between models, based on different formalisms, that often represent the system behavior at different granularity levels. In this chapter, the authors focus on the Petri Net formalism, and they present a preliminary work toward the definition of a common XML-based language for the specification of the results obtained from the analysis of Petri net models. The authors use a meta-model based approach, where first a structured set of meta-models representing the Petri net result concepts and their relationships are defined. Then, model transformation rules enable the mapping of meta-models to XML constructs.

A Methodology of Model Transformation in MDA: from CIM to PIM

2015 ◽  
Vol 10 (12) ◽  
pp. 1186 ◽  
Author(s):  
Yassine Rhazali ◽  
Y. Hadi ◽  
A. Mouloudi
Keyword(s):  
Model Transformation

Towards a Dynamic DES Model

2008 ◽  
Author(s):  
Pramod Subbareddy ◽  
Graham Candler
Keyword(s):  
Des Model
Sign in / Sign up

Export Citation Format

Share Document