Sciweavers

76 search results - page 8 / 16
» Unbounded Petri Net Synthesis
Sort
View
ACSD
2009
IEEE
105views Hardware» more  ACSD 2009»
15 years 4 months ago
Genet: A Tool for the Synthesis and Mining of Petri Nets
Josep Carmona, Jordi Cortadella, Michael Kishinevs...
EURODAC
1994
IEEE
124views VHDL» more  EURODAC 1994»
15 years 1 months ago
Parallel controller synthesis from a Petri net specification
Krzysztof Bilinski, Erik L. Dagless, Jonathan M. S...
66
Voted
AUTOMATICA
2008
66views more  AUTOMATICA 2008»
14 years 9 months ago
Reduction of constraints for controller synthesis based on safe Petri Nets
Abbas Dideban, Hassane Alla