( en | de | ru )

 

Disambiguation of "Vernadat, François"

Author of the publication

copydeleteadd this publication to your clipboard
Symmetry reduction for time Petri net state classes.

, , , and . Sci. Comput. Program., (2016)

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.

François Elvinger

François Guers

François Melis

François Franceschi

François Weirich

 

Other publications of authors with the same name

Permutable Agents in Process Algebras., , and . TACAS, volume 1055 of Lecture Notes in Computer Science, page 187-206. Springer, (1996)Layered -net Specification of a Workshop., , and . PDPTA, page 2808-2814. CSREA Press, (1999)Covering Step Graph Preserving Failure Semantics., and . ICATPN, volume 1248 of Lecture Notes in Computer Science, page 253-270. Springer, (1997)Requirement Analysis for Communication Protocols., , and . Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 286-293. Springer, (1989)A model-driven engineering approach to formal verification of PLC programs., , , , , and . ETFA, page 1-8. IEEE, (2011)Covering Step Graph., , and . Application and Theory of Petri Nets, volume 1091 of Lecture Notes in Computer Science, page 516-535. Springer, (1996)Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets., , and . CAV, volume 531 of Lecture Notes in Computer Science, page 96-105. Springer, (1990)Time Petri Nets Analysis with TINA., and . QEST, page 123-124. IEEE Computer Society, (2006)Distributed Coin Tossing., , and . ICDCS, page 244-249. IEEE Computer Society, (1994)A Communication Protocol for Conflict Resolution., , and . ICMAS, page 437. The MIT Press, (1995)