Mauricio Varea, Bashir M. Al-Hashimi. Dual transitions petri net based modelling technique for embedded systems specification. In DATE. pages 566-571, 2001. [doi]
@inproceedings{VareaA01,
title = {Dual transitions petri net based modelling technique for embedded systems specification},
author = {Mauricio Varea and Bashir M. Al-Hashimi},
year = {2001},
doi = {10.1145/367072.368912},
url = {http://doi.acm.org/10.1145/367072.368912},
tags = {rule-based},
researchr = {https://researchr.org/publication/VareaA01},
cites = {0},
citedby = {0},
pages = {566-571},
booktitle = {DATE},
}