Mario Paludetto

Publication Activity (10 Years)

Years Active: 1997-2004
Publications (10 Years): 0

Publications

Mario Paludetto, Jérôme Delatour, Adel Benzina
UML et réseaux de Petri. Tech. Sci. Informatiques 23 (4) (2004)
François Taïani, Mario Paludetto, Jérôme Delatour
Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L. ISORC (2001)
Mario Paludetto, Jérôme Delatour
UML et les réseaux de Petri : vers une sémantique des modèles dynamiques et une méthodologie de développement des systèmes temps réel. Obj. Logiciel Base données Réseaux 5 (3/4) (1999)
Jérôme Delatour, Mario Paludetto
UML/PNO: A Way to Merge UML and Petri Net Objects for the Analysis of Real-Time Systems. ECOOP Workshops (1998)
Gilles Moncelet, Søren Christensen, Hamid Demmou, Mario Paludetto, José Porras
Analysing a Mechatronic System with Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 2 (2) (1998)
Adel Benzina, Mario Paludetto, Jérôme Delatour
About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications. APSEC (1997)