Reachability problems and abstract state spaces for time Petri nets with stopwatches

From MaRDI portal
Publication:884758

DOI10.1007/s10626-006-0011-yzbMath1134.93369OpenAlexW2021391928MaRDI QIDQ884758

Bernard Berthomieu, Olivier H. Roux, Didier Lime, François Vernadat

Publication date: 7 June 2007

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-006-0011-y




Related Items (16)


Uses Software


Cites Work


This page was built for publication: Reachability problems and abstract state spaces for time Petri nets with stopwatches