For the most recent entries see the
Petri Nets Newsletter.
de Lara, J.
-
Ehrig, Hartmut;
Ehrig, Karsten;
de Lara, Juan;
Taentzer, Gabriele;
Varró, Dániel;
Varró-Gyapay, Szilvia:
Termination Criteria for Model Transformation.
2005.
-
de Lara, Juan;
Guerra, Esther;
Vangheluwe, Hans:
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems.
2004.
-
de Lara, Juan;
Vangheluwe, Hans:
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts.
2002.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography