TI - Differential predicate transition petri nets and objects, an aid for proving properties in hybrid systems PY - 2003 AU - Villani, Emília AU - Pascal, J. C. AU - Miyagi, Paulo Eigi AU - Valette, Robert T2 - IFAC Conference on Analysis and Design of Hybrid Systems J2 - ADHS 03 : pre-prints. PP - Saint-Malo PB - IFAC ER -