A class of composable high level Petri nets E Best, H Fleischhack, W Fraczak, RP Hopkins, H Klaudel, E Pelz Application and Theory of Petri Nets 1995: 16th International Conference …, 1995 | 104 | 1995 |

M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages E Best, W Frączak, RP Hopkins, H Klaudel, E Pelz Acta Informatica 35 (10), 813-857, 1998 | 81 | 1998 |

An M-net Semantics of *B*(*PN*)^{2}E Best, H Fleischhack, W Fraczak, RP Hopkins, H Klaudel, E Pelz Structures in Concurrency Theory: Proceedings of the International Workshop …, 1995 | 68 | 1995 |

Modeling multi-valued genetic regulatory networks using high-level Petri nets JP Comet, H Klaudel, S Liauzu Applications and Theory of Petri Nets 2005: 26th International Conference …, 2005 | 57 | 2005 |

Asynchronous links in the PBC and M-nets H Klaudel, F Pommereau Annual Asian Computing Science Conference, 190-200, 1999 | 37 | 1999 |

General parameterised refinement and recursion for the M-net calculus R Devillers, H Klaudel, RC Riemann Theoretical Computer Science 300 (1-3), 259-300, 2003 | 30 | 2003 |

General refinement for high level Petri nets R Devillers, H Klaudel, RC Riemann International Conference on Foundations of Software Technology and …, 1997 | 29 | 1997 |

Communication as unification in the Petri Box Calculus H Klaudel, E Pelz International Symposium on Fundamentals of Computation Theory, 303-312, 1995 | 27 | 1995 |

Modeling and analysis of security protocols using role based specifications and Petri nets R Bouroulet, R Devillers, H Klaudel, E Pelz, F Pommereau Applications and Theory of Petri Nets: 29th International Conference, PETRI …, 2008 | 25 | 2008 |

Discrete causal model view of biological networks F Delaplace, H Klaudel, A Cartier-Michaud Proceedings of the 8th International Conference on Computational Methods in …, 2010 | 22 | 2010 |

A compositional Petri net translation of general *π*-calculus termsR Devillers, H Klaudel, M Koutny Formal Aspects of Computing 20, 429-450, 2008 | 22 | 2008 |

A concurrent and compositional Petri net semantics of preemption H Klaudel, F Pommereau Integrated Formal Methods: Second International Conference, IFM 2000 …, 2000 | 22 | 2000 |

**VerifCar**: a framework for modeling and model checking communicating autonomous vehiclesJ Arcile, R Devillers, H Klaudel Autonomous agents and multi-agent systems 33, 353-381, 2019 | 21 | 2019 |

Refinement and recursion in a high level Petri box calculus R Devillers, H Klaudel Structures in Concurrency Theory: Proceedings of the International Workshop …, 1995 | 21 | 1995 |

M-nets: a survey H Klaudel, F Pommereau Acta Informatica 45, 537-564, 2008 | 20 | 2008 |

Compositional high-level Petri net semantics of a parallel programming language with procedures H Klaudel Science of Computer Programming 41 (3), 195-240, 2001 | 20 | 2001 |

Petri nets with causal time for system verification CB Thanh, H Klaudel, F Pommereau Electronic Notes in Theoretical Computer Science 68 (5), 85-100, 2003 | 19 | 2003 |

Analysis of modular organisation of interaction networks based on asymptotic dynamics F Delaplace, H Klaudel, T Melliti, S Sené International Conference on Computational Methods in Systems Biology, 148-165, 2012 | 18 | 2012 |

A modular, qualitative modeling of regulatory networks using Petri nets C Chaouiya, H Klaudel, F Pommereau Modeling in Systems Biology: The Petri Net Approach, 253-279, 2011 | 18 | 2011 |

Petri net semantics of the finite π-calculus terms R Devillers, H Klaudel, M Koutny Fundamenta Informaticae 70 (3), 203-226, 2006 | 18 | 2006 |