Pierre Azéma, Robert Valette, Michel Diaz
Petri nets as a common tool for design verification and hardware simulation
DAC, 1976.
@inproceedings{DAC-1976-AzemaVD,
author = "Pierre Azéma and Robert Valette and Michel Diaz",
booktitle = "{Proceedings of the 13th Design Automation Conference}",
doi = "10.1145/800146.804803",
pages = "109--116",
publisher = "{ACM}",
title = "{Petri nets as a common tool for design verification and hardware simulation}",
year = 1976,
}