Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Franck Pommereau
Using Discrete Systems to Exhaustively Characterize the Dynamics of an Integrated Ecosystem
Methods in Ecology and Evolution
Ecological Modeling
Ecology
Systematics
Evolution
Behavior
Towards a Certified Petri Net Model-Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
M-Nets: A Survey
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Causal Time Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Concurrent and Compositional Petri Net Semantics of Preemption
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quickly Prototyping Petri Nets Tools With SNAKES
