Zobrazeno 1 - 1
of 1
pro vyhledávání: '"José Godoy Soto"'
Publikováno v:
IFAC-PapersOnLine. 53:187-192
Weighted automata with weights (multiplicities) in the product semirings can be viewed as alternative models for timed systems, where concurrent time behaviors are modeled using nondeterminism, while in timed automata using multiple clocks. It is kno