Simulação e síntese de controladores paralelos a partir de especificações baseados em redes de Petri

As Redes de Petri (RdP) mostram-se uma metodologia poderosa na modelação de sistemas de eventos discretos. Tal deve-se, em grande medida, ao conjunto disponível de técnicas formais para análise estrutural e dinâmica dos sistemas modelados. Apresentam-se as vantagens na utilização de RdP, relativamen...

Full description

Bibliographic Details
Main Author: Fernandes, João M. (author)
Other Authors: Pina, António Manuel Silva (author), Proença, Alberto José (author)
Format: conferencePaper
Language:por
Published: 1995
Subjects:
Redes de Petri
Controladores digitais
VHDL
Sistemas ECAD
Petri nets
Parallel controllers
ECAD tools
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Online Access:http://hdl.handle.net/1822/43677
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/43677

Internet

http://hdl.handle.net/1822/43677

Similar Items