1. Continuous and hybrid petri nets;Alla;JCSC,1998
2. Stochastic kinetic analysis of developmental pathway bifurcation in phage lambda-infected Escherichia coli;Arkin;Genetics,1998
3. Qualitative analysis of regulatory graphs: A computational tool based on a discrete formal framework;Chaouiya;LNCIS,2003
4. Qualitative modelling of genetic networks: From logical regulatory graphs to standard Petri nets;Chaouiya;LNCS,2004
5. Qualitative Petri net modelling of genetic networks;Chaouiya;LNCS,2006