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
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
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
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
Discrete, continuous, and hybrid Petri nets, 2010. ,
DOI : 10.1007/978-3-642-10669-9
URL : https://hal.archives-ouvertes.fr/hal-00495611
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. ,
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
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
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
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
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
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
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
On time petri nets, Elektronische Informationsverarbeitung und Kybernetik, vol.27, issue.4, pp.227-244, 1991. ,
Essential states in time Petri nets, 1998. ,
Timed petri nets, 2012. ,
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
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