Automatic Translation of Time Petri Nets into Estelle Description.

A. B. Alkhechi, Stanislaw Budkowski

Browse the full FORTE paper archive.