Session code: | Mo-M12-TO |
---|---|
Date: | 2005-07-04 |
Time: | 10:00:00 - 12:00:00 |
Room: | Meeting Room 4.1 |
Organizers: | Cassandras Christos G., Boston University, United States |
Chairs: | Basile Francesco, Università di Salerno, Italy |
Cochairs: | Lefevre Dimitri, University Le Havre, France |
Paper Code | Title | Authors | Topic |
---|---|---|---|
Mo-M12-TO/1 | Feedback Control Logic for Backward Conflict Free Choice Nets | Basile Francesco, Carbone Ciro, Chiacchio Pasquale | 1.3 |
Mo-M12-TO/2 | Optimal Observability for Continuous Petri Nets | Mahulea Cristian, Recalde Laura, Silva Manuel | 1.3 |
Mo-M12-TO/3 | Modelling and Controlling Traffic Behaviour with Continuous Petri Nets | Julvez Jorge, Boel Rene | 1.3 |
Mo-M12-TO/4 | A Recursive Method for Minimal Siphon Enumeration in Petri Nets | Benigno Arianna, Cordone Roberto, Ferrarini Luca, Piroddi Luigi | 1.3 |
Mo-M12-TO/5 | A Diagnosis Framework of Hybrid Dynamic Systems based on Time Fuzzy Petri Nets | Rocha Loures Eduardo, Pascal Jean-Claude | 1.3 |
Mo-M12-TO/6 | Immediate Diagnosis of Faulty Behaviours with Petri Net Models | Lefebvre Dimitri | 1.3 |