Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat. Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. Discrete Event Dynamic Systems, 17(2):133-158, 2007. [doi]

This author has not been identified. Look up 'Bernard Berthomieu' in GoogleThis author has not been identified. Look up 'Didier Lime' in GoogleThis author has not been identified. Look up 'Olivier H. Roux' in GoogleThis author has not been identified. Look up 'François Vernadat' in Google

runs on WebDSL