skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Modular Construction and Partial Order Semantics of Petri Nets
Modular Construction and Partial Order Semantics of Petri Nets
Material Type:
Livro
Adicionar ao Meu Espaço

Modular Construction and Partial Order Semantics of Petri Nets

Walter Vogler

Springer Berlin Heidelberg 1992

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

2
Las redes de Petri en la automatica y la informatica
Material Type:
Livro
Adicionar ao Meu Espaço

Las redes de Petri en la automatica y la informatica

Manuel Silva

Madrid Editorial AC c1985

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (519.179.2 Si38r )(Acessar)

3
Petri net algebra
Material Type:
Livro
Adicionar ao Meu Espaço

Petri net algebra

Eike Best 1951- Raymond Devillers; Maciej Koutny 1958-

Berlin Springer New York c2001

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (519.179.2 B464p )(Acessar)

4
Petri nets fundamental models, verification and applications
Material Type:
Livro
Adicionar ao Meu Espaço

Petri nets fundamental models, verification and applications

Michel Diaz 1945-

London ISTE Hoboken, NJ Wiley 2009

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (519.179.2 R311I )(Acessar)

5
Concurrent object-oriented programming and Petri nets advances in Petri nets
Material Type:
Livro
Adicionar ao Meu Espaço

Concurrent object-oriented programming and Petri nets advances in Petri nets

Gul A Agha; Fiorella De Cindio; Grzegorz Rozenberg

Berlin Springer New York c2001

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

6
Concurrency and hardware design advances in Petri nets
Material Type:
Livro
Adicionar ao Meu Espaço

Concurrency and hardware design advances in Petri nets

J Cortadella 1962- (Jordi); Alex Yakovlev; Grzegorz Rozenberg

Berlin Springer New York 2002

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

7
Applications and theory of Petri nets 29th international conference, PETRI NETS 2008 Xi'an China, June 23-27, 2008 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Applications and theory of Petri nets 29th international conference, PETRI NETS 2008 Xi'an China, June 23-27, 2008 : proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (29th 2008 Xi'an Shi, China) Kees Max van Hee 1946-; R Valk (Rüdiger)

Berlin Springer New York 2008

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

8
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)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
  1. Antes de1992  (1)
  2. 1992Até2000  (1)
  3. 2001Até2001  (2)
  4. 2002Até2006  (2)
  5. Após 2006  (2)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (7)
  2. Espanhol  (1)
  3. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.