Resultados de 1 a 10 de 15.544 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (15.441)
- Revistas revisadas por pares (6.668)
- Disponível na Biblioteca (96)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Dissertação de Mestrado
|
|
Análise de invariantes na rede de Petri Ghenesys.Song, San WoeiBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 1997-08-25Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Dissertação de Mestrado
|
|
Verificação de requisitos de sistemas utilizando redes de Petri.Santos, Eston Almança DosBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2002-12-16Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Livro
|
|
Petri Nets in Flexible and Agile AutomationMengChu ZhouSpringer US 1995Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Livro
|
|
Advances in Petri Nets 1991Rozenberg Helmut Plünnecke; Wolfgang Reisig; Grzegorz RozenbergSpringer Berlin Heidelberg 1991Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Livro
|
|
Redes de petriJanette Cardoso 1958- Robert ValetteFlorianópolis Editora da UFSC 1997Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (519.179.2 C179r e.2 ) e outros locais(Acessar) |
| 6 |
Material Type: Livro
|
|
Lectures on concurrency and Petri nets advances in Petri netsJörg Desel; Wolfgang Reisig 1950-; Grzegorz RozenbergBerlin Springer New York 2004Localização: EPBC - Esc. Politécnica-Bib Central (519.179.2 L497 ) e outros locais(Acessar) |
| 7 |
Material Type: Livro
|
|
Discrete, continuous, and hybrid Petri NetsRené David 1939- H Alla (Hassane)Berlin Springer New York c2005Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (519.179.2 D28d )(Acessar) |
| 8 |
Material Type: Livro
|
|
Timed Petri nets theory and applicationJiacun Wang 1963-Boston Kluwer Academic Publishers c1998Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (519.179.2 W184t )(Acessar) |
| 9 |
Material Type: Dissertação de Mestrado
|
|
Associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresençaOliveira, Claiton DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Engenharia de São Carlos 2008-06-25Acesso online |
| 10 |
Material Type: Dissertação de Mestrado
|
|
GHENeSYS: uma rede estendida orientada a objetos para o projeto de sistemas discretos.González Del Foyo, Pedro ManuelBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2001-08-27Acesso online. A biblioteca também possui exemplares impressos. |
Resultados de 1 a 10 de 15.544 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (15.441)
- Revistas revisadas por pares (6.668)
- Disponível na Biblioteca (96)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (7.841)
- Anais de Congresso (6.454)
- Book Chapters (633)
- Livros (201)
- Reports (132)
- Newsletter Articles (79)
- Dissertações (68)
- Produções Acadêmicas (50)
- Conjunto de Dados (34)
- magazinearticle (21)
- Recursos Textuais (18)
- Videos (6)
- Resenhas (5)
- Web Resources (2)
- Verbetes (1)
- Produções Técnicas (1)
-
Mais opções
Assunto
- Petri Nets (11.474)
- Science & Technology (9.500)
- Technology (9.157)
- Computer Science (6.769)
- Engineering (4.535)
- Engineering, Electrical & Electronic (3.056)
- Automation & Control Systems (2.309)
- Petri Net (2.065)
- Computer Science, Theory & Methods (1.899)
- Computer Science, Information Systems (1.726)
- Computer Science, Software Engineering (1.611)
- Computer Science, Artificial Intelligence (1.403)
- Exact Sciences And Technology (1.240)
- Control Systems (1.234)
- Applied Sciences (1.208)
- Discrete Event Systems (1.106)
- Algorithms (1.060)
- Mathematical Models (1.014)
- Physical Sciences (997)
- Analytical Models (967)
- Simulation (668)
- Modeling (484)
- Mechanical Engineering (144)
- Redes De Petri (75)
- Redes De Petri (72)
- Machine Theory (43)
- Electronic Data Processing (24)
- Arquitetura E Organização De Computadores (20)
- Machine Theory (13)
- Parallel Processing (Electronic Computers) (8)
- Redes De Computadores (8)
- Sistemas Operacionais (7)
- Redes De Computadores (7)
- Engenharia Mecânica (7)
- Redes De Petri (Congressos) (7)
- Sistemas Flexíveis De Manufatura (6)
- Computabilidade E Complexidade (6)
- Engenharia De Software (6)
- Teoria Da Computação (6)
- Sistemas De Controle (6)
- Modeling (6)
- Mechanical Engineering (5)
- Arquiteturas Paralelas (Congressos) (5)
- Softwares (5)
- Electronic Data Processing (5)
- Simulation (4)
-
Mais opções
Autor/Criador
- Rozenberg, G (15)
- Silva, J (13)
- Miyagi, P (13)
- Santos Filho, D (8)
- International Conference on Applications and Theory of Petri Nets (7)
- Reisig, W (6)
- Rozenberg (4)
- International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (3)
- Porto, A (3)
- Zhou, M (3)
- Silva, M (2)
- Valk, R (2)
- Villani, E (2)
- Cavalheiro, A (2)
- Yakovlev, A (2)
- Best, E (2)
- Koutny, M (2)
- Ferreira, J (2)
- Donatelli, S (2)
- Ajmone Marsan, M (2)
-
Mais opções
Data de Publicação
- Antes de1978 (43)
- 1978Até1988 (278)
- 1989Até1999 (2.694)
- 2000Até2011 (6.312)
- Após 2011 (6.272)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (5.195)
- IEEE Electronic Library (IEL) Conference Proceedings (4.342)
- Free E-Journal (出版社公開部分のみ） (2.025)
- IEEE Electronic Library (IEL) Journals (1.874)
- ROAD: Directory of Open Access Scholarly Resources (1.758)
- ScienceDirect (Online service) (1.698)
- DOAJ Directory of Open Access Journals (1.476)
- EBSCOhost Computers and Applied Sciences Complete (1.046)
- SpringerLink (Online service) (962)
- IngentaConnect Journals (961)
- Gale Academic OneFile (890)
- Springer Nature - Springer Journals All 2022 (860)
- ANTE: Abstracts in New Technology & Engineering (826)
- ACM Digital Library Complete (711)
- SpringerLINK Lecture Notes in Computer Science (696)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (657)
- EBSCOhost Academic Search Premier (622)
- SpringerLINK Lecture Notes in Computer Science (2015) (605)
- Free E- Journals (595)
- Aerospace Database (584)
-
Mais opções
Idioma
Nome da Publicação
- Arxiv.Org (547)
- Ieee Access (243)
- Arxiv (213)
- Ieee Transactions On Automatic Control (175)
- Fundamenta Informaticae (171)
- Ieee Transactions On Systems, Man, And Cybernetics. Systems (161)
- Ieee Transactions On Automation Science And Engineering (152)
- Ieee Transactions On Software Engineering (136)
- International Journal Of Advanced Manufacturing Technology (134)
- Ieee Transactions On Systems, Man And Cybernetics. Part A, Systems And Humans (133)
- Mecatrone (1)
- Anais (1)
- Proceedings (1)
- JISTEM - Journal of Information Systems and Technology Management (Online) (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 