Search Sciweavers | Sciweavers

1019 search results - page 93 / 204

» Petri Net Transformations in the

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 10 days 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 7 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 4 months ago

Download www.cecs.uci.edu

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

claim paper

Read More »