Author of the publication

Survey of French Research and Applications Based on Petri Nets.

, , , and . Advanced Course: Net Theory and Applications, volume 84 of Lecture Notes in Computer Science, page 321-345. Springer, (1979)

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

Survey of French Research and Applications Based on Petri Nets., , , and . Advanced Course: Net Theory and Applications, volume 84 of Lecture Notes in Computer Science, page 321-345. Springer, (1979)Structural Transformations Giving B-Equivalent PT-Nets.. European Workshop on Applications and Theory of Petri Nets, volume 66 of Informatik-Fachberichte, page 14-28. Springer, (1982)Specification and verification of time requirements with CCSL and Esterel., and . LCTES, page 167-176. ACM, (2009)Computing SyncCharts Reactions.. SLAP, volume 88 of Electronic Notes in Theoretical Computer Science, page 3-19. Elsevier, (2003)An Automated Process for Implementing Multilevel Domain Models., , , , and . SLE, volume 5969 of Lecture Notes in Computer Science, page 314-333. Springer, (2009)Simulation of Temporal Behaviour Based on a Synchronous Language., and . MASCOTS, page 147-151. IEEE Computer Society, (1994)On the Semantics of UML/MARTE Clock Constraints., and . ISORC, page 305-312. IEEE Computer Society, (2009)Marte CCSL to Execute East-ADL Timing Requirements., , and . ISORC, page 249-253. IEEE Computer Society, (2009)Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach., , and . ISORC, page 438-. IEEE Computer Society, (2001)Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems., , and . UML, volume 2460 of Lecture Notes in Computer Science, page 163-178. Springer, (2002)