Model checking of time Petri nets using the state class timed automaton

From MaRDI portal
Publication:859736

DOI10.1007/s10626-006-8133-9zbMath1113.68068OpenAlexW2129140418MaRDI QIDQ859736

Didier Lime, Olivier H. Roux

Publication date: 18 January 2007

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

Full work available at URL: https://doi.org/10.1007/s10626-006-8133-9



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (14)


Uses Software


Cites Work


This page was built for publication: Model checking of time Petri nets using the state class timed automaton