Sciweavers

76 search results - page 8 / 16
» Unbounded Petri Net Synthesis
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...
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