Search Sciweavers | Sciweavers

76 search results - page 8 / 16

» Unbounded Petri Net Synthesis

158

click to vote

ACSD
2009
IEEE

105views Hardware» more ACSD 2009»

Genet: A Tool for the Synthesis and Mining of Petri Nets

16 years 2 months ago

Download www.lsi.upc.edu

Josep Carmona, Jordi Cortadella, Michael Kishinevs...

claim paper

Read More »

157

click to vote

EURODAC
1994
IEEE

124views VHDL» more EURODAC 1994»

Parallel controller synthesis from a Petri net specification

15 years 11 months ago

Download www.cecs.uci.edu

Krzysztof Bilinski, Erik L. Dagless, Jonathan M. S...

claim paper

Read More »

162

click to vote

AUTOMATICA
2008

66views more AUTOMATICA 2008»

Reduction of constraints for controller synthesis based on safe Petri Nets

15 years 7 months ago

Download hal.archives-ouvertes.fr

Abbas Dideban, Hassane Alla

claim paper

Read More »

163

Voted

JISE
2008

109views more JISE 2008»

An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service

15 years 7 months ago

Download www.iis.sinica.edu.tw

Zhijun Ding, Junli Wang, Changjun Jiang

claim paper

Read More »

108

Voted

JISE
2006

45views more JISE 2006»

Knitting Technique with TP-PT Generations for Petri Net Synthesis

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers