skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: tipo de recurso: Artigos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Workflow modelling within selected departments of the public administration focused on the regional office
Workflow modelling within selected departments of the public administration focused on the regional office
Material Type:
Artigo 		Adicionar ao Meu Espaço

Workflow modelling within selected departments of the public administration focused on the regional office

Capek, Jan; Bata, Robert

JISTEM - Journal of Information Systems and Technology Management (Online); v. 4 n. 2 (2007); 113-126

Universidade de São Paulo. Faculdade de Economia, Administração e Contabilidade 2007-01-01

Acesso online

2
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.

Simão, Adenilso Da Silva

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2000-03-17

Acesso online. A biblioteca também possui exemplares impressos.

3
Um Estudo Conceitual Acerca da Automatização dos Restaurantes Universitários da USP; Conceptual Study on the Automation of University Restaurants at USP
Um Estudo Conceitual Acerca da Automatização dos Restaurantes Universitários da USP; Conceptual Study on the Automation of University Restaurants at USP
Material Type:
Artigo 		Adicionar ao Meu Espaço

Um Estudo Conceitual Acerca da Automatização dos Restaurantes Universitários da USP; Conceptual Study on the Automation of University Restaurants at USP

Almeida, Gabriel Dias De; Cursino, Gabriel Morth; Mendes, Iago Baldim

Mecatrone; v. 6 n. 1 (2023); 1-11

Universidade de São Paulo. Escola Politécnica. 2023-12-31

Acesso online

4
Performance analysis modeling applied to business processes
Performance analysis modeling applied to business processes
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Performance analysis modeling applied to business processes

Kelly Rosa Braghetto João Eduardo Ferreira; Jean-Marc Vincent; Spring Simulation Multiconference on - SpringSim (2010 Orlando Florida)

Proceedings New york : ACM, 2010

New york ACM 2010

Localização: IME - Inst. Matemática e Estatística    (PROD-3033954 )(Acessar)

5
Two-staged approach for estimation of sequences in partially observable P-time Petri nets on a sliding horizon with schedulability analysis
Two-staged approach for estimation of sequences in partially observable P-time Petri nets on a sliding horizon with schedulability analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Two-staged approach for estimation of sequences in partially observable P-time Petri nets on a sliding horizon with schedulability analysis

Declerck, P. ; Bonhomme, P.

International journal of control, 2024-06, Vol.97 (6), p.1341-1350 [Periódico revisado por pares]

Abingdon: Taylor & Francis

Texto completo disponível

Citações Citado por
6
Password generation using array generating interval timed colored Petri net (AGITCPN) for effective security
Password generation using array generating interval timed colored Petri net (AGITCPN) for effective security
Material Type:
Artigo 		Adicionar ao Meu Espaço

Password generation using array generating interval timed colored Petri net (AGITCPN) for effective security

Metilda, M.I. Mary ; Lalitha, D. ; Vaithyasubramanian, S.

Theoretical computer science, 2022-09, Vol.929, p.114-123 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
7
Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings
Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings
Material Type:
Artigo 		Adicionar ao Meu Espaço

Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings

Cong, Xuya ; Fanti, Maria Pia ; Mangini, Agostino Marcello ; Li, Zhiwu

IEEE transactions on automatic control, 2023-12, Vol.68 (12), p.1-8 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
8
Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems
Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems

Li, Liang ; Basile, Francesco ; Li, Zhiwu

IEEE transactions on automatic control, 2021-11, Vol.66 (11), p.5326-5341 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
9
Superheat Degree Recognition of Aluminum Electrolysis Cell Using Unbalance Double Hierarchy Hesitant Linguistic Petri Nets
Superheat Degree Recognition of Aluminum Electrolysis Cell Using Unbalance Double Hierarchy Hesitant Linguistic Petri Nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Superheat Degree Recognition of Aluminum Electrolysis Cell Using Unbalance Double Hierarchy Hesitant Linguistic Petri Nets

Yue, Weichao ; Hou, Lingfeng ; Wan, Xiaoxue ; Chen, Xiaofang ; Gui, Weihua

IEEE transactions on instrumentation and measurement, 2023-01, Vol.72, p.1-1 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
10
Optimal One-Wafer Cyclic Scheduling and Buffer Space Configuration for Single-Arm Multicluster Tools With Linear Topology
Optimal One-Wafer Cyclic Scheduling and Buffer Space Configuration for Single-Arm Multicluster Tools With Linear Topology
Material Type:
Artigo 		Adicionar ao Meu Espaço

Optimal One-Wafer Cyclic Scheduling and Buffer Space Configuration for Single-Arm Multicluster Tools With Linear Topology

Bai, Liping ; Wu, Naiqi ; Li, Zhiwu ; Zhou, MengChu

IEEE transactions on systems, man, and cybernetics. Systems, 2016-10, Vol.46 (10), p.1456-1467 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1982  (35)
  2. 1982Até1991  (255)
  3. 1992Até2001  (946)
  4. 2002Até2012  (2.254)
  5. Após 2012  (4.356)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (7.659)
  2. Japonês  (384)
  3. Português  (66)
  4. Espanhol  (48)
  5. Chinês  (30)
  6. Francês  (25)
  7. Alemão  (9)
  8. Russo  (8)
  9. Indonésio  (4)
  10. Tcheco  (4)
  11. Persa  (3)
  12. Coreano  (3)
  13. Croatian  (3)
  14. Árabe  (2)
  15. Ucraniano  (1)
  16. Eslovaco  (1)
  17. Lituano  (1)
  18. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Simão, A
  2. Capek, J
  3. Ferreira, J
  4. Maldonado, J
  5. Mendes, I

Neste Assunto:

  1. Science & Technology
  2. Technology
  3. Petri Nets
  4. Computer Science
  5. Engineering

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

Buscando em bases de dados remotas. Favor aguardar.