For the most recent entries see the
Petri Nets Newsletter.
Eles, P.
-
Karlsson, Daniel;
Eles, Petru;
Peng, Zebo:
Formal verification of component-based designs.
2007.
-
Cortés, Luis Alejandro;
Eles, Petru;
Peng, Zebo:
Modeling and formal verification of embedded systems based on a Petri net representation.
2003.
-
Varea, Mauricio;
Cortes, Luis Alejandro;
Al-Hashimi, Bashir;
Eles, Petru;
Peng, Zebo:
Symbolic Model Checking of Dual Transition Petri Nets.
2002.
-
Cortes, Luis Alejandro;
Eles, Petru;
Peng, Zebo:
Verification of Real-Time Embedded Systems using Petri Net Models and Timed Automata.
2002.
-
Cortes, L.A.;
Eles, P.;
Peng, Z.:
Definitions of equivalence for transformational synthesis of embedded systems.
2000.
-
Cortes, L.A.;
Eles, P.;
Peng, Z.:
Formal coverification of embedded systems using model checking.
2000.
-
Cortes, L.A.;
Eles, P.;
Peng, Z.:
Verification of embedded systems using a Petri net based representation.
2000.
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