skip to main content
Idioma:
Resultados 1 2 3 next page
Refinado por: assunto: Petri Nets remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Application and theory of petri nets 1999 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 : proceedings
Application and theory of petri nets 1999 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Application and theory of petri nets 1999 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 : proceedings

International Conference on Applications and Theory of Petri Nets (20th 1999 Williamsburg, Virginia) Jetty Kleijn; Susanna Donatelli

Berlin Springer c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1639 )(Acessar)

2
Petri nets and other models of concurrency ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland June 26-30, 2006 : proceedings
Petri nets and other models of concurrency ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland June 26-30, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Petri nets and other models of concurrency ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland June 26-30, 2006 : proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (27th 2006 Turku, Finland) Susanna Donatelli; P. S Thiagarajan

Berlin Springer New York 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4024 ) e outros locais(Acessar)

3
Backward Bisimulation in Markov Chain Model Checking
Backward Bisimulation in Markov Chain Model Checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Backward Bisimulation in Markov Chain Model Checking

Sproston, J. ; Donatelli, S.

IEEE transactions on software engineering, 2006-08, Vol.32 (8), p.531-546 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
4
Structured solution of asynchronously communicating stochastic modules
Structured solution of asynchronously communicating stochastic modules
Material Type:
Artigo 		Adicionar ao Meu Espaço

Structured solution of asynchronously communicating stochastic modules

Campos, J. ; Donatelli, S. ; Silva, M.

IEEE transactions on software engineering, 1999-03, Vol.25 (2), p.147-165 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
5
The Complexity of Synthesis of b-Bounded Petri Nets
The Complexity of Synthesis of b-Bounded Petri Nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Complexity of Synthesis of b-Bounded Petri Nets

Tredup, Ronny Lasota, Slawomir ; Haar, Stefan ; Donatelli, Susanna

Fundamenta informaticae, 2021-01, Vol.183 (1-2), p.125-167 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
6
Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings
Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings

Donatelli, Susanna ; Kleijn, Jetty Donatelli, Susanna ; Kleijn, Jetty

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
7
A compositional semantics for UML state machines aimed at performance evaluation
A compositional semantics for UML state machines aimed at performance evaluation
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A compositional semantics for UML state machines aimed at performance evaluation

Merseguer, J. ; Campos, J. ; Bernardi, S. ; Donatelli, S.

Sixth International Workshop on Discrete Event Systems, 2002. Proceedings, 2002, p.295-302

IEEE

Texto completo disponível

Citações Citado por
8
Transactions on Petri Nets and Other Models of Concurrency V
Transactions on Petri Nets and Other Models of Concurrency V
Material Type:
Livro 		Adicionar ao Meu Espaço

Transactions on Petri Nets and Other Models of Concurrency V

Jensen, Kurt ; Donatelli, Susanna ; Kleijn, Jetty

Netherlands: Springer Nature 2012

Texto completo disponível

Citações Citado por
9
Assessing the performance of multiprocessor architectures through SWN models simulation: a case study in the field of plant automation systems
Assessing the performance of multiprocessor architectures through SWN models simulation: a case study in the field of plant automation systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Assessing the performance of multiprocessor architectures through SWN models simulation: a case study in the field of plant automation systems

Botti, O. ; Donatelli, S. ; Franceschinis, G.

Proceedings of the 29th Annual Simulation Symposium, 1996, p.118-127

IEEE

Texto completo disponível

Citações Citado por
10
Stochastic Petri nets and inheritance for dependability modelling
Stochastic Petri nets and inheritance for dependability modelling
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Stochastic Petri nets and inheritance for dependability modelling

Bernardi, S. ; Donatelli, S.

10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings, 2004, p.363-372

IEEE

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (15)
  2. Artigos  (6)
  3. Livros  (5)
  4. Book Chapters  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1995  (6)
  2. 1995Até2001  (5)
  3. 2002Até2005  (4)
  4. 2006Até2011  (8)
  5. Após 2011  (5)
  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.