#### Filter Results:

- Full text PDF available (114)

#### Publication Year

1986

2018

- This year (8)
- Last 5 years (36)
- Last 10 years (75)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
- IEEE Trans. Computers
- 1993

- Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
- Theor. Comput. Sci.
- 1997

Coloured Petri nets are well suited to the modelling of symmetric systems. Model symmetries can be usefully exploited for the sake of analysis efficiency as well as for modelling convenience. Weâ€¦ (More)

- Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier
- ICALP
- 2006

Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equivalence. Thus weâ€¦ (More)

- Hamza Mazouzi, Amal El Fallah-Seghrouchni, Serge Haddad
- AAMAS
- 2002

This paper proposes a generic approach or protocol engineering through the analysis,the specification,and the verification of such protocols when several agents are involved. This approach is threeâ€¦ (More)

- BÃ©atrice BÃ©rard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
- FORMATS
- 2005

In this paper we consider the model of Time Petri Nets (TPN) where time is associated with transitions. We also consider Timed Automata (TA) as defined by Alur & Dill, and compare the expressivenessâ€¦ (More)

In this paper we study the model of Time Petri Nets (TPNs) where a time interval is associated with the firing of a transition, but we extend it by considering general intervals rather than closedâ€¦ (More)

- Serge Haddad, S A Moore, Andreia Menezes, John C. Vangilder
- Neurosurgery
- 1992

A 13-year retrospective review of 17 patients with gangliogliomas treated at the University of Iowa was conducted to investigate the association between tumor location, extent of resection,â€¦ (More)

- Serge Haddad
- European Workshop on Applications and Theory inâ€¦
- 1988

This paper presents the generalization for the coloured nets of the most efficient reductions defined by Berthelot for Petri nets. First a methodology of the generalization is given which isâ€¦ (More)

- Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva SuÃ¡rez
- Perform. Eval.
- 2005

Stochastic Petri nets (SPN) with product-form solution are nets for which there is an analytic expression of the steady-state probabilities with respect to place markings, as it is the case forâ€¦ (More)

- EstÃbaliz Fraca, Serge Haddad
- Petri Nets
- 2013

At the end of the eighties, continuous Petri nets were introduced for: (1) alleviating the combinatory explosion triggered by discrete Petri nets (i.e. usual Petri nets) and, (2) modelling theâ€¦ (More)