Sciweavers

DEDS
2007

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

13 years 11 months ago
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches
Bernard Berthomieu, Didier Lime, Olivier H. Roux,
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)