Search Sciweavers | Sciweavers

231 search results - page 18 / 47

» Time Recursive Petri Nets

111

Voted

ATVA
2007
Springer

98views Hardware» more ATVA 2007»

Model Checking Bounded Prioritized Time Petri Nets

15 years 7 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

15 years 4 months ago

Download www.bth.se

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

claim paper

Read More »

107

click to vote

ACSD
2008
IEEE

84views Hardware» more ACSD 2008»

Time elastic digital systems and Petri Nets

15 years 3 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

15 years 3 months ago

Download www.irccyn.ec-nantes.fr

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

claim paper

Read More »

101

Voted

STTT
2008

83views more STTT 2008»

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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers