Alexis Marechal
From MaRDI portal
Person:2805420
Available identifiers
zbMath Open marechal.alexisMaRDI QIDQ2805420
List of research outcomes
| This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Generalizing the compositions of Petri nets modules | 2016-05-11 | Paper |
| Unifying the Semantics of Modular Extensions of Petri Nets | 2013-06-28 | Paper |
| A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis | 2013-03-13 | Paper |
| High-level Petri net model checking with AlPiNA | 2012-03-22 | Paper |
| AlPiNA: A Symbolic Model Checker | 2010-06-22 | Paper |
Research outcomes over time
This page was built for person: Alexis Marechal