Volgen
Franck Pommereau
Franck Pommereau
Professor of Computer Science, Évry University, Paris-Saclay University
Geverifieerd e-mailadres voor univ-evry.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
SNAKES: A flexible high-level petri nets library (tool paper)
F Pommereau
Application and Theory of Petri Nets and Concurrency: 36th International …, 2015
572015
Quickly prototyping Petri nets tools with SNAKES
F Pommereau
Petri nets newsletter 75, 2008
502008
Algebras of coloured Petri nets
F Pommereau
LAP LAMBERT Academic Publishing, 2010
362010
Asynchronous links in the PBC and M-nets
H Klaudel, F Pommereau
Advances in Computing Science—ASIAN’99: 5th Asian Computing Science …, 1999
361999
Using discrete systems to exhaustively characterize the dynamics of an integrated ecosystem
C Gaucherel, F Pommereau
Methods in Ecology and Evolution 10 (9), 1615-1627, 2019
262019
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
242008
A concurrent and compositional Petri net semantics of preemption
H Klaudel, F Pommereau
Integrated Formal Methods: Second International Conference, IFM 2000 …, 2000
212000
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
202003
Raw report on the model checking contest at Petri nets 2012
F Kordon, A Linard, D Buchs, M Colange, S Evangelista, L Fronc, ...
arXiv preprint arXiv:1209.2382, 2012
192012
Modelling, verification, and formal analysis of security properties in a P2P system
SB Sanjabi, F Pommereau
2010 International Symposium on Collaborative Technologies and Systems, 499-508, 2010
192010
M-nets: a survey
H Klaudel, F Pommereau
Acta Informatica 45, 537-564, 2008
192008
Optimising the compilation of Petri net models
L Fronc, F Pommereau
Second International Workshop on Scalable and Usable Model Checking for …, 2011
182011
ASPiC: an Acting system based on Skill Petri net Composition
C Lesire, F Pommereau
2018 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2018
172018
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
172011
SNAKES is the net algebra kit for editors and simulators
F Pommereau
Comete Procope Workshop, 2004
172004
Asynchronous box calculus
R Devillers, H Klaudel, M Koutny, F Pommereau
Fundamenta Informaticae 54 (4), 295-344, 2003
172003
Maintaining biodiversity promotes the multifunctionality of social-ecological systems: holistic modelling of a mountain system
Z Mao, J Centanni, F Pommereau, A Stokes, C Gaucherel
Ecosystem Services 47, 101220, 2021
162021
A BSP algorithm for the state space construction of security protocols
F Gava, M Guedj, F Pommereau
2010 Ninth International Workshop on Parallel and Distributed Methods in …, 2010
162010
Discrete-event models for conservation assessment of integrated ecosystems
C Gaucherel, C Carpentier, IR Geijzendorffer, C Noûs, F Pommereau
Ecological Informatics 61, 101205, 2021
142021
Integrated regulatory networks (IRNs): Spatially organized biochemical modules
JL Giavitto, H Klaudel, F Pommereau
Theoretical Computer Science 431, 219-234, 2012
142012
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20