skip to main content
Idioma:
Sua busca inicial resultou em poucos registros ou nenhum resultado. Os resultados abaixo foram encontrados ao expandir sua busca.
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Applying Petri nets to requirements validation
Applying Petri nets to requirements validation
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Applying Petri nets to requirements validation

José Reinaldo Silva 1955- Eston Almança dos Santos; International Congress of Mechanical Engineering (17. 2003 São Paulo)

COBEM 2003: proceedings São Paulo : ABCM, 2003

São Paulo ABCM 2003

Item não circula. Consulte sua biblioteca.(Acessar)

2
Using petri nets and rule-based systems in manufacturing systems
Using petri nets and rule-based systems in manufacturing systems
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Using petri nets and rule-based systems in manufacturing systems

Márcio Rillo 1953-2010 Imacs World Congress (12. 1988 Paris)

Proceedings Paris : Imacs, 1988

Paris Imacs 1988

Item não circula. Consulte sua biblioteca.(Acessar)

3
Petri nets and OO for the modular analysis of an aircraft Landing system
Petri nets and OO for the modular analysis of an aircraft Landing system
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Petri nets and OO for the modular analysis of an aircraft Landing system

Emília Villani Fabrício Junqueira 1975-; Paulo Eigi Miyagi 1959-; Robert Valette; International Congress of Mechanical Engineering (17. 2003 São Paulo)

COBEM 2003: proceedings São Paulo : ABCM, 2003.

São Paulo ABCM 2003

Item não circula. Consulte sua biblioteca.(Acessar)

4
Modeling of a control architecture for a mini-robot navigation using Petri nets
Modeling of a control architecture for a mini-robot navigation using Petri nets
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Modeling of a control architecture for a mini-robot navigation using Petri nets

Hilano José Rocha de Carvalho Rafael Vieira de Sousa; Andrea Ribari Yoshizawa; Arthur José Vieira Porto; Ricardo Yassushi Inamasu; International Congress of Mechanical Engineering (18. 2005 Ouro Preto)

Proceedings of the COBEM 2005 Rio de Janeiro : ABCM, 2005

Rio de Janeiro ABCM 2005

Item não circula. Consulte sua biblioteca.(Acessar)

5
Supervisor system for treatment of failures in machining operations using Petri nets
Supervisor system for treatment of failures in machining operations using Petri nets
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Supervisor system for treatment of failures in machining operations using Petri nets

Paulo Eigi Miyagi 1959- Luis Alberto Martínez Riascos; International ICSC-NAISO World Manufacturing Congress (3. 2001 Rochester)

ICSC : proceedings Rochester : Naiso Academic Press,2001

Rochester Naiso Academic Press 2001

Item não circula. Consulte sua biblioteca.(Acessar)

6
Towards a unified view of petri nets and object oriented modeling
Towards a unified view of petri nets and object oriented modeling
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards a unified view of petri nets and object oriented modeling

Pedro Manuel González Del Foyo José Reinaldo Silva 1955-; International Congress of Mechanical Engineering (17. 2003 São Paulo)

COBEM 2003 : proceedings São Paulo : ABCM, 2003

São Paulo ABCM 2003

Item não circula. Consulte sua biblioteca.(Acessar)

7
Using time petri nets for modeling and verification of timed constrained workflow systems
Using time petri nets for modeling and verification of timed constrained workflow systems
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Using time petri nets for modeling and verification of timed constrained workflow systems

Pedro Manuel Gonzalez Del Foyo José Reinaldo Silva 1955-; International Congress of Mechanical Engineering (19. 2007 Brasília, DF)

Proceedings of COBEM Brasília : ABCM, 2007

Brasília ABCM 2007

Item não circula. Consulte sua biblioteca.(Acessar)

8
A review of modeling and simulation of autonomous mobile robots aided by simulation software and Petri nets
A review of modeling and simulation of autonomous mobile robots aided by simulation software and Petri nets
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A review of modeling and simulation of autonomous mobile robots aided by simulation software and Petri nets

Andrea Ribari Yoshizawa Hilano José Rocha de Carvalho; Arthur José Vieira Porto; Ricardo Yassushi Inamasu; International Congress of Mechanical Engineering (18. 2005 Ouro Preto)

Proceedings of the COBEM 2005 Rio de Janeiro : ABCM, 2005

Rio de Janeiro ABCM 2005

Item não circula. Consulte sua biblioteca.(Acessar)

9
Diagnosis and treatment of faults in manufacturing systems based on bayesian networks and petri nets
Diagnosis and treatment of faults in manufacturing systems based on bayesian networks and petri nets
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Diagnosis and treatment of faults in manufacturing systems based on bayesian networks and petri nets

Roy Andres Gomez Morales Paulo Eigi Miyagi 1959-; Luis Alberto Martínez Riascos; International Congress of Mechanical Engineering (19. 2007 Brasília, DF)

Proceedings of COBEM Brasília : ABCM, 2007

Brasília ABCM 2007

Item não circula. Consulte sua biblioteca.(Acessar)

10
Colored Petri nets based model planning and evaluation of the operational capacity of a port plant
Colored Petri nets based model planning and evaluation of the operational capacity of a port plant
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Colored Petri nets based model planning and evaluation of the operational capacity of a port plant

Marcos Aurélio Scopel Simões Marcos Ribeiro Pereira Barretto 1960-; Lucas Antonio Moscato 1946-; World Manufacturing Congress (1997 Auckland); International Symposium on Manufacturing Systems (1997 Auckland)

Proceedings San Diego : Academic Press, 1997

San Diego Academic Press 1997

Item não circula. Consulte sua biblioteca.(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Data de Publicação 

De até
Refinar
  1. Antes de1997  (1)
  2. 1997Até2000  (1)
  3. 2001Até2002  (1)
  4. 2003Até2005  (5)
  5. Após 2005  (2)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.