| SNAKES: A flexible high-level petri nets library (tool paper) F Pommereau Application and Theory of Petri Nets and Concurrency: 36th International …, 2015 | 72 | 2015 |
| Quickly prototyping Petri nets tools with SNAKES F Pommereau Petri nets newsletter 75, 2008 | 51 | 2008 |
| 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 | 38 | 2019 |
| Algebras of coloured Petri nets F Pommereau LAP LAMBERT Academic Publishing, 2010 | 38 | 2010 |
| Asynchronous links in the PBC and M-nets H Klaudel, F Pommereau Annual Asian Computing Science Conference, 190-200, 1999 | 37 | 1999 |
| 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 |
| 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 | 24 | 2021 |
| A concurrent and compositional Petri net semantics of preemption H Klaudel, F Pommereau Integrated Formal Methods: Second International Conference, IFM 2000 …, 2000 | 22 | 2000 |
| 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 | 21 | 2010 |
| 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 | 20 | 2018 |
| 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 | 20 | 2012 |
| M-nets: a survey H Klaudel, F Pommereau Acta Informatica 45, 537-564, 2008 | 20 | 2008 |
| 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 |
| Optimising the compilation of Petri net models L Fronc, F Pommereau Second International Workshop on Scalable and Usable Model Checking for …, 2011 | 18 | 2011 |
| 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 |
| 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 | 17 | 2021 |
| Understanding ecosystem complexity via application of a process‐based state space rather than a potential surface C Gaucherel, F Pommereau, C Hély Complexity 2020 (1), 7163920, 2020 | 17 | 2020 |
| 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 | 17 | 2010 |
| SNAKES is the net algebra kit for editors and simulators F Pommereau Comete Procope Workshop, 2004 | 17 | 2004 |
| Asynchronous box calculus R Devillers, H Klaudel, M Koutny, F Pommereau Fundamenta Informaticae 54 (4), 295-344, 2003 | 17 | 2003 |
Maciej KoutnyNewcastle University在 ncl.ac.uk 的电子邮件经过验证
