Search Sciweavers | Sciweavers

941 search results - page 49 / 189

» Haskell-Coloured Petri Nets

119

click to vote

ICCAD
2006
IEEE

91views Hardware» more ICCAD 2006»

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

16 years 2 months ago

Download www.cecs.uci.edu

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

claim paper

Read More »

138

click to vote

ACSD
2009
IEEE

105views Hardware» more ACSD 2009»

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

16 years 26 days ago

Download www.lsi.upc.edu

Josep Carmona, Jordi Cortadella, Michael Kishinevs...

claim paper

Read More »

122

click to vote

VL
2009
IEEE

114views Visual Languages» more VL 2009»

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

16 years 23 days ago

Download tfs.cs.tu-berlin.de

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

claim paper

Read More »

129

click to vote

QEST
2009
IEEE

104views Modeling and Simulation» more QEST 2009»

Petri Net Analysis Using Decision Diagrams

16 years 23 days ago

Download www.qest.org

Gianfranco Ciardo

claim paper

Read More »

121

click to vote

APN
2009
Springer

127views Artificial Intelligence» more APN 2009»

Oclets - Scenario-Based Modeling with Petri Nets

16 years 19 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers