Follow
Hanna Klaudel
Hanna Klaudel
Unknown affiliation
No verified email
Title
Cited by
Cited by
Year
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
1041995
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
811998
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
681995
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
572005
Asynchronous links in the PBC and M-nets
H Klaudel, F Pommereau
Annual Asian Computing Science Conference, 190-200, 1999
371999
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
302003
General refinement for high level Petri nets
R Devillers, H Klaudel, RC Riemann
International Conference on Foundations of Software Technology and …, 1997
291997
Communication as unification in the Petri Box Calculus
H Klaudel, E Pelz
International Symposium on Fundamentals of Computation Theory, 303-312, 1995
271995
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
252008
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
222010
A compositional Petri net translation of general π-calculus terms
R Devillers, H Klaudel, M Koutny
Formal Aspects of Computing 20, 429-450, 2008
222008
A concurrent and compositional Petri net semantics of preemption
H Klaudel, F Pommereau
Integrated Formal Methods: Second International Conference, IFM 2000 …, 2000
222000
VerifCar: a framework for modeling and model checking communicating autonomous vehicles
J Arcile, R Devillers, H Klaudel
Autonomous agents and multi-agent systems 33, 353-381, 2019
212019
Refinement and recursion in a high level Petri box calculus
R Devillers, H Klaudel
Structures in Concurrency Theory: Proceedings of the International Workshop …, 1995
211995
M-nets: a survey
H Klaudel, F Pommereau
Acta Informatica 45, 537-564, 2008
202008
Compositional high-level Petri net semantics of a parallel programming language with procedures
H Klaudel
Science of Computer Programming 41 (3), 195-240, 2001
202001
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
192003
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
182012
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
182011
Petri net semantics of the finite π-calculus terms
R Devillers, H Klaudel, M Koutny
Fundamenta Informaticae 70 (3), 203-226, 2006
182006
The system can't perform the operation now. Try again later.
Articles 1–20