Search Sciweavers | Sciweavers

352 search results - page 17 / 71

» Extended Timed Automata and Time Petri Nets

133

click to vote

APN
2007
Springer

139views Artificial Intelligence» more APN 2007»

Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets

16 years 6 days ago

Download www.onera.fr

Marc Boyer, Olivier H. Roux

claim paper

Read More »

145

click to vote

ATVA
2004
Springer

67views Hardware» more ATVA 2004»

Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets

15 years 11 months ago

Download www.async.ece.utah.edu

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

claim paper

Read More »

101

click to vote

APN
2001
Springer

86views Artificial Intelligence» more APN 2001»

Towards a Notion of Distributed Time for Petri Nets

15 years 10 months ago

Download www.brics.dk

Mogens Nielsen, Vladimiro Sassone, Jirí Srb...

claim paper

Read More »

147

click to vote

ATVA
2007
Springer

98views Hardware» more ATVA 2007»

Model Checking Bounded Prioritized Time Petri Nets

15 years 10 months ago

Download homepages.laas.fr

Bernard Berthomieu, Florent Peres, François...

claim paper

Read More »

128

click to vote

ACSD
2008
IEEE

84views Hardware» more ACSD 2008»

Time elastic digital systems and Petri Nets

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers