Sciweavers

252 search results - page 12 / 51
» A Petri Net Synthesis Method
Sort
View
93
Voted
ACSD
2009
IEEE
105views Hardware» more  ACSD 2009»
15 years 8 months ago
Genet: A Tool for the Synthesis and Mining of Petri Nets
Josep Carmona, Jordi Cortadella, Michael Kishinevs...
85
Voted
EURODAC
1994
IEEE
124views VHDL» more  EURODAC 1994»
15 years 6 months ago
Parallel controller synthesis from a Petri net specification
Krzysztof Bilinski, Erik L. Dagless, Jonathan M. S...
90
Voted
JISE
2008
109views more  JISE 2008»
15 years 1 months ago
An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service
Zhijun Ding, Junli Wang, Changjun Jiang