Emília Villani, Jean-Claude Pascal, Paulo E. Miyagi, Robert Valette. Differential Predicate Transition Petri Nets and Objects, an Aid for Proving Properties in Hybrid Systems. In Sebastian Engell, Hervé Guéguen, Janan Zaytoon, editors, IFAC Conference on Analysis and Design of Hybrid Systems, 2003, St Malo, Brittany, France, June 16-18, 2003. Volume 36 of IFAC Proceedings Volumes, pages 87-92, Elsevier, 2003. [doi]
Abstract is missing.