From MIN model to ordinary differential equations
Yartseva, A., Devillers, R., Klaudel, H., Képès, F.
Published in Journal of integrative bioinformatics (01.12.2007)
Published in Journal of integrative bioinformatics (01.12.2007)
Get full text
Journal Article
Pattern Matching in Link Streams: Timed-Automata with Finite Memory
Bertrand, Clément, Peschanski, Frédéric, Klaudel, Hanna, Latapy, Matthieu
Published in Scientific annals of computer science (25.09.2018)
Published in Scientific annals of computer science (25.09.2018)
Get full text
Journal Article
Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets
Comet, Jean-Paul, Klaudel, Hanna, Liauzu, Stéphane
Published in Applications and Theory of Petri Nets 2005 (2005)
Published in Applications and Theory of Petri Nets 2005 (2005)
Get full text
Book Chapter
Conference Proceeding
State Space Reduction for Dynamic Process Creation
H. Klaudel, M. Koutny, E. Pelz, F. Pommereau
Published in Scientific annals of computer science (01.12.2010)
Get full text
Published in Scientific annals of computer science (01.12.2010)
Journal Article
From MIN model to ordinary differential equations
Yartseva, A., Devillers, R., Klaudel, H., Képès, F.
Published in Journal of integrative bioinformatics (01.12.2007)
Published in Journal of integrative bioinformatics (01.12.2007)
Get full text
Journal Article
General parameterised refinement and recursion for the M-net calculus
Devillers, Raymond, Klaudel, Hanna, Riemann, Robert-C
Published in Theoretical computer science (07.05.2003)
Published in Theoretical computer science (07.05.2003)
Get full text
Journal Article
Modelling Mobility in High-level Petri Nets
Devillers, R., Klaudel, H., Koutny, M.
Published in Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) (01.07.2007)
Published in Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) (01.07.2007)
Get full text
Conference Proceeding
An approach to state space reduction for systems with dynamic process creation
Klaudel, H., Koutny, M., Pelz, E., Pommereau, F.
Published in 2009 24th International Symposium on Computer and Information Sciences (01.09.2009)
Published in 2009 24th International Symposium on Computer and Information Sciences (01.09.2009)
Get full text
Conference Proceeding
State Space Exploration of Spatially Organized Populations of Agents
Dautriche, A., Giavitto, Jean-Louis, Klaudel, H., Pommereau, F.
Published in 2011 Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (01.10.2011)
Published in 2011 Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (01.10.2011)
Get full text
Conference Proceeding
Petri nets with causal time for system verification
Bui Thanh, C., Klaudel, H., Pommereau, F.
Published in Electronic notes in theoretical computer science (01.05.2003)
Published in Electronic notes in theoretical computer science (01.05.2003)
Get full text
Journal Article