2 search results - page 1 / 1 » Translating Safe Petri Nets to Statecharts in a Structure-Pr... |
FM
2009
Springer
13 years 11 months ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
FASE
2005
Springer
13 years 10 months ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...