Publications

My publications are also updated at the GISED 's web page .

Journal papers

• Estíbaliz Fraca, Jorge Júlvez, Manuel Silva.  2015.   Hybrid and Hybrid Adaptive Petri Nets: on the computation of a Reachability Graph. Nonlinear Analysis: Hybrid Systems. Published online. To appear


• Estíbaliz Fraca, Serge Haddad.  2015. Complexity Analysis of Continuous Petri Nets. Fundamenta informaticae. vol 136, pp. 1-28.


• Estíbaliz Fraca, Jorge Júlvez, Manuel Silva.  2014.  On the fluidization of Petri nets and marking homothecy. Nonlinear Analysis: Hybrid Systems. vol 12, pp. 3-19.

Invited book chapter

• Manuel Silva, Estíbaliz Fraca, Liewei Wang.  2014.   Performance evaluation and control of manufacturing systems: A continuous Petri nets view. Chapter 14 in Formal Methods in Manufacturing (Ed. Javier Campos, Carla Seatzu, Xiaolan Xie), pp. 409-452. CRC Press.

Conference papers

• Estíbaliz Fraca, Jorge Júlvez, Manuel Silva.   2014.  The Bound Reaching Problem on the fluidization of timed Petri nets. 12th Int. Workshop on Discrete Event Systems. This work was nominated to the "Best student paper" award (among the 8 finalists).


• Estíbaliz Fraca, Serge Haddad.   2013.  Complexity Analysis of Continuous Petri Nets. 34th International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN).
  This work has been recognized with the "Outstanding paper" award.


• Estíbaliz Fraca, Jorge Júlvez, Manuel Silva.   2012.  Marking homothetic monotonicity and fluidization of untimed Petri nets. 11th Int. Workshop on Discrete Event Systems. This work was nominated to the "Best student paper" award (among the 8 finalists).


• Estíbaliz Fraca, Jorge Júlvez, Cristian Mahulea, Manuel Silva..  2011.  On reachability and deadlock-freeness of Hybrid Adaptive Petri nets. 18th IFAC World Congress.