Search Sciweavers | Sciweavers

201 search results - page 15 / 41

» Petri nets with causal time for system verification

click to vote

ENTCS
2002

103views more ENTCS 2002»

Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)

13 years 7 months ago

Download www.liafa.jussieu.fr

Petri nets where, to my knowledge, the first theoretical model augmented with time constraints [Mer74], and the support of the first reachability algorithm of timed system [BM83, ...

Marc Boyer

claim paper

Read More »

click to vote

HICSS
2009
IEEE

116views Biometrics» more HICSS 2009»

Systems Modeling for IP-Based Handoff Using Timed Petri Nets

14 years 2 months ago

Download www1.cs.columbia.edu

The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...

Ashutosh Dutta, Bryan Lyles, Henning Schulzrinne, ...

claim paper

Read More »

click to vote

ACSD
2006
IEEE

129views Hardware» more ACSD 2006»

Extended Timed Automata and Time Petri Nets

14 years 1 months ago

Download www.lif.univ-mrs.fr

Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...

Patricia Bouyer, Pierre-Alain Reynier, Serge Hadda...

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