Search Sciweavers | Sciweavers

941 search results - page 49 / 189

» Haskell-Coloured Petri Nets

click to vote

ICCAD
2006
IEEE

91views Hardware» more ICCAD 2006»

Verification of analog/mixed-signal circuits using labeled hybrid petri nets

14 years 5 months ago

Download www.cecs.uci.edu

Scott Little, Nicholas Seegmiller, David Walter, C...

claim paper

Read More »

click to vote

ACSD
2009
IEEE

105views Hardware» more ACSD 2009»

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

14 years 3 months ago

Download www.lsi.upc.edu

Josep Carmona, Jordi Cortadella, Michael Kishinevs...

claim paper

Read More »

click to vote

VL
2009
IEEE

114views Visual Languages» more VL 2009»

Modeling multicasting in communication spaces by reconfigurable high-level Petri nets

14 years 3 months ago

Download tfs.cs.tu-berlin.de

Claudia Ermel, Tony Modica, Enrico Biermann, Hartm...

claim paper

Read More »

click to vote

QEST
2009
IEEE

104views Modeling and Simulation» more QEST 2009»

Petri Net Analysis Using Decision Diagrams

14 years 3 months ago

Download www.qest.org

Gianfranco Ciardo

claim paper

Read More »

click to vote

APN
2009
Springer

127views Artificial Intelligence» more APN 2009»

Oclets - Scenario-Based Modeling with Petri Nets

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers