Sciweavers

969 search results - page 104 / 194
» Recursive Petri nets
Sort
View
DEDS
2007
62views more  DEDS 2007»
15 years 3 months ago
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches
Bernard Berthomieu, Didier Lime, Olivier H. Roux, ...