Modeling of programs and its verification for programmable logic controllers (2008)
- Authors:
- USP affiliated authors: SILVA, JOSE REINALDO - EP ; MIYAGI, PAULO EIGI - EP ; SANTOS FILHO, DIOLINO JOSE DOS - EP
- Unidade: EP
- DOI: 10.3182/20080706-5-KR-1001.01786
- Subjects: CONTROLADORES PROGRAMÁVEIS; FALHA (DIAGNÓSTICO); SISTEMAS DE CONTROLE
- Language: Inglês
- Imprenta:
- Source:
- Título: IFAC proceedings volumes
- ISSN: 2405-8963
- Volume/Número/Paginação/Ano: v.41, n. 2, 2008, p. 10546-10551
- Conference titles: IFAC World Congress
- Status:
- Artigo possui versão em acesso aberto em repositório (Green Open Access)
- Versão do Documento:
- Versão submetida (Pré-print)
- Acessar versão aberta:
-
ABNT
SARMENTO, Cleber Alves et al. Modeling of programs and its verification for programmable logic controllers. IFAC proceedings volumes. Seoul: IFAC. Disponível em: https://doi.org/10.3182/20080706-5-KR-1001.01786. Acesso em: 12 abr. 2026. , 2008 -
APA
Sarmento, C. A., Miyagi, P. E., Silva, J. R., & Santos Filho, D. J. dos. (2008). Modeling of programs and its verification for programmable logic controllers. IFAC proceedings volumes. Seoul: IFAC. doi:10.3182/20080706-5-KR-1001.01786 -
NLM
Sarmento CA, Miyagi PE, Silva JR, Santos Filho DJ dos. Modeling of programs and its verification for programmable logic controllers [Internet]. IFAC proceedings volumes. 2008 ;41( 2): 10546-10551.[citado 2026 abr. 12 ] Available from: https://doi.org/10.3182/20080706-5-KR-1001.01786 -
Vancouver
Sarmento CA, Miyagi PE, Silva JR, Santos Filho DJ dos. Modeling of programs and its verification for programmable logic controllers [Internet]. IFAC proceedings volumes. 2008 ;41( 2): 10546-10551.[citado 2026 abr. 12 ] Available from: https://doi.org/10.3182/20080706-5-KR-1001.01786 - Estruturação da modelagem de processos em sistemas produtivos
- Design of a supervision system for integrated software architectures in cim: a framework for concurrent engineering
- Pfs / mfg: a high level net for the modeling of discrete manufacturing systems
- Design of a supervision system for integrated software architectures in cim: a framework for concurrent engineering
- Reutilização de designs de sistemas de produção
- Controle supervisório para integração de sistemas prediais
- Supervisory control of integrated building systems: a balanced approach
- Design of a supervision system for integrated software architectures in CIM: a framework for concurrent engineering
- A high level integrated Petri net environment to the design of FMS
- Toward a formal approach to functionality in the design of discrete flexible systems
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
SilvaR-2008-Modeling of P... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
