Author of the publication

Scenario durations characterization of t-timed Petri nets using linear logic.

, , and . PNPM, page 208-217. IEEE Computer Society, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Task Synchronization in Distributed Real Time Control Systems., , , and . RTSS, page 83-88. IEEE Computer Society, (1981)A New Graph of Classes for the Preservation of Quantitative Temporal Constraints., , and . ATVA, volume 3707 of Lecture Notes in Computer Science, page 278-292. Springer, (2005)Petri nets and flexible manufacturing., and . European Workshop on Applications and Theory in Petri Nets, volume 424 of Lecture Notes in Computer Science, page 374-417. Springer, (1988)Introduction aux Réseaux de Petri.. Bull. dInformatique Approfondie et Appl., (2009)Critical scenarios derivation methodology for mechatronic systems., , , and . Reliab. Eng. Syst. Saf., 84 (1): 33-44 (2004)Real time scheduling of batch systems., and . Simul. Pract. Theory, 8 (5): 307-319 (2000)Joining Petri nets and knowledge based systems for monitoring purposes., , , and . ICRA, page 1160-1165. IEEE, (1987)Rapid and modular prototyping-based Petri nets and distributed simulation for manufacturing systems., and . Appl. Math. Comput., 120 (1-3): 265-278 (2001)Software Implementation of Petri nets and compilation of rule-based systems., and . Applications and Theory of Petri Nets, volume 524 of Lecture Notes in Computer Science, page 296-316. Springer, (1990)Petri Nets and Reliable Real Time Systems.. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, volume 52 of Informatik-Fachberichte, page 222-227. Springer, (1981)