Graziella Magnolfi

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
Preemptive Time Petri Nets (pTPNs) support modeling and analysis of concurrent timed software components running under fixed priority preemptive scheduling. The model is supported by a well established theory based on symbolic state-space analysis through Difference Bounds Matrix (DBM), with specific contributions on compositional modularization, trace(More)
  • 1