Estíbaliz Fraca

Learn More
The analysis of Discrete Event Systems suffer from the well known state explosion problem. A classical technique to overcome this problem is to relax the behaviour by partially removing the integrality constraints, thus dealing with hybrid or continuous systems. In the Petri nets framework, continuous net systems (technically hybrid systems) are the result(More)
At the end of the eighties, continuous Petri nets were introduced for: (1) alleviating the combinatory explosion triggered by discrete Petri nets and, (2) modelling the behaviour of physical systems whose state is composed of continuous variables. Since then several works have established that the computational complexity of deciding some standard(More)
  • 1