Petri nets: Properties, analysis and applications, Proceedings of the IEEE, vol.77, issue.4, pp.541-580, 1989. ,
DOI : 10.1109/5.24143
Dynamic analysis of Petri net-based discrete systems, 2007. ,
An FPGA synthesis of the distributed control systems designed with Petri nets, 2012 IEEE 3rd International Conference on Networked Embedded Systems for Every Application (NESEA), 2012. ,
DOI : 10.1109/NESEA.2012.6474021
Computation of Petri nets covering by SM-components based on the graph theory, Electrical Review, pp.141-144, 2012. ,
Logic Synthesis for VLSI Design, 1989. ,
A polynomial algorithm to compute the concurrency hypergraph in Petri nets, Measurement Automation and Monitoring, vol.58, issue.7, pp.650-652, 2012. ,
Application of Hypergraphs in Decomposition of Discrete Systems, LNCCS, vol.23, 2012. ,
Application of an Exact Transversal Hypergraph in Selection of SM-Components, IFIP Advanced in Information and Communication Technology, 2013. ,
DOI : 10.1007/978-3-642-37291-9_27
URL : https://hal.archives-ouvertes.fr/hal-01348761
Dancing links, Millennial Perspectives in Computer Science, 2000. ,
Exact Transversal Hypergraphs and Application to Boolean ??-Functions, Journal of Symbolic Computation, vol.17, issue.3, pp.215-225, 1994. ,
DOI : 10.1006/jsco.1994.1013
Concurrency Relations and the Safety Problem for Petri Nets. Application and Theory of Petri Nets, 1992. ,
Hypergraphs: Combinatorics of Finite Sets, 1989. ,
Petri Net Dynamic Partial Reconfiguration in FPGA, Computer Aided Systems Theory ? EUROCAST, pp.436-443, 2013. ,
DOI : 10.1007/978-3-642-53856-8_55
SM-Components problem reductions of Petri nets, Telecommunication Review, 2008. ,
8 Synthesis of Compositional Microprogram Control Unit with Dedicated Area of Inputs, In: Lecture Notes in Electrical Engineering. Number, vol.79, pp.193-214, 2011. ,
DOI : 10.1007/978-3-642-17545-9_8
Design of CMCU with EOLC and Encoding of Collections of Microoperations, 2007 14th International Conference on Mixed Design of Integrated Circuits and Systems, pp.262-265, 2007. ,
DOI : 10.1109/MIXDES.2007.4286163
Comprendre, maitriser et appliquer le Grafcet, 1979. ,
Synthesis and Optimization of Digital Circuits, 1994. ,
Automata Implementation in FPGA devices with Multiple Encoding States, Electrical Review, pp.185-188, 2009. ,