A Petri Net approach for the analysis of VHDL descriptions

This publication has 5 references indexed in Scilit:

• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989
• Formal verification of hardware correctness: introduction and survey of current research
  Computer, 1988
• Systems semantics: principles, applications, and implementation
  ACM Transactions on Programming Languages and Systems, 1988
• muFP, a language for VLSI design
  Published by Association for Computing Machinery (ACM) ,1984
• CONLAN Report
  Published by Springer Nature ,1983