Mauricio Varea, Bashir M. Al-Hashimi
Dual transitions petri net based modelling technique for embedded systems specification
DATE, 2001.
@inproceedings{DATE-2001-VareaA,
author = "Mauricio Varea and Bashir M. Al-Hashimi",
booktitle = "{Proceedings of the Sixth Conference on Design, Automation and Test in Europe}",
doi = "10.1145/367072.368912",
isbn = "0-7695-0993-2",
pages = "566--571",
publisher = "{ACM}",
title = "{Dual transitions petri net based modelling technique for embedded systems specification}",
year = 2001,
}