Mercredi 25 Mars

Retour à la vue des calendrier
Mercredi 25 Mars
Heure: 14:00 - 15:00
Lieu: Amphi A
Résumé: Extending Petri Nets with Object-Orientation
Description: Charles Lakos This seminar will introduce the formalism of Petri Nets and their use in modelling and analysing concurrent systems. It will briefly mention some of the extensions of Petri Nets to achieve greater descriptive comfort. It will then report on work over a number of years to extend Petri Nets with Object-Oriented features, thereby making it easier to define polymorphic modules and to capture incremental development. The seminar will also describe the properties of such nets and the analysis possibilities.