A concurrency-preserving translation from time Petri nets to networks of timed automata
Sandie Balaguer, Thomas Chatain, Stefan HaarVolume:
40
Language:
english
Pages:
26
DOI:
10.1007/s10703-012-0146-4
Date:
June, 2012
File:
PDF, 1.00 MB
english, 2012