For the most recent entries see the Petri Nets Newsletter.

A Colored Petri Net Model of VHDL.

Olcoz, S.; Colom, J.M.

In: Formal Methods in System Design, Vol. 7, No. 1-2, pages 101-124. 1995.

Abstract: There exists a strong necessity for a formal interpretation of VHDL. This paper address this aspect. The formal model used for this purpose are Colored Petri Nets because they can cover all aspects of VHDL. We start from the underlying executable model of VHDL based on interactive processes. The formal model of a VHDL description results from the specification in Petri net terms of an intermediate model. This consists of the user-defined processes resulting from the elaboration of a VHDL description, the kernel process (VHDL simulator) and the communicating links between them.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography