Search Sciweavers | Sciweavers

1369 search results - page 98 / 274

» On the Semantics of Petri Nets

click to vote

PNPM
1989

527views Artificial Intelligence» more PNPM 1989»

SPNP: Stochastic Petri Net Package

14 years 2 months ago

Download www.cs.ucr.edu

We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdepe...

Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Tr...

claim paper

Read More »

click to vote

APN
2001
Springer

154views Artificial Intelligence» more APN 2001»

CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets

14 years 2 months ago

Download wiki.daimi.au.dk

CPN/Tools is a major redesign of the popular Design/CPN tool from the University of Aarhus CPN group. The new interface is based on advanced, post-WIMP interaction techniques, incl...

Michel Beaudouin-Lafon, Wendy E. Mackay, Peter And...

claim paper

Read More »

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 »