Search Sciweavers | Sciweavers

352 search results - page 17 / 71

» Extended Timed Automata and Time Petri Nets

Voted

APN
2007
Springer

139views Artificial Intelligence» more APN 2007»

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

15 years 3 months ago

Download www.onera.fr

Marc Boyer, Olivier H. Roux

claim paper

Read More »

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

Download www.async.ece.utah.edu

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

claim paper

Read More »

click to vote

APN
2001
Springer

86views Artificial Intelligence» more APN 2001»

Towards a Notion of Distributed Time for Petri Nets

15 years 2 months ago

Download www.brics.dk

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

claim paper

Read More »

click to vote

ATVA
2007
Springer

98views Hardware» more ATVA 2007»

Model Checking Bounded Prioritized Time Petri Nets

15 years 1 months ago

Download homepages.laas.fr

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

claim paper

Read More »

click to vote

ACSD
2008
IEEE

84views Hardware» more ACSD 2008»

Time elastic digital systems and Petri Nets

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers