183 search results - page 9 / 37 » The Downward-Closure of Petri Net Languages |
CIIA
2009
14 years 10 months ago
2009
The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in dif...
VL
2009
IEEE
15 years 4 months ago
2009
IEEE
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
IFIP
2000
Springer
15 years 1 months ago
2000
Springer
FASE
2008
Springer
14 years 11 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...