Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

DEDS
2007

favoriteEmaildiscussreport

62views more DEDS 2007»

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

13 years 4 months ago

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

Download www.irccyn.ec-nantes.fr

Bernard Berthomieu, Didier Lime, Olivier H. Roux,

Real-time Traffic

DEDS 2007 |

claim paper

Related Content

» Symbolic State Space of Stopwatch Petri Nets with DiscreteTime Semantics Theory Paper

» Parametric ModelChecking of Time Petri Nets with Stopwatches Using the StateClass Graph

» Romeo A Tool for Analyzing Time Petri Nets

» Time Petri Nets with Inhibitor Hyperarcs Formal Semantics and State Space Computation

» An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches

» Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems

» Synthesis of Asynchronous Hardware from Petri Nets

» Continuous Petri Nets Expressive Power and Decidability Issues

» On the Computational Power of Timed Differentiable Petri Nets

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	DEDS
Authors	Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat

Comments (0)