Search Sciweavers | Sciweavers

941 search results - page 93 / 189

» History-Dependent Petri Nets

178

click to vote

TOPNOC
2008

108views Artificial Intelligence» more TOPNOC 2008»

Directed Unfolding of Petri Nets

15 years 6 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 »

121

click to vote

ICCAD
2006
IEEE

91views Hardware» more ICCAD 2006»

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

16 years 3 months ago

Download www.cecs.uci.edu

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

claim paper

Read More »

141

click to vote

ACSD
2009
IEEE

105views Hardware» more ACSD 2009»

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

16 years 1 months ago

Download www.lsi.upc.edu

Josep Carmona, Jordi Cortadella, Michael Kishinevs...

claim paper

Read More »

127

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 1 months ago

Download tfs.cs.tu-berlin.de

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

claim paper

Read More »

130

click to vote

QEST
2009
IEEE

104views Modeling and Simulation» more QEST 2009»

Petri Net Analysis Using Decision Diagrams

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers