Specification and analysis for automated flexible manufacturing (2005)
- Authors:
- Autor USP: SILVA, JOSE REINALDO - EP
- Unidade: EP
- Subjects: XML; REDES DE PETRI; SISTEMAS FLEXÍVEIS DE MANUFATURA; AUTOMAÇÃO INDUSTRIAL; UML
- Language: Inglês
- Imprenta:
- Publisher: ABCM
- Publisher place: Rio de Janeiro
- Date published: 2005
- Source:
- Título: COBEM 2005 : proceedings
- Conference titles: International Congress of Mechanical Engineering
-
ABNT
SILVA, José Reinaldo e SANTOS, Eston Almança dos e VAQUERO, Tiago Stegun. Specification and analysis for automated flexible manufacturing. 2005, Anais.. Rio de Janeiro: ABCM, 2005. Disponível em: https://repositorio.usp.br/directbitstream/4f5c5f10-45b4-47a5-a1fd-4adfdc211167/SilvaJ-2005-SPECIFICATION%20AND%20ANALYSIS%20FOR%20AUTOMATED%20FLEXIBLE%20ok.pdf. Acesso em: 31 mar. 2026. -
APA
Silva, J. R., Santos, E. A. dos, & Vaquero, T. S. (2005). Specification and analysis for automated flexible manufacturing. In COBEM 2005 : proceedings. Rio de Janeiro: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/4f5c5f10-45b4-47a5-a1fd-4adfdc211167/SilvaJ-2005-SPECIFICATION%20AND%20ANALYSIS%20FOR%20AUTOMATED%20FLEXIBLE%20ok.pdf -
NLM
Silva JR, Santos EA dos, Vaquero TS. Specification and analysis for automated flexible manufacturing [Internet]. COBEM 2005 : proceedings. 2005 ;[citado 2026 mar. 31 ] Available from: https://repositorio.usp.br/directbitstream/4f5c5f10-45b4-47a5-a1fd-4adfdc211167/SilvaJ-2005-SPECIFICATION%20AND%20ANALYSIS%20FOR%20AUTOMATED%20FLEXIBLE%20ok.pdf -
Vancouver
Silva JR, Santos EA dos, Vaquero TS. Specification and analysis for automated flexible manufacturing [Internet]. COBEM 2005 : proceedings. 2005 ;[citado 2026 mar. 31 ] Available from: https://repositorio.usp.br/directbitstream/4f5c5f10-45b4-47a5-a1fd-4adfdc211167/SilvaJ-2005-SPECIFICATION%20AND%20ANALYSIS%20FOR%20AUTOMATED%20FLEXIBLE%20ok.pdf - Análise da propriedade distância síncrona na rede GHENeSYS
- Análise de invariantes na rede de Petri Ghenesys
- Toward a multi-agent manager to a set of agv's
- A estruturação do problema de planejamento em uma abordagem baseada em IA e no formalismo das redes de Petri
- Mercado aberto para automação e informática industrial
- Modelagem de sistemas de informação para empresas virtuais
- Sistema supervisório descentralizado baseado em íntegrons. (também em CD-Rom)
- Applying Petri nets to requirements validation
- Towards a unified view of petri nets and object oriented modeling
- Applying petri nets to requirements validation
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
SilvaJ-2005-SPECIFICATION... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
