Dual transitions petri net based modelling technique for embedded systems specification

Mauricio Varea, Bashir M. Al-Hashimi. Dual transitions petri net based modelling technique for embedded systems specification. In DATE. pages 566-571, 2001. [doi]

Authors

Mauricio Varea

This author has not been identified. Look up 'Mauricio Varea' in Google

Bashir M. Al-Hashimi

This author has not been identified. Look up 'Bashir M. Al-Hashimi' in Google