Search Sciweavers | Sciweavers

969 search results - page 87 / 194

» Recursive Petri nets

click to vote

ACSD
2009
IEEE

105views Hardware» more ACSD 2009»

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

14 years 4 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 4 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 4 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 4 months ago

Download www2.informatik.hu-berlin.de

Dirk Fahland

claim paper

Read More »

click to vote

APN
2009
Springer

144views Artificial Intelligence» more APN 2009»

DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers