Estíbaliz Fraca

Estíbaliz Fraca

UNIZAR's PhD student

Research interests

Petri nets (PN) are a well known formalism for the modeling and analysis of Discrete Event Systems. About 25 years ago, fludization of PN was proposed, with the aim of alleviating the state explosion problem.

My thesis continues the work of many other colleages about studing the fludization of Petri nets. My research topics are, among others:

  • Study the fluidization of PN: property/behaviour preservation, etc.
  • Improve the fluidization of PN: transformation of the discrete PN before fluidization, etc.
  • Improve the fluidization of PN: definition of Hybrid Apaptive Petri nets (HAPN), an alternative relaxation of the discrete PN.
  • Interpretation and improvement of timed semantics for CPN.
  • Applications of Continuous and Hybrid (Adaptive) Petri nets.