For the most recent entries see the Petri Nets Newsletter.

Petri Nets on the Specification and Validation of Parallel Controllers.

Fernandes, Joao Miguel; Proença, Alberto José

In: Encontro Nacional do Colégio de Engenharia Electrotécnica, pages 113-118. 1994. In Portuguese.

Abstract: PNs are an efficient methodology for the modeling of discret-event systems. This is due to the existence of a set of analysis techniques available for PNs. We show the advantages on using PN for modeling parallel controllers. We propose some modifications to the usual PN behaviour, for allowing a easier modelation. This article also presents a compiler which generates VHDL code from a PN-based controller specification. Finally, an example is considered and analysed.


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

Back to the Petri Nets Bibliography