A. Seraoui

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
The design of real-time systems needs a high-level specification model supporting at the same time timing constraints and actions duration. The authors introduce in this paper an extension of Petri Nets called Time Petri Nets with Action Duration (DTPN) where time is associated with transitions. In DTPN, the firing of transitions is bound to a time interval(More)
  • 1