Franck Carlos Velez Benito

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Time Petri nets are a powerful formalism for representing real-time systems. State Class Graph is a useful tool for timing analysis of time Petri nets. However, this tool is inaccurate when performing timing analysis of sequences of transitions firings. This paper proposes to overcome this limitation, taking advantage of two techniques: global time and(More)
  • 1