Search Sciweavers | Sciweavers

231 search results - page 18 / 47

» Time Recursive Petri Nets

click to vote

ATVA
2007
Springer

98views Hardware» more ATVA 2007»

Model Checking Bounded Prioritized Time Petri Nets

13 years 11 months ago

Download homepages.laas.fr

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

claim paper

Read More »

click to vote

BIOSTEC
2008

98views Healthcare» more BIOSTEC 2008»

Describing Cryptobiosis as a Time Based Protection System Using Petri Nets

13 years 9 months ago

Download www.bth.se

Bengt Carlsson, K. Ingemar Jönsson, Keith L. ...

claim paper

Read More »

click to vote

ACSD
2008
IEEE

84views Hardware» more ACSD 2008»

Time elastic digital systems and Petri Nets

13 years 7 months ago

Download oice.xidian.edu.cn

Michael Kishinevsky, Jordi Cortadella

claim paper

Read More »

click to vote

DEDS
2007

62views more DEDS 2007»

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches

13 years 7 months ago

Download www.irccyn.ec-nantes.fr

Bernard Berthomieu, Didier Lime, Olivier H. Roux, ...

claim paper

Read More »

click to vote

STTT
2008

83views more STTT 2008»

Improving state class constructions for CTL* model checking of time Petri nets

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers