Haddad, S.

• Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain:
  Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences. 2006.

• Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain:
  Timed Unfoldings for Networks of Timed Automata. 2006.

• Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain:
  Timed Unfoldings for Networks of Timed Automata. 2006.

• Haddad, Serge; Mokdad, Lynda; Moreaux, Patrice:
  A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets. 2006.

• Haddad, Serge; Recalde, Laura; Silva, Manuel:
  On the Computational Power of Timed Differentiable Petri Nets. 2006.

• Bérard, B.; Cassez, F.; Haddad, S.; Lime, Didier; Roux, O.H.:
  Comparison of Different Semantics for Time Petri Nets. 2005.

• Evangelista, S.; Haddad, S.; Pradat-Peyre, J.-F.:
  Syntactical Colored Petri Nets Reductions. 2005.

• Berard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier:
  When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?. 2005.

• Berard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier:
  Comparison of the Expressiveness of Timed Automata and Time Petri Nets. 2005.

• Berard, B.; Cassez, F.; Haddad, S.; Lime, Didier; Roux, O.H.:
  Comparison of Different Semantics for Time Petri Nets. 2005.

• Evangelista, S.; Haddad, S.; Pradat-Peyre, J.-F.:
  Syntactical Colored Petri Nets Reductions. 2005.

• Klai, Kais; Haddad, Serge; Ilie, Jean-Michel:
  Modular Verification of Petri Nets Properties: A Structure-Based Approach. 2005.

• Haddad, S.; Moreaux, P.; Sereno, M.; Silva, M.:
  Product-Form and Stochastic Petri Nets: a Structural Approach. 2005.

• Colom, J.M.; Silva, M.; Teruel, E.; Haddad, S.:
  Verification: Structural Methods. 2002.

• Haddad, S.:
  Introduction: Issues in Verification. 2002.

• Klai, Kais; Haddad, Serge; Ilie,:
  An incremental verification technique using decomposition of Petri nets. 2002.

• Haddad, Serge; Moreaux, Patrice; Sereno, Matteo; Silva, Manuel:
  Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. 2001.

• Haddad, Serge; Poitrenaud, Denis:
  Theoretical Aspects of Recursive Petri Nets. 1999.

• Donatelli, S.; Haddad, S.; Moreaux, P.:
  Structured characterization of the Markov chain of phase-type SPN. 1998.

• Haddad, S.; Moreaux, P.; Chiola, G.:
  Cox and phase-type distributions in stochastic Petri nets -- efficient derivation of solutions. 1998.

• Haddad, Serge; Moreaux, Petrice; Chila, Giovanni:
  Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets. 1997.

• Haddad, Serge; Moreaux, Patrice:
  Asynchronous composition of High Level Petri Nets: A Quantitative Approach. 1996.

• Haddad, S.; Ilie, J.M.; Taghelit, M.; Zouari, B.:
  Symbolic Reachability Graph And Partial Symmetries. 1995.

• Haddad, S.; Moreaux, P.:
  Evaluation of High Level Petri Nets by Means of Aggregation and Decomposition. 1995.

• Barkaoui, K.; Dutheillet, C.; Haddad, S.:
  An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets. 1993.

• Couvreur, J.M.; Haddad, S.; Peyre, J.F.:
  Generative families of positive invariants in Coloured nets sub-classes. 1993.

• Dutheillet, C.; Haddad, S.:
  Conflict Sets in Colored Petri Nets. 1993.

• Chiola, G.; Dutheillet, C.; Franceschinis, G.; Haddad, S.:
  Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. 1993.

• Couvreur, J.M.; Haddad, S.; Peyre, J.F.:
  Computation of Generative Families of Positive Semi-Flows in Two Types of Coloured Nets. 1991.

• Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Guiliana; Haddad, Serge:
  On Well-Formed Coloured Nets and their Symbolic Reachability Graph. 1990.

• Chiola, G.; Dutheillet, C.; Franceschinis, G.; Haddad, S.:
  Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications. 1990.

• Dutheillet, C.; Haddad, S.:
  Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture. 1990.

• Haddad, S.:
  A Reduction Theory for Coloured Nets. 1990.

• Dutheillet, C.; Haddad, S.:
  Regular Stochastic Petri Nets. 1989.

• Haddad, S.; Couvreur, J.M.:
  Validation of Parallel Systems with Coloured Petri Nets. 1988.

• Girault, C.; Chatelain, C.; Haddad, S.:
  Specification and Properties of a Cache Coherence Protocol Model. 1987.

• Haddad, S.:
  Une categorie reguliere de reseau de Petri de haut niveau: definition, proprietes et reductions, application a la validation de systemes distribues. 1987.

• Haddad, S.; Girault, C.:
  Algebraic Structure of Flows of a Regular Coloured Net. 1987.

• Haddad, S.; Bernard, J.M.:
  Regular Nets: Specification and Validation by the Software ARP. 1986.

Back to the Petri Nets Bibliography