On Multi-enabledness in Time Petri Nets

  title={On Multi-enabledness in Time Petri Nets},
  author={Hanifa Boucheneb and Didier Lime and Olivier H. Roux},
  booktitle={Petri Nets},
We consider time Petri nets with multiple-server semantics. We first prove that this setting is strictly more expressive, in terms of timed bisimulation, than its single-server counterpart. We then focus on two choices for the firing of multiple instances of the same transition: the more conservative safety-wise non deterministic choice, where all firable instances may fire in any order, and a simpler alternative, First Enabled First Fired (FEFF), where only the oldest instance may fire… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 15 references

La méthode des classes d’états pour l’analyse des réseaux temporels - mise en oeuvre, extension à la multi-sensibilisation

  • B. Berthomieu
  • In Modélisation des Systèmes Réactifs, (MSR’01…
  • 2001
2 Excerpts

Similar Papers

Loading similar papers…