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.
URL : https://hal.archives-ouvertes.fr/lirmm-00361686

B. Berthomieu, P. O. Ribet, and F. Vernadat, The tool tina c construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.42, issue.14, pp.2741-2756, 2004.

B. Berthomieu, F. Peres, and F. Vernadat, Model checking bounded prioritized time petri nets, Automated Technology for Verification and Analysis, pp.523-532, 2007.

R. David and H. Alla, Discrete, continuous and hybrid petri nets, Control Systems, vol.28, issue.3, pp.81-84, 2008.
DOI : 10.1007/978-3-642-10669-9

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

W. De-oliveira, N. Marranghello, and F. Damiani, Exception handling with petri net for digital systems, Proceedings of the 15th symposium on Integrated circuits and systems design, pp.229-235, 2002.

T. Holvoet and P. Verbaeten, Petri charts: an alternative technique for hierarchical net construction, Proceedings of the 1995 IEEE Conference on Systems, Man and Cybernetics, pp.22-25, 1995.

H. Leroux, K. Godary-dejean, and D. Andreu, Complex digital system design: A methodology and its application to medical implants, Proc. of the 18th International Workshop on Formal Methods for Industrial Critical Systems, pp.94-107, 2013.
URL : https://hal.archives-ouvertes.fr/lirmm-01064165

C. Silva, C. Quintans, A. Colmenar, M. Castro, and E. Mandado, A method based on Petri nets and a matrix model to implement reconfigurable logic controllers, IEEE Transactions on Industrial Electronics, vol.57, issue.10, pp.3544-3556, 2010.

G. Souquet, D. Andreu, and D. Guiraud, Petri nets based methodology for communicating neuroprosthesis design and prototyping, ISABEL'08, 5. Aalborg, 2008.
URL : https://hal.archives-ouvertes.fr/lirmm-00320485

J. Tkacz and M. Adamski, Logic design of structured configurable controllers, Proc. of the IEEE 3rd International Conference on Networked Embedded Systems for Every Application, NESEA, pp.1-6, 2012.

L. M. Traonouez, D. Lime, and O. H. Roux, Parametric model-checking of stopwatch petri nets, J. UCS, vol.15, issue.17, pp.3273-3304, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00489033