D. Andreu, D. Guiraud, and G. Souquet, A distributed architecture for activating the peripheral nervous system, Journal of Neural Engineering, vol.6, issue.2, p.26001, 2009.
DOI : 10.1088/1741-2560/6/2/026001

URL : https://hal.archives-ouvertes.fr/lirmm-00361686

B. Berthomieu and M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE Transactions on Software Engineering, vol.17, issue.3, pp.259-273, 1991.
DOI : 10.1109/32.75415

B. Berthomieu, P. Ribet, and F. Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, pp.2741-2756, 2004.
DOI : 10.1137/0216062

B. Berthomieu and F. Vernadat, State Class Constructions for Branching Analysis of Time Petri Nets, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.442-457, 2003.
DOI : 10.1007/3-540-36577-X_33

R. David and H. Alla, Discrete, continuous, and hybrid Petri nets, 2010.
DOI : 10.1007/978-3-642-10669-9

URL : https://hal.archives-ouvertes.fr/hal-00495611

G. Gardey, O. H. Roux, and O. F. Roux, Using zone graph method for computing the state space of a time petri net. Formal modeling and analysis of timed systems, pp.246-259, 2004.

I. Grobelna and M. Adamski, Control Interpreted Petri Nets - Model Checking and Synthesis, 18th International Conference Mixed Design of Integrated Circuits and Systems, 2011.
DOI : 10.5772/47797

URL : http://www.intechopen.com/download/pdf/38494

H. Leroux, D. Andreu, and K. Godary-dejean, Handling Exceptions in Petri Net-Based Digital Architecture: From Formalism to Implementation on FPGAs, IEEE Transactions on Industrial Informatics, vol.11, issue.4, pp.897-906, 2015.
DOI : 10.1109/TII.2015.2435696

URL : https://hal.archives-ouvertes.fr/lirmm-01241168

H. Leroux, K. Godary-dejean, and D. Andreu, Complex Digital System Design: A Methodology and Its Application to Medical Implants, International Workshop on Formal Methods for Industrial Critical Systems, pp.94-107, 2013.
DOI : 10.1007/978-3-642-41010-9_7

URL : https://hal.archives-ouvertes.fr/lirmm-01064165

H. Leroux, K. Godary-dejean, and D. Andreu, Integrating implementation properties in analysis of Petri nets handling exceptions, IFAC Proceedings Volumes, pp.406-411, 2014.
DOI : 10.3182/20140514-3-FR-4046.00032

URL : https://hal.archives-ouvertes.fr/lirmm-01064146

D. Lime and O. H. Roux, State class timed automaton of a time Petri net, 10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings., 2003.
DOI : 10.1109/PNPM.2003.1231549

URL : https://hal.archives-ouvertes.fr/hal-00523588

P. Merlin and D. Farber, Recoverability of Communication Protocols--Implications of a Theoretical Study, IEEE Transactions on Communications, vol.24, issue.9, pp.1036-1043, 1976.
DOI : 10.1109/TCOM.1976.1093424

M. Moalla, J. Pulou, and J. Sifakis, Synchronized petri nets : A model for the description of non-autonomous sytems, Mathematical Foundations of Computer Science, pp.374-384, 1978.
DOI : 10.1007/3-540-08921-7_85

L. Popova-zeugmann, On time petri nets, Elektronische Informationsverarbeitung und Kybernetik, vol.27, issue.4, pp.227-244, 1991.

L. Popova-zeugmann, Essential states in time Petri nets, 1998.

J. R. Silva and P. M. Foyo, Timed petri nets, 2012.

G. Souquet, D. Andreu, and D. Guiraud, Petri nets based methodology for communicating neuroprosthesis design and prototyping, ISABEL'08: 1st International Symposium on Applied Sciences in Biomedical and Communication Technologies, 2008.
URL : https://hal.archives-ouvertes.fr/lirmm-00320485

F. Wagner, P. Münch, S. Liu, and G. Frey, DEVELOPMENT PROCESS FOR DEPENDABLE HIGH-PERFORMANCE CONTROLLERS USING PETRI NETS AND FPGA TECHNOLOGY, 1st IFAC Workshop on Dependable Control of Discrete Systems, pp.139-144, 2007.
DOI : 10.3182/20070613-3-FR-4909.00026