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]

Abstract

Abstract is missing.