Author of the publication

Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets.

, , and . ICATPN, volume 3536 of Lecture Notes in Computer Science, page 208-227. Springer, (2005)

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

VerifCar: a framework for modeling and model checking communicating autonomous vehicles., , and . Auton. Agents Multi Agent Syst., 33 (3): 353-381 (2019)Activity Networks with Delays An application to toxicity analysis., , , and . CoRR, (2016)Refinement and Recursion in a High Level Petri Box Calculus., and . STRICT, page 144-159. Springer, (1995)Object-Oriented Modelling with High-Level Modular Petri Nets., and . IFM, volume 2999 of Lecture Notes in Computer Science, page 287-306. Springer, (2004)Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata., , , and . CONCUR, volume 279 of LIPIcs, page 33:1-33:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Tutorial on Formal Methods for Distributed and Cooperative Systems., , , , , and . ICTAC, volume 4281 of Lecture Notes in Computer Science, page 362-365. Springer, (2006)Modélisation et simulation de la coopération dans les STI : un comparatif., , and . JFSMA, page 183-192. Cépaduès Éditions, (2017)An Algebraic Box Calculus., , and . Journal of Automata, Languages and Combinatorics, 5 (2): 81-107 (2000)Modélisation du changement de voie de véhicules autonomes à différents niveaux d'abstraction., , , and . JFSMA, page 21-30. Cépaduès, (2018)Communication as Unification in the Petri Box Calculus., and . FCT, volume 965 of Lecture Notes in Computer Science, page 303-312. Springer, (1995)