For the most recent entries see the
Petri Nets Newsletter.
Varea, M.
-
Farwer, Berndt;
Varea, M.:
Transforming Dual Flow Nets into Object Petri Nets.
2005.
-
Varea, Mauricio;
Al-Hashimi, Bashir;
Leuschel, Michael:
Finite and Infinite Model Checking of Dual Transition Petri Net Models.
2002.
-
Varea, Mauricio;
Cortes, Luis Alejandro;
Al-Hashimi, Bashir;
Eles, Petru;
Peng, Zebo:
Symbolic Model Checking of Dual Transition Petri Nets.
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