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)
  • 1