techreport.bib

@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: ./bib2bib -oc selection -ob techreport.bib -c 'category : "aut"' mesPublications.bib}}

@phdthesis{roux-HDR-05,
  author = {Roux, Olivier (H.)},
  title = {Vérification des réseaux de {Petri} temporels et à chronomètres},
  type = {{Habilitation à Diriger les Recherches (HDR)}},
  school = {IRCCyN, University of Nantes, France},
  month = dec,
  year = 2005,
  pdf = {./fichiers/hdr-2005.pdf},
  category = {aut}
}

@techreport{lime-report-03,
  author = {Lime, Didier and Roux, Olivier (H.)},
  title = {Computing the state class time automaton of a transition-time {Petri} net.},
  number = {IRCCyN number 1497 R2003_0},
  year = 2003,
  category = {aut}
}

@techreport{cassez-report-03,
  author = {Cassez, Franck and Roux, Olivier (H.)},
  title = {From Time {Petri} nets to Timed Automata.},
  number = {IRCCyN number 1496 R2003_4},
  year = {2003 updated in 2004},
  category = {aut}
}

@techreport{berard-report-05,
  author = {B\'erard, Beatrice and Cassez, Franck and Haddad, Serge and  Lime, Didier and Roux, Olivier (H.)},
  title = {Comparison of the  Expressiveness of Timed Automata and Time {Petri} Nets},
  number = {IRCCyN number R2005-2},
  year = {2005},
  category = {aut}
}

@techreport{berthomieu-report-04,
  author = {Berthomieu, Bernard and Lime, Didier and Roux, Olivier (H.) and Vernadat, Francois},
  title = {Reachability Problems and Abstract State Spaces for Time {Petri} Nets with stopwatches.},
  note = {Rapport du LAAS},
  number = {LAAS number 04483},
  month = oct,
  year = {2004},
  category = {aut}
}

@techreport{boucheneb-report-06,
  author = {Boucheneb, Hanifa  and Gardey, Guillaume and  Roux, Olivier (H.)},
  title = {{TCTL} model checking of Time {Petri} Nets},
  pdf = {./fichiers/RI2006_14.pdf},
  number = {IRCCyN number RI2006-14},
  year = {2006 updated in 2008},
  category = {aut}
}

@techreport{boyer-report-06,
  author = {Boyer, Marc  and Roux, Olivier (H.)},
  title = {Comparison of the expressiveness w.r.t.  timed bisimilarity of k-bounded Arc, Place and Transition Time {Petri} Nets with weak and strong single server semantics.},
  number = {IRCCyN number RI2006-15},
  year = {2006},
  category = {aut}
}