Login / Signup
An Efficient Translation Method from Timed Petri Nets to Timed Automata.
Shota Nakano
Shingo Yamaguchi
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2012)
Keyphrases
</>
network model