Search Sciweavers | Sciweavers

941 search results - page 93 / 189

» History-Dependent Petri Nets

click to vote

TOPNOC
2008

108views Artificial Intelligence» more TOPNOC 2008»

Directed Unfolding of Petri Nets

13 years 10 months ago

Download www.ldc.usb.ve

The key to efficient on-the-fly reachability analysis based on unfolding is to focus the expansion of the finite prefix towards the desired marking. However, current unfolding stra...

Blai Bonet, Patrik Haslum, Sarah L. Hickmott, Sylv...

claim paper

Read More »

click to vote

ICCAD
2006
IEEE

91views Hardware» more ICCAD 2006»

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

14 years 7 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 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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers