powered by:
MagicWare, s.r.o.

Petri Nets

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 CodeTitleAuthorsTopic
Mo-M12-TO/1Feedback Control Logic for Backward Conflict Free Choice NetsBasile Francesco, Carbone Ciro, Chiacchio Pasquale1.3
Mo-M12-TO/2Optimal Observability for Continuous Petri NetsMahulea Cristian, Recalde Laura, Silva Manuel1.3
Mo-M12-TO/3Modelling and Controlling Traffic Behaviour with Continuous Petri NetsJulvez Jorge, Boel Rene1.3
Mo-M12-TO/4A Recursive Method for Minimal Siphon Enumeration in Petri NetsBenigno Arianna, Cordone Roberto, Ferrarini Luca, Piroddi Luigi1.3
Mo-M12-TO/5A Diagnosis Framework of Hybrid Dynamic Systems based on Time Fuzzy Petri NetsRocha Loures Eduardo, Pascal Jean-Claude1.3
Mo-M12-TO/6Immediate Diagnosis of Faulty Behaviours with Petri Net ModelsLefebvre Dimitri1.3