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
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. ,
Model checking bounded prioritized time petri nets, Automated Technology for Verification and Analysis, pp.523-532, 2007. ,
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
Exception handling with petri net for digital systems, Proceedings of the 15th symposium on Integrated circuits and systems design, pp.229-235, 2002. ,
Petri charts: an alternative technique for hierarchical net construction, Proceedings of the 1995 IEEE Conference on Systems, Man and Cybernetics, pp.22-25, 1995. ,
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
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. ,
Petri nets based methodology for communicating neuroprosthesis design and prototyping, ISABEL'08, 5. Aalborg, 2008. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00320485
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. ,
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